编辑配置文件（在新选项卡中打开） Mikołaj博扬奇克 合著者距离 作者ID： 博扬奇克米科拉吉 发布日期： Mikołaj博扬奇克;米科拉伊·博扬奇克;Bojanczyk，米科拉伊;Mikołaj Bojanczyk;Mikołaj Bojañczyk;Bojánczyk，米科拉伊;Mikołaj Bojánczyk 更多。。。较少的 主页： https://www.mimuw.edu.pl/~博扬/ 外部链接： MGP公司·维基数据·数据库许可证·接地 已编制索引的文档： 87出版物自2001年以来，包括1额外的arXiv预印本 5名编辑的贡献 合著者： 58位合著者具有67联合出版物 1248位合作作者 全部的 前5名合著者 25 单作者的 8 萨沃米尔·拉索塔 7 西门托伦奇克 6 卢克·塞古芬 5 托马斯·科尔科姆贝特 5 Micha Pilipczuk 5 Micha Skrzypczak 4 巴托克·克林 4 帕里斯（Pawe Parys） 4 伊戈尔·瓦卢基维奇 三 劳雷·达沃 三 托马斯·伊齐亚塞克 三 托马斯·普莱斯 三 托马斯·施温蒂克 2 文斯·巴拉尼 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 埃里克科普琴斯基 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 斯塔尼斯瓦夫 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出版物有被引用566中的次341文件 引用人▼ 年份▼ 数据字上的双变量逻辑。 兹比尔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博扬奇克;伊戈尔·瓦卢基维奇 19 2008 限定量词。 邮编1095.03007 Mikołaj博扬奇克 16 2004 朝向标称计算。 Zbl 1321.68139号 米科拉伊·博扬奇克;劳伦特·布劳德;巴托克·克林;斯拉沃米尔·拉索塔 16 2012 带有无界量词的弱MSO。 Zbl 1227.03051号 Mikołaj博扬奇克 16 2011 树行走自动机。 兹比尔1156.68445 Mikołaj博扬奇克 15 2008 树行走自动机无法确定。 Zbl 1086.68070号 Mikołaj博扬奇克;托马斯·科尔科姆贝特 13 2006 带有原子的图灵机。 Zbl 1367.68098号 米科拉伊·博扬茨克（Mikolaj Bojánczyk）;巴托克·克林;萨沃米尔·拉索塔;西门托伦奇克 13 2013 描述EF和EX树逻辑。 Zbl 1097.03013号 Bojańczyk，米科拉伊;伊戈尔·瓦卢基维奇 13 2006 分段可测试树语言。 Zbl 1261.03126号 Mikołaj博扬奇克;卢克·塞古芬;霍华德·斯特劳宾 13 2012 树行走自动机不能识别所有的正则语言。 Zbl 1172.68030号 Mikołaj博扬奇克;托马斯·科尔科姆贝特 13 2009 无限树上的弱\（\text{MSO}+U\）。 Zbl 1245.68119号 米科拉伊·博扬奇克;西门托伦奇克 12 2012 优化MSO中的树分解。 Zbl 1402.68140号 Mikołaj博扬奇克;Micha Pilipczuk 12 2017 无限森林代数及其在时序逻辑EF中的应用。 Zbl 1254.68158号 Mikołaj博扬奇克;托马斯·伊齐亚塞克 10 2009 卵石自动机的表现力。 Zbl 1223.68065号 Mikołaj博扬奇克;马蒂亚斯·萨缪里德斯;托马斯·施温蒂克;卢克·塞古芬 10 2006 （（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 ACTL和LTL的共同片段。 Zbl 1139.68036号 Mikołaj博扬奇克 6 2008 无限树上带有路径量词的弱MSO+U。 Zbl 1407.03006号 Mikołaj博扬奇克 6 2014 确定性自动机与弱MSO的扩展。 Zbl 1248.68285号 Mikołaj博扬奇克;西门托伦奇克 6 2009 无限树的正则语言，是开集的布尔组合。 Zbl 1367.68160号 Mikołaj博扬奇克;托马斯·普莱斯 6 2012 标称幺半群。 Zbl 1295.68163号 Mikołaj博扬奇克 6 2013 使用嵌套数据对表达式和单词进行乱序处理。 Zbl 1147.68554号 亨利克·比约克隆德;Mikołaj博扬奇克 6 2007 描述EF和EX树逻辑。 Zbl 1097.03504号 Mikołaj博扬奇克;伊戈尔·瓦卢基维奇 5 2004 关于无限树上MSO+U的可判定性。 Zbl 1407.03007号 Mikołaj博扬奇克;托马斯·戈加茨;米查勒夫斯基（Michalewski）、亨利克（Henryk）;Micha Skrzypczak 5 2014 捕获XPath的数据自动机的扩展。 Zbl 1241.68077号 Mikołaj博扬奇克;萨沃米尔·拉索塔 5 2012 时间语言的机器相关特性。 Zbl 1367.68159号 Mikołaj博扬奇克;萨沃米尔·拉索塔 5 2012 森林代数的圈积及其在树逻辑中的应用。 Zbl 1258.03044号 米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇;霍华德·斯特劳宾 5 2012 用原子模拟无限结构。 Zbl 1394.03055号 Mikołaj博扬奇克 5 2013 线性时间内的XPath计算。 Zbl 1281.68093号 Mikołaj博扬奇克;帕里斯（Pawe Parys） 5 2011 分解森林。 兹比尔1247.68127 Mikołaj博扬奇克 5 2009 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1170.03019号 Mikołaj博扬奇克;卢克·塞古芬 4 2008 走树自动机无法确定。 Zbl 1098.68620号 Mikołaj博扬奇克;托马斯·科尔科姆贝特 4 2004 数据幺半群。 Zbl 1230.68146号 米科拉伊·博扬奇克 4 2011 细树的常规语言。 兹比尔1350.68173 托马斯·伊齐亚塞克;Micha Skrzypczak;Mikołaj博扬奇克 4 2016 无限语言中的有限性。 Zbl 1459.68095号 Mikołaj博扬奇克;托马斯·科尔科姆贝特 4 2017 第49届EATCS自动化、语言和编程国际会议，ICALP 2022，巴黎，法国，2022年7月4-8日。 Zbl 1491.68012号 4 2022 通过有界clique-width包含一元数据日志程序。 Zbl 1440.68054号 Mikołaj博扬奇克;菲利普·莫拉克;亚当·维特科夫斯基 三 2015 游戏中的明星高度。 Zbl 1401.68148号 米科拉伊·博扬奇克 三 2015 双向交替自动机和有限模型。 Zbl 1057.03029号 Mikołaj博扬奇克 三 2002 无法确定1-界TWA。 Zbl 1205.68193号 Mikołaj Bojañczyk 三 2003 林表达式。 Zbl 1179.68068号 Mikołaj博扬奇克 三 2007 常规和一阶列表功能。 Zbl 1497.68137号 Mikołaj博扬奇克;劳雷·达沃;桑卡拉·纳拉亚南·克里希纳 三 2018 关于无限集的可计算性和可处理性。 Zbl 1452.03093号 Mikołaj博扬奇克;西门托伦奇克 三 2018 零自动机的空性是可以判定的。 Zbl 1442.68084号 Mikołaj博扬奇克;雨果·金贝尔;埃登Kelmendi 三 2017 双向交替自动机的有限图问题。 Zbl 1052.68069号 Mikołaj博扬奇克 2 2003 有边界的深度数据树。 Zbl 1171.68432号 亨利克·比约克隆德;Mikołaj博扬奇克 2 2007 保护不动点逻辑的有限可满足性。 Zbl 1243.68191号 Bárány，文斯;Mikołaj博扬奇克 2 2012 朝向具有数据值的模型理论。 Zbl 1367.03051号 Mikołaj博扬奇克;托马斯·普莱斯 2 2012 超越\（\omega\）-常规语言。 Zbl 1230.68124号 Mikołaj博扬奇克 2 2010 细树的常规语言。 Zbl 1354.68146号 Mikołaj博扬奇克;托马斯·伊齐亚塞克;Micha Skrzypczak 2 2013 模态演算的分解定理和模型检验。 Zbl 1394.68222号 米科拉伊·博扬奇克;克里斯托夫·迪特曼;斯蒂芬·克鲁泽 2 2014 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;亚当·拉齐翁奇克·西塔;Micha Skrzypczak 2 2010 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1202.03047号 米科拉伊·博扬奇克;卢克·塞古芬 2 2010 如果两种正则树语言可以被一个确定的树行走自动机分开，那是不确定的。 Zbl 1390.68374号 Mikołaj博扬奇克 2 2017 可达性问题。2015年9月21日至23日在波兰华沙举行的RP 2015第九届国际研讨会。诉讼程序。 Zbl 1371.68004号 1 2015 一种新的算法，用于测试正则语言是否是局部阈值可测试的。 Zbl 1184.68307号 Mikołaj博扬奇克 1 2007 带有无界量词的弱MSO。 Zbl 1236.68165号 Mikołaj博扬奇克 1 2009 带有概率路径量词的精简MSO。 Zbl 1387.03005号 米科拉伊·博扬奇克 1 2016 度量空间中颜色的拉姆齐定理。 Zbl 1253.05134号 Mikołaj博扬奇克;埃里克科普琴斯基;西门托伦奇克 1 2012 带有原子的命令式编程。 Zbl 1354.68053号 米科拉伊·博扬奇克;西门托伦奇克 1 2012 一种由无限树组成的非正则语言，可由排序有限代数识别。 Zbl 1427.68178号 Mikołaj博扬奇克;巴托克·克林 1 2019 有界线性团宽图的可定义分解。 Zbl 1509.03119号 Mikołaj博扬奇克;马丁·格罗;Micha Pilipczuk 1 2021 XML数据交换解决方案。 Zbl 1408.68045号 Mikołaj博扬奇克;Kołodziejczyk，Leszek A。;菲利普·莫拉克 1 2013 树上的双向一元时态逻辑。 Zbl 1168.03009号 Mikołaj博扬奇克 1 2009 使用因子森林对非确定性自动机进行有效评估。 Zbl 1288.68147号 Mikołaj博扬奇克;帕里斯（Pawe Parys） 1 2010 具有非均匀原子的Fraenkel-Mostowski集。 Zbl 1311.03058号 Mikołaj博扬奇克;萨沃米尔·拉索塔 1 2012 可交换重写系统并集的可达性是可判定的。 Zbl 1186.68231号 Mikołaj博扬奇克;彼得·霍夫曼 1 2007 优化MSO中的树分解。 Zbl 07471715号 Mikołaj博扬奇克;Micha Pilipczuk 1 2022 关于次零自动机的正则空性问题。 Zbl 1433.68198号 米查勒夫斯基（Michalewski）、亨利克（Henryk）;Mio、Matteo;Mikołaj博扬奇克 1 2016 树的代数。 Zbl 1517.68255号 Mikołaj博扬奇克 1 2021 具有多项式大小输出的字符串到字符串解释。 Zbl 07561599号 Bojanczyk，米科拉伊;桑德拉·基弗;内森·勒霍特 1 2019 2022年7月4日至8日，第49届EATCS自动机、语言和编程国际会议，ICALP 2022，法国巴黎。 Zbl 1491.68012号 4 2022 优化MSO中的树分解。 Zbl 07471715号 Mikołaj博扬奇克;Micha Pilipczuk 1 2022 有界线性团宽图的可定义分解。 Zbl 1509.03119号 Mikołaj博扬奇克;马丁·格罗;Micha Pilipczuk 1 2021 树的代数。 Zbl 1517.68255号 Mikołaj博扬奇克 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号 Idziaszek，托马兹;Micha Skrzypczak;Mikołaj博扬奇克 4 2016 带有概率路径量词的精简MSO。 Zbl 1387.03005号 米科拉伊·博扬奇克 1 2016 关于次零自动机的正则空性问题。 Zbl 1433.68198号 米查勒夫斯基（Michalewski）、亨利克（Henryk）;Mio、Matteo;Mikołaj博扬奇克 1 2016 单子上可识别的语言。 Zbl 1434.68307号 Mikołaj博扬奇克 21 2015 通过有界clique-width包含一元数据日志程序。 Zbl 1440.68054号 Mikołaj博扬奇克;菲利普·莫拉克;亚当·维特科夫斯基 三 2015 游戏中的明星高度。 Zbl 1401.68148号 米科拉伊·博扬奇克 三 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 标称幺半群。 兹比尔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 捕获XPath的数据自动机的扩展。 Zbl 1241.68077号 Mikołaj博扬奇克;萨沃米尔·拉索塔 5 2012 时间语言的机器相关特性。 Zbl 1367.68159号 Mikołaj博扬奇克;萨沃米尔·拉索塔 5 2012 森林代数的圈积及其在树逻辑中的应用。 Zbl 1258.03044号 Bojańczyk，米科拉伊;伊戈尔·瓦卢基维奇;霍华德·斯特劳宾 5 2012 保护不动点逻辑的有限可满足性。 Zbl 1243.68191号 Bárány，文斯;Mikołaj博扬奇克 2 2012 朝向具有数据值的模型理论。 Zbl 1367.03051号 Mikołaj博扬奇克;托马斯·普莱斯 2 2012 度量空间中颜色的拉姆齐定理。 Zbl 1253.05134号 Mikołaj博扬奇克;埃里克科普琴斯基;西门托伦奇克 1 2012 带有原子的命令式编程。 兹比尔1354.68053 米科拉伊·博扬奇克;西门托伦奇克 1 2012 具有非均匀原子的Fraenkel-Mostowski集。 Zbl 1311.03058号 Mikołaj博扬奇克;萨沃米尔·拉索塔 1 2012 数据字上的双变量逻辑。 兹比尔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 超越\（\omega\）-常规语言。 Zbl 1230.68124号 Mikołaj博扬奇克 2 2010 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;亚当·拉齐翁奇克·西塔;Micha Skrzypczak 2 2010 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1202.03047号 米科拉伊·博扬奇克;卢克·塞古芬 2 2010 使用因子森林对非确定性自动机进行有效评估。 Zbl 1288.68147号 Mikołaj博扬奇克;帕里斯（Pawe Parys） 1 2010 数据树上的双变量逻辑和XML推理。 Zbl 1325.68078号 Bojańczyk，米科拉伊;安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 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 带有无界量词的弱MSO。 Zbl 1236.68165号 Mikołaj博扬奇克 1 2009 树上的双向一元时态逻辑。 Zbl 1168.03009号 Mikołaj博扬奇克 1 2009 森林代数。 Zbl 1217.68123号 Mikołaj博扬奇克;伊戈尔·瓦卢基维奇 19 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 1184.68307号 Mikołaj博扬奇克 1 2007 可交换重写系统并集的可达性是可判定的。 兹比尔1186.68231 Mikołaj博扬奇克;彼得·霍夫曼 1 2007 走树自动机无法确定。 Zbl 1086.68070号 Mikołaj博扬奇克;托马斯·科尔科姆贝特 13 2006 描述EF和EX树逻辑。 Zbl 1097.03013号 米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇 13 2006 卵石自动机的表现力。 兹比尔1223.68065 Mikołaj博扬奇克;马蒂亚斯·萨缪里德斯;托马斯·施温蒂克;卢克·塞古芬 10 2006 树行走自动机不能识别所有的正则语言。 Zbl 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名445位作者引用 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 安德烈·穆拉夫斯基。 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 尼科斯·齐夫列科斯 三 拉杰夫·阿鲁尔 三 亨利克·比约克隆德 三 Bose，Sougata公司 三 克劳迪娅·卡拉佩尔 三 陈良婷 三 托马斯·科尔科姆贝特 三 克莱尔·大卫 三 黛拉·莫妮卡，达里奥 三 Stéphane P.德姆里。 三 玛丽亚·艾米丽亚·德斯科特 三 劳尔·费尔瓦里 三 圣地亚哥Figueira 三 福尔克·豪尔 三 文森特·雨果特 三 托马斯·伊齐亚塞克 三 亚历山大·卡尔佐夫 三 德克斯特·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 贝内迪克特·布吕奇 …还有345名作者 全部的 前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个领域引用 306 计算机科学（68至XX） 142 数学逻辑和基础（03-XX） 15 群论与推广（20-XX） 14 组合数学（05-XX） 14 范畴理论；同调代数（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中。