编辑配置文件（在新选项卡中打开） Mikołaj博扬奇克 合著者距离 作者ID： 博扬奇克米科拉吉 发布日期： Mikołaj博扬奇克；米科拉伊·博扬奇克；米科拉伊·博扬奇克；Mikołaj Bojanczyk；Mikołaj Bojañczyk；米科拉伊·博扬茨克（Mikolaj Bojánczyk）；Mikołaj Bojánczyk 更多。。。较少的 主页： https://www.mimuw.edu.pl/~博扬/ 外部链接： MGP公司·维基数据·数据库许可证·接地 已编制索引的文档： 87出版物自2001年以来，包括1个附加arXiv预打印 5作为编辑的贡献 合著者： 58位合著者具有67联合出版物 1231合著作者 全部的 前5名合著者 25 单作者的 8 萨沃米尔·拉索塔 7 西门托伦奇克 6 卢克·塞古芬 5 托马斯·科尔科姆贝特 5 Micha Pilipczuk 5 Micha Skrzypczak 4 巴托克·克林 4 帕里斯（Pawe Parys） 4 伊戈尔·瓦卢凯维奇 三 劳雷·达沃 三 Idziaszek，托马兹 三 托马斯·普莱斯 三 托马斯·施温蒂克 2 Bárány，文斯 2 亨利克·比约克隆德 2 马丁·格罗 2 布鲁诺·吉隆 2 Edon Kelmendi 2 米查勒夫斯基（Michalewski）、亨利克（Henryk） 2 菲利普·莫拉克 2 安卡·穆斯科尔 2 文森特·佩内尔 2 伊戈尔·波塔波夫 2 拉法·斯特凡斯基 2 霍华德·斯特劳宾 1 劳伦特·布劳德 1 托马斯·布里海耶 1 菲利波·卡瓦拉里 1 Chandra S.Chekuri。 1 克莱尔·大卫 1 克里斯托夫·迪特曼 1 阿米娜·杜马内 1 迭戈·菲格拉 1 雨果·金伯特 1 托马斯·戈加茨 1 克里斯托夫·哈斯 1 彼得·霍夫曼 1 桑德拉·基弗 1 Kołodziejczyk、Leszek Aleksander 1 科普钦斯基，Eryk 1 斯蒂芬·克鲁泽 1 内森·勒霍特 1 伊曼纽拉·梅雷利 1 Mio、Matteo 1 Nguyên，LêThành Dũng 1 达米安·尼温斯基 1 乔尔·欧·瓦克宁。 1 亚历山大·拉比诺维奇 1 亚当·拉齐翁奇克·西塔 1 马蒂亚斯·萨缪里德斯 1 贾努斯·施穆德 1 亚历克斯·K·辛普森。 1 A.V.Sreejith。 1 斯扎维尔（Szawiel，Stanisław） 1 亚当·维特科夫斯基 1 伍德拉夫（David P.Woodruff）。 1 Marek W.Zawadowski。 1 乔治·泽采 全部的 前5名系列 12 计算机科学中的逻辑方法 三 理论计算机科学 三 计算系统理论 2 信息处理信件 2 美国医学会杂志 2 计算机基础理论 2 计算机科学课堂讲稿 2 LIPIcs–莱布尼茨国际信息学会议录 1 计算机与系统科学杂志 1 半群论坛 1 SIAM计算机杂志 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 全部的 前5名领域 76 计算机科学（68至XX） 57 数学逻辑和基础（03-XX） 5 总体主题；集合（00-XX） 5 组合数学（05-XX） 2 群论与推广（20-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 78出版物有被引用565中的次340文件 引用人▼ 年份▼ 数据字上的双变量逻辑。 Zbl 1352.03041号 Mikołaj博扬奇克；克莱尔·大卫；安卡·穆斯科尔；托马斯·施温蒂克；卢克·塞古芬 55 2011 名义集合中的自动机理论。 Zbl 1338.68140号 Mikołaj博扬奇克；巴托克·克林；萨沃米尔·拉索塔 45 2014 数据树上的双变量逻辑和XML推理。 Zbl 1325.68078号 米科拉伊·博扬奇克；安卡·穆斯科尔；托马斯·施温蒂克；卢克·塞古芬 39 2009 单子上可识别的语言。 Zbl 1434.68307号 Mikołaj博扬奇克 21 2015 带有原点信息的传感器。 Zbl 1409.68152号 Mikołaj博扬奇克 21 2014 森林代数。 Zbl 1217.68123号 Mikołaj博扬奇克；伊戈尔·瓦卢凯维奇 18 2008 带有无界量词的弱MSO。 Zbl 1227.03051号 Mikołaj博扬奇克 16 2011 朝向标称计算。 Zbl 1321.68139号 米科拉伊·博扬奇克；劳伦特·布劳德；巴托克·克林；斯拉沃米尔·拉索塔 16 2012 限定量词。 邮编1095.03007 Mikołaj博扬奇克 16 2004 树行走自动机。 Zbl 1156.68445号 Mikołaj博扬奇克 15 2008 描述EF和EX树逻辑。 Zbl 1097.03013号 米科拉伊·博扬奇克；伊戈尔·瓦卢凯维奇 13 2006 树行走自动机不能识别所有的正则语言。 兹比尔1172.68030 Mikołaj博扬奇克；托马斯·科尔科姆贝特 13 2009 带有原子的图灵机。 Zbl 1367.68098号 Bojánczyk，米科拉伊；巴托克·克林；萨沃米尔·拉索塔；西门托伦奇克 13 2013 分段可测试树语言。 Zbl 1261.03126号 Mikołaj博扬奇克；卢克·塞古芬；霍华德·斯特劳宾 13 2012 树行走自动机无法确定。 Zbl 1086.68070号 Mikołaj博扬奇克；托马斯·科尔科姆贝特 13 2006 优化MSO中的树分解。 Zbl 1402.68140号 Mikołaj博扬奇克；Micha Pilipczuk 12 2017 无限树上的弱\（\text{MSO}+U\）。 Zbl 1245.68119号 米科拉伊·博扬奇克；西门托伦奇克 12 2012 卵石自动机的表现力。 Zbl 1223.68065号 Mikołaj博扬奇克；马蒂亚斯·萨缪里德斯；托马斯·施温蒂克；卢克·塞古芬 10 2006 无限森林代数及其在时序逻辑EF中的应用。 Zbl 1254.68158号 Mikołaj博扬奇克；托马斯·伊齐亚塞克 10 2009 （（mathbb N，<））的MSO+U理论是不可判定的。 Zbl 1388.03016号 米科拉伊·博扬奇克；帕里斯，帕维尔；斯兹蒙·托伦茨克 9 2016 传感器生成哪些类别的原点图。 Zbl 1442.68083号 Mikołaj博扬奇克；劳雷·达沃；布鲁诺·吉隆；文森特·佩内尔 9 2017 可定义性等于有界树宽图的可识别性。 Zbl 1394.03062号 Mikołaj博扬奇克；Micha Pilipczuk 8 2016 树行走自动机不能识别所有的正则语言。 Zbl 1192.68406号 米科拉伊·博扬奇克；托马斯·科尔科姆贝特 7 2005 使用嵌套数据对表达式和单词进行乱序处理。 Zbl 1147.68554号 亨利克·比约克隆德；Mikołaj博扬奇克 6 2007 ACTL和LTL的共同片段。 Zbl 1139.68036号 Mikołaj博扬奇克 6 2008 无限树的正则语言是开放集的布尔组合。 Zbl 1367.68160号 Mikołaj博扬奇克；托马斯·普莱斯 6 2012 确定性自动机和弱MSO的扩展。 兹比尔1248.68285 Mikołaj博扬奇克；西门托伦奇克 6 2009 在无限树上具有路径量词的弱MSO+U。 Zbl 1407.03006号 Mikołaj博扬奇克 6 2014 标称幺半群。 Zbl 1295.68163号 Mikołaj博扬奇克 6 2013 分解森林。 Zbl 1247.68127号 Mikołaj博扬奇克 5 2009 时间语言的机器相关特性。 Zbl 1367.68159号 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 森林代数的圈积及其在树逻辑中的应用。 Zbl 1258.03044号 米科拉伊·博扬奇克；伊戈尔·瓦卢凯维奇；霍华德·斯特劳宾 5 2012 关于无限树上MSO+U的可判定性。 Zbl 1407.03007号 Mikołaj博扬奇克；托马斯·戈加茨；米查勒夫斯基（Michalewski）、亨利克（Henryk）；Micha Skrzypczak 5 2014 用原子模拟无限结构。 Zbl 1394.03055号 Mikołaj博扬奇克 5 2013 线性时间内的XPath计算。 Zbl 1281.68093号 Mikołaj博扬奇克；帕里斯（Pawe Parys） 5 2011 描述EF和EX树逻辑。 Zbl 1097.03504号 Mikołaj博扬奇克；伊戈尔·瓦卢凯维奇 5 2004 捕获XPath的数据自动机的扩展。 Zbl 1241.68077号 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1170.03019号 Mikołaj博扬奇克；卢克·塞古芬 4 2008 无限语言中的有限性。 Zbl 1459.68095号 Mikołaj博扬奇克；托马斯·科尔科姆贝特 4 2017 细树的常规语言。 Zbl 1350.68173号 托马斯·伊齐亚塞克；Micha Skrzypczak；Mikołaj博扬奇克 4 2016 树行走自动机无法确定。 Zbl 1098.68620号 Mikołaj博扬奇克；托马斯·科尔科姆贝特 4 2004 第49届EATCS自动化、语言和编程国际会议，ICALP 2022，巴黎，法国，2022年7月4-8日。 Zbl 1491.68012号 4 2022 数据幺半群。 Zbl 1230.68146号 米科拉伊·博扬奇克 4 2011 游戏中的明星高度。 Zbl 1401.68148号 米科拉伊·博扬奇克 三 2015 林表达式。 兹比尔1179.68068 Mikołaj博扬奇克 三 2007 无法确定1位TWA。 兹比尔1205.68193 Mikołaj Bojañczyk 三 2003 通过有界clique-width包含一元数据日志程序。 Zbl 1440.68054号 Mikołaj博扬奇克；菲利普·莫拉克；亚当·维特科夫斯基 三 2015 双向交替自动机和有限模型。 Zbl 1057.03029号 Mikołaj博扬奇克 三 2002 零自动机的空性是可以判定的。 Zbl 1442.68084号 Mikołaj博扬奇克；雨果·金伯特；Edon Kelmendi 三 2017 常规和一阶列表功能。 Zbl 1497.68137号 Mikołaj博扬奇克；劳雷·达沃；桑卡拉·纳拉亚南·克里希纳 三 2018 关于无限集的可计算性和可处理性。 Zbl 1452.03093号 Mikołaj博扬奇克；西门托伦奇克 三 2018 模态演算的分解定理和模型检验。 Zbl 1394.68222号 米科拉伊·博扬奇克；克里斯托夫·迪特曼；斯蒂芬·克鲁泽 2 2014 有界深度数据树。 Zbl 1171.68432号 亨利克·比约克隆德；Mikołaj博扬奇克 2 2007 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1202.03047号 米科拉伊·博扬奇克；卢克·塞古芬 2 2010 如果两种正则树语言可以被一个确定的树行走自动机分开，那是不确定的。 Zbl 1390.68374号 Mikołaj博扬奇克 2 2017 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克；达米安·尼温斯基；亚历山大·拉比诺维奇；亚当·拉齐翁奇克·西塔；Micha Skrzypczak 2 2010 细树的常规语言。 Zbl 1354.68146号 Mikołaj博扬奇克；托马斯·伊齐亚塞克；Micha Skrzypczak 2 2013 朝向具有数据值的模型理论。 Zbl 1367.03051号 Mikołaj博扬奇克；托马斯·普莱斯 2 2012 保护不动点逻辑的有限可满足性。 Zbl 1243.68191号 文斯·巴拉尼；Mikołaj博扬奇克 2 2012 双向交替自动机的有限图问题。 Zbl 1052.68069号 Mikołaj博扬奇克 2 2003 超越\（\omega\）-常规语言。 Zbl 1230.68124号 Mikołaj博扬奇克 2 2010 交换重写系统并集的可达性是可判定的。 兹比尔1186.68231 Mikołaj博扬奇克；彼得·霍夫曼 1 2007 使用因子分解森林对不确定自动机进行有效评估。 Zbl 1288.68147号 Mikołaj博扬奇克；帕里斯（Pawe Parys） 1 2010 一种由无限树组成的非正则语言，可由排序有限代数识别。 Zbl 1427.68178号 Mikołaj博扬奇克；巴托克·克林 1 2019 关于次零自动机的正则空性问题。 Zbl 1433.68198号 米查勒夫斯基（Michalewski）、亨利克（Henryk）；Mio、Matteo；Mikołaj博扬奇克 1 2016 度量空间中颜色的拉姆齐定理。 Zbl 1253.05134号 Mikołaj博扬奇克；科普钦斯基，Eryk；西门托伦奇克 1 2012 一种新的算法，用于测试正则语言是否是局部阈值可测试的。 Zbl 1184.68307号 Mikołaj博扬奇克 1 2007 具有非均匀原子的Fraenkel-Mostowski集。 Zbl 1311.03058号 Mikołaj博扬奇克；萨沃米尔·拉索塔 1 2012 带有概率路径量词的精简MSO。 Zbl 1387.03005号 米科拉伊·博扬奇克 1 2016 树上的双向一元时态逻辑。 Zbl 1168.03009号 Mikołaj博扬奇克 1 2009 带有无界量词的弱MSO。 Zbl 1236.68165号 Mikołaj博扬奇克 1 2009 带有原子的命令式编程。 Zbl 1354.68053号 米科拉伊·博扬奇克；西门托伦奇克 1 2012 可达性问题。2015年9月21日至23日在波兰华沙举行的RP 2015第九届国际研讨会。诉讼程序。 Zbl 1371.68004号 1 2015 XML数据交换解决方案。 Zbl 1408.68045号 Mikołaj博扬奇克；Kołodziejczyk，Leszek A。；菲利普·莫拉克 1 2013 树的代数。 Zbl 1517.68255号 Mikołaj博扬奇克 1 2021 具有多项式大小输出的字符串到字符串解释。 Zbl 07561599号 米科拉伊·博扬奇克；桑德拉·基弗；内森·勒霍特 1 2019 优化MSO中的树分解。 Zbl 07471715号 Mikołaj博扬奇克；Micha Pilipczuk 1 2022 有界线性团宽图的可定义分解。 Zbl 1509.03119号 Mikołaj博扬奇克；马丁·格罗；Micha Pilipczuk 1 2021 第49届EATCS自动化、语言和编程国际会议，ICALP 2022，巴黎，法国，2022年7月4-8日。 Zbl 1491.68012号 4 2022 优化MSO中的树分解。 Zbl 07471715号 Mikołaj博扬奇克；Micha Pilipczuk 1 2022 树的代数。 兹比尔1517.68255 Mikołaj博扬奇克 1 2021 有界线性cliquewidth图的可定义分解。 Zbl 1509.03119号 Mikołaj博扬奇克；马丁·格罗；Micha Pilipczuk 1 2021 一种由无限树组成的非正则语言，可由排序有限代数识别。 Zbl 1427.68178号 Mikołaj博扬奇克；巴托克·克林 1 2019 具有多项式大小输出的字符串到字符串解释。 Zbl 07561599号 米科拉伊·博扬奇克；桑德拉·基弗；内森·勒霍特 1 2019 常规和一阶列表功能。 Zbl 1497.68137号 Mikołaj博扬奇克；劳雷·达沃；桑卡拉·纳拉亚南·克里希纳 三 2018 关于无限集的可计算性和可处理性。 Zbl 1452.03093号 Mikołaj博扬奇克；西门托伦奇克 三 2018 优化MSO中的树分解。 Zbl 1402.68140号 Mikołaj博扬奇克；Micha Pilipczuk 12 2017 传感器生成哪些类别的原点图。 Zbl 1442.68083号 Mikołaj博扬奇克；劳雷·达沃；布鲁诺·吉隆；文森特·佩内尔 9 2017 无限语言中的有限性。 Zbl 1459.68095号 Mikołaj博扬奇克；托马斯·科尔科姆贝特 4 2017 零自动机的空性是可以判定的。 Zbl 1442.68084号 Mikołaj博扬奇克；雨果·金伯特；Edon Kelmendi 三 2017 如果两种正则树语言可以被一个确定的树行走自动机分开，那是不确定的。 Zbl 1390.68374号 Mikołaj博扬奇克 2 2017 （（mathbb N，<））的MSO+U理论是不可判定的。 Zbl 1388.03016号 米科拉伊·博扬奇克；帕里斯，帕维尔；斯兹蒙·托伦茨克 9 2016 可定义性等于有界树宽图的可识别性。 Zbl 1394.03062号 Mikołaj博扬奇克；Micha Pilipczuk 8 2016 细树的常规语言。 Zbl 1350.68173号 托马斯·伊齐亚塞克；Micha Skrzypczak；Mikołaj博扬奇克 4 2016 关于次零自动机的正则空性问题。 Zbl 1433.68198号 米查勒夫斯基（Michalewski）、亨利克（Henryk）；Mio、Matteo；Mikołaj博扬奇克 1 2016 带有概率路径量词的精简MSO。 Zbl 1387.03005号 米科拉伊·博扬奇克 1 2016 单子上可识别的语言。 Zbl 1434.68307号 Mikołaj博扬奇克 21 2015 通过游戏达到明星高度。 兹比尔1401.68148 Bojańczyk，米科拉伊 三 2015 通过有界clique-width包含一元数据日志程序。 Zbl 1440.68054号 Mikołaj博扬奇克；菲利普·莫拉克；亚当·维特科夫斯基 三 2015 可达性问题。2015年9月21日至23日在波兰华沙举行的RP 2015第九届国际研讨会。诉讼程序。 Zbl 1371.68004号 1 2015 名义集合中的自动机理论。 Zbl 1338.68140号 Mikołaj博扬奇克；巴托克·克林；萨沃米尔·拉索塔 45 2014 带有原点信息的传感器。 Zbl 1409.68152号 Mikołaj博扬奇克 21 2014 无限树上带有路径量词的弱MSO+U。 Zbl 1407.03006号 Mikołaj博扬奇克 6 2014 关于无限树上MSO+U的可判定性。 Zbl 1407.03007号 Mikołaj博扬奇克；托马斯·戈加茨；米查勒夫斯基（Michalewski）、亨利克（Henryk）；Micha Skrzypczak 5 2014 模态演算的分解定理和模型检验。 Zbl 1394.68222号 米科拉伊·博扬奇克；克里斯托夫·迪特曼；斯蒂芬·克鲁泽 2 2014 带原子的图灵机器。 Zbl 1367.68098号 米科拉伊·博扬茨克（Mikolaj Bojánczyk）；巴托克·克林；萨沃米尔·拉索塔；西门托伦奇克 13 2013 标称幺半群。 Zbl 1295.68163号 Mikołaj博扬奇克 6 2013 用原子模拟无限结构。 Zbl 1394.03055号 Mikołaj博扬奇克 5 2013 细树的常规语言。 Zbl 1354.68146号 Mikołaj博扬奇克；托马斯·伊齐亚塞克；Micha Skrzypczak 2 2013 XML数据交换解决方案。 Zbl 1408.68045号 Mikołaj博扬奇克；Kołodziejczyk，Leszek A。；菲利普·莫拉克 1 2013 朝向标称计算。 Zbl 1321.68139号 米科拉伊·博扬奇克；劳伦特·布劳德；巴托克·克林；斯拉沃米尔·拉索塔 16 2012 分段可测试树语言。 Zbl 1261.03126号 Mikołaj博扬奇克；卢克·塞古芬；霍华德·斯特劳宾 13 2012 无限树上的弱\（\text{MSO}+U\）。 Zbl 1245.68119号 米科拉伊·博扬奇克；西门托伦奇克 12 2012 无限树的正则语言是开放集的布尔组合。 Zbl 1367.68160号 Mikołaj博扬奇克；托马斯·普莱斯 6 2012 时间语言的机器相关特性。 兹比尔1367.68159 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 森林代数的环积，及其在树逻辑中的应用。 兹比尔1258.03044 米科拉伊·博扬奇克；伊戈尔·瓦卢凯维奇；霍华德·斯特劳宾 5 2012 捕获XPath的数据自动机的扩展。 Zbl 1241.68077号 Mikołaj博扬奇克；萨沃米尔·拉索塔 5 2012 朝向具有数据值的模型理论。 Zbl 1367.03051号 Mikołaj博扬奇克；托马斯·普莱斯 2 2012 保护不动点逻辑的有限可满足性。 Zbl 1243.68191号 文斯·巴拉尼；Mikołaj博扬奇克 2 2012 度量空间中颜色的拉姆齐定理。 Zbl 1253.05134号 Mikołaj博扬奇克；科普钦斯基，Eryk；西门托伦奇克 1 2012 具有非均匀原子的Fraenkel-Mostowski集。 Zbl 1311.03058号 Mikołaj博扬奇克；萨沃米尔·拉索塔 1 2012 带有原子的命令式编程。 Zbl 1354.68053号 米科拉伊·博扬奇克；西门托伦奇克 1 2012 数据字上的双变量逻辑。 Zbl 1352.03041号 Mikołaj博扬奇克；克莱尔·大卫；安卡·穆斯科尔；托马斯·施温蒂克；卢克·塞古芬 55 2011 带有无界量词的弱MSO。 Zbl 1227.03051号 Mikołaj博扬奇克 16 2011 线性时间内的XPath计算。 Zbl 1281.68093号 Mikołaj博扬奇克；帕里斯（Pawe Parys） 5 2011 数据幺半群。 Zbl 1230.68146号 米科拉伊·博扬奇克 4 2011 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1202.03047号 米科拉伊·博扬奇克；卢克·塞古芬 2 2010 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克；达米安·尼温斯基；亚历山大·拉比诺维奇；亚当·拉齐翁奇克·西塔；Micha Skrzypczak 2 2010 超越\（\omega\）-常规语言。 Zbl 1230.68124号 Mikołaj博扬奇克 2 2010 使用因子森林对非确定性自动机进行有效评估。 Zbl 1288.68147号 Mikołaj博扬奇克；帕里斯（Pawe Parys） 1 2010 数据树上的双变量逻辑和XML推理。 Zbl 1325.68078号 米科拉伊·博扬奇克；安卡·穆斯科尔；托马斯·施温蒂克；卢克·塞古芬 39 2009 走树自动机不能识别所有的正则语言。 兹比尔1172.68030 Mikołaj博扬奇克；托马斯·科尔科姆贝特 13 2009 无限森林的代数及其在时间逻辑EF中的应用。 Zbl 1254.68158号 Mikołaj博扬奇克；托马斯·伊齐亚塞克 10 2009 确定性自动机与弱MSO的扩展。 Zbl 1248.68285号 Mikołaj博扬奇克；西门托伦奇克 6 2009 分解森林。 Zbl 1247.68127号 Mikołaj博扬奇克 5 2009 树上的双向一元时态逻辑。 Zbl 1168.03009号 Mikołaj博扬奇克 1 2009 带有无界量词的弱MSO。 Zbl 1236.68165号 Mikołaj博扬奇克 1 2009 森林代数。 Zbl 1217.68123号 Mikołaj博扬奇克；伊戈尔·瓦卢凯维奇 18 2008 树行走自动机。 Zbl 1156.68445号 Mikołaj博扬奇克 15 2008 ACTL和LTL的共同片段。 Zbl 1139.68036号 Mikołaj博扬奇克 6 2008 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1170.03019号 Mikołaj博扬奇克；卢克·塞古芬 4 2008 使用嵌套数据对表达式和单词进行乱序处理。 Zbl 1147.68554号 亨利克·比约克隆德；Mikołaj博扬奇克 6 2007 林表达式。 Zbl 1179.68068号 Mikołaj博扬奇克 三 2007 有界深度数据树。 Zbl 1171.68432号 亨利克·比约克隆德；Mikołaj博扬奇克 2 2007 可交换重写系统并集的可达性是可判定的。 Zbl 1186.68231号 Mikołaj博扬奇克；彼得·霍夫曼 1 2007 一种新的算法，用于测试正则语言是否是局部阈值可测试的。 Zbl 1184.68307号 Mikołaj博扬奇克 1 2007 描述EF和EX树逻辑。 Zbl 1097.03013号 米科拉伊·博扬奇克；伊戈尔·瓦卢凯维奇 13 2006 树行走自动机无法确定。 Zbl 1086.68070号 Mikołaj博扬奇克；托马斯·科尔科姆贝特 13 2006 卵石自动机的表现力。 Zbl 1223.68065号 Mikołaj博扬奇克；马蒂亚斯·萨缪里德斯；托马斯·施温蒂克；卢克·塞古芬 10 2006 走树自动机不能识别所有的正则语言。 兹比尔1192.68406 米科拉伊·博扬奇克；托马斯·科尔科姆贝特 7 2005 限定量词。 邮编1095.03007 Mikołaj博扬奇克 16 2004 描述EF和EX树逻辑。 Zbl 1097.03504号 Mikołaj博扬奇克；伊戈尔·瓦卢凯维奇 5 2004 树行走自动机无法确定。 Zbl 1098.68620号 Mikołaj博扬奇克；托马斯·科尔科姆贝特 4 2004 无法确定1-界TWA。 Zbl 1205.68193号 Mikołaj Bojañczyk 三 2003 双向交替自动机的有限图问题。 Zbl 1052.68069号 Mikołaj博扬奇克 2 2003 双向交替自动机和有限模型。 Zbl 1057.03029号 Mikołaj博扬奇克 三 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名440位作者引用 16 Mikołaj博扬奇克 12 萨沃米尔·拉索塔 12 斯特凡·米利厄斯 9 Micha Skrzypczak 9 海宁·乌尔巴特 8 博利格，贝内迪克特 7 迭戈·菲格拉 7 保罗·加斯丁 7 安卡·穆斯科尔 7 托马斯·普莱斯 6 巴托克·克林 6 兰科·拉齐奇 6 马库斯·洛伊 6 奥尔加·马蒂诺娃 6 亚历山大·奥霍金 6 加布里埃尔，小狗 6 亚历山德拉·席尔瓦 6 马克·泽顿 6 马丁·齐默尔曼 5 阿希姆·布卢门萨特 5 洛伦佐·克莱门特 5 约斯特·恩格尔弗里特 5 佐尔坦·埃西克 5 艾曼纽·菲利奥特 5 达纳·菲斯曼 5 彼得·霍夫曼 5 维姆·马滕斯 5 菲利普·马佐维耶基 5 安吉洛·蒙塔纳里 5 Andrzej S.穆拉夫斯基。 5 帕里斯（Pawe Parys） 5 皮埃尔·阿莱·雷尼尔 5 皮埃特罗·萨拉 5 马蒂奥·桑马蒂诺 5 托马斯·沃尔夫冈 4 塞尔吉奥·阿布里奥拉 4 阿达梅克，吉安尼 4 沃伊切赫，切尔文斯基 4 默多克·詹姆斯·加贝 4 海姆，皮尔雷·科里尔 4 卡迪耶·凯什瓦尔杜斯特 4 内森·勒霍特 4 塞巴斯蒂安·马内思 4 约书亚·莫尔曼 4 Micha Pilipczuk 4 拉多斯·瓦·皮奥科夫斯基 4 朱里安·罗特 4 西尔万·施密茨 4 弘久世奇（Hiroyuki Seki） 4 Yoshiaki高田 4 托尼·谭 4 Tzevelekos，尼科斯 三 拉杰夫·阿鲁尔 三 亨利克·比约克隆德 三 Bose，Sougata公司 三 克劳迪娅·卡拉佩尔 三 陈良婷 三 克莱尔·大卫 三 黛拉·莫妮卡，达里奥 三 斯特凡·德姆里。 三 玛丽亚·艾米丽亚·德斯科特 三 劳尔·费尔瓦里 三 圣地亚哥菲格拉 三 福尔克·豪尔 三 文森特·雨果特 三 托马斯·伊齐亚塞克 三 亚历山大·卡尔佐夫 三 德克斯特·C·科赞。 三 桑卡拉·纳拉亚南·克里希纳 三 丹尼斯·库珀伯格 三 奥尔纳·库普弗曼 三 Leonid O·利金。 三 康斯坦蒂诺斯·马穆拉斯 三 米查勒夫斯基（Michalewski）、亨利克（Henryk） 三 菲利普·莫拉克 三 约阿希姆·尼伦 三 克里斯托夫·保罗 三 文森特·佩内尔 三 Daniela Luan Petrisan 三 阿诺德·桑尼尔 三 卢茨·施罗德 三 托马斯·施温蒂克 三 卢克·塞古芬 三 Jean-Marc Talbot 三 迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。 三 西门托伦奇克 三 格科·范·海尔特 2 萨伊德·阿里雷扎扎德 2 达纳州安格鲁因 2 卡洛斯·阿雷塞斯 2 帕瓦内·巴巴里 2 文斯·巴拉尼 2 大卫·巴罗齐尼 2 费比安·伯克曼 2 约翰娜·比约克隆德 2 曼纽尔·博迪尔斯基 2 Bodlaender，Hans L。 2 阿德里安·博伊雷特 2 贝内迪克特·布吕奇 2 菲利波·卡瓦拉里 …还有340多名作者 全部的 前5名42篇连载文章中引用 34 计算机科学中的逻辑方法 29 理论计算机科学 21 信息与计算 18 计算机与系统科学杂志 11 计算系统理论 10 ACM计算逻辑事务 8 信息处理信件 7 信息学报 6 MSCS公司。计算机科学中的数学结构 6 国际计算机科学基础杂志 6 程序设计中的逻辑和代数方法杂志 三 算法 三 美国医学会杂志 2 纯粹与应用代数杂志 2 半群论坛 2 欧洲组合数学杂志 2 自动推理杂志 2 计算的形式方面 2 系统设计中的形式化方法 2 应用非经典逻辑杂志 2 计算机基础理论 2 RAIRO公司。理论信息学及其应用 1 离散应用数学 1 以色列数学杂志 1 加拿大数学通报 1 信息科学 1 纯逻辑与应用逻辑年鉴 1 SIAM离散数学杂志 1 国际代数与计算杂志 1 数学逻辑档案 1 软计算 1 群论杂志 1 离散数学和理论计算机科学。DMTCS公司 1 欧洲数学学会杂志（JEMS） 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 离散数学、算法和应用 1 算法 1 可计算性 1 公理 1 范畴和一般代数结构及其应用 全部的 前5名16个领域引用 305 计算机科学（68至XX） 143 数学逻辑和基础（03-XX） 15 群论与推广（20-XX） 14 组合数学（05-XX） 13 范畴理论；同调代数（18-XX） 12 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 一般代数系统（08-XX） 4 一般拓扑结构（54至XX） 4 概率论与随机过程（60-XX） 三 历史和传记（01-XX） 三 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 拓扑群，李群（22日至XX日） 1 测量和集成（28-XX） 1 动力系统和遍历理论（37至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.