编辑配置文件(在新选项卡中打开) Micha Skrzypczak 合著者距离 作者ID: skrzypczak.michal公司 发布日期: Micha Skrzypczak;米查尔·斯科齐普扎克 外部链接: MGP公司 已编制索引的文档: 40出版物自2010年起,包括1本书和1额外的arXiv预印本 2作为编辑的贡献 合著者: 37位合著者具有36联合出版物 634位合作作者 全部的 前5名合著者 6 单作者的 9 米查勒夫斯基(Michalewski)、亨利克(Henryk) 5 Bojańczyk,米科瓦杰 三 亚历山德罗·法奇尼 三 托马斯·戈加茨 三 丹尼斯·库珀伯格 三 Mio、Matteo 三 菲利普·莫拉克 2 乌迪·博克 2 菲利波·卡瓦拉里 2 纳塔娜·菲亚尔科夫 2 奥利维·芬克尔 2 什切潘Hummel 2 托马斯·伊齐亚塞克 2 Kołodziejczyk、Leszek Aleksander 2 奥尔纳库普弗曼 2 文森特·米奇利尼 2 达米安·尼文斯基 2 皮埃尔·普拉迪奇 2 Przybyłko,马钦 2 西门托伦奇克 1 马钦·比尔科夫斯基 1 沃伊切赫,切尔文斯基 1 马西耶·德布斯基 1 格拉泽戈茨法比安斯基 1 托马斯·戈加斯 1 彼得·霍夫曼 1 皮奥特雷克·霍夫曼 1 你好,戈登 1 霍恩,弗洛里安 1 桑杰·贾恩 1 内森·勒霍特 1 托马斯·普莱斯 1 亚历山大·拉比诺维奇 1 亚当·拉齐翁奇克·西塔 1 弗兰克·斯蒂芬 1 克里斯托弗·谭 1 伊戈尔·瓦卢基维奇 全部的 前5名系列 4 计算机基础理论 4 计算机科学中的逻辑方法 三 信息与计算 2 计算机科学课堂讲稿 1 信息处理信件 1 国际计算机科学基础杂志 1 计算系统理论 1 ACM计算逻辑事务 全部的 前5名领域 32 计算机科学(68至XX) 22 数学逻辑和基础(03-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 2 测量和集成(28-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用128中的次79文件 引用人▼ 年份▼ 关于好名字自动机的确定。 Zbl 1440.68158号 丹尼斯·库珀伯格;Micha Skrzypczak 18 2015 在多样或未知的未来面前的不确定性。 Zbl 1334.68112号 乌迪·博克;丹尼斯·库珀伯格;奥尔纳库普弗曼;Micha Skrzypczak 13 2013 MSO+U和相关自动机模型的拓扑复杂性。 Zbl 1260.03075号 什切潘·汉梅尔;Micha Skrzypczak 10 2012 游戏自动机的确定性如何? Zbl 1491.68096号 乌迪·博克;奥尔纳库普弗曼;Micha Skrzypczak 8 2018 决定Büchi语言的拓扑复杂性。 Zbl 1388.68181号 米查尔·斯科齐普扎克;伊戈尔·瓦卢基维奇 7 2016 无限树上的无歧义和一致化问题。 Zbl 1356.68128号 马钦·比尔科夫斯基;Micha Skrzypczak 7 2013 Rabin-Mostowski指数问题:超越确定性自动机的一步。 Zbl 1366.68142号 亚历山德罗·法奇尼;菲利普·莫拉克;米查尔·斯科齐普扎克 6 2013 测量游戏树语言的属性。 Zbl 1425.68202号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 6 2014 关于无限树上MSO+U的可判定性。 兹比尔1407.03007 Mikołaj博扬奇克;托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Micha Skrzypczak 5 2014 细树的常规语言。 Zbl 1350.68173号 Idziaszek,托马兹;Micha Skrzypczak;Mikołaj博扬奇克 4 2016 自动机理论中的描述性集合论方法。可决定性和拓扑复杂性。 Zbl 1375.03003号 Micha Skrzypczak 4 2016 带有度量和类别量词的一元二阶逻辑。 兹比尔1459.03054 Mio、Matteo;Micha Skrzypczak;米查勒夫斯基(Michalewski)、亨利克(Henryk) 三 2018 在有计数器的游戏中交易内存边界。 Zbl 1441.91002号 纳塔娜·菲亚尔科夫;霍恩,弗洛里安;丹尼斯·库珀伯格;Micha Skrzypczak 三 2015 测量规则树集的属性。 Zbl 1376.68092号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 三 2017 关于正则条件分支对策的复杂性。 Zbl 1398.68327号 Przybyłko,马钦;Micha Skrzypczak 三 2016 无歧义的语言耗尽了索引层次结构。 Zbl 1499.68195号 米查尔·斯科齐普扎克 三 2018 模棱两可的比奇很软弱。 Zbl 1436.68181号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Micha Skrzypczak 2 2016 关于非确定性Petri网的(ω)-语言的拓扑复杂性。 Zbl 1358.68211号 奥利维·芬克尔;Micha Skrzypczak 2 2014 细树的常规语言。 Zbl 1354.68146号 Mikołaj博扬奇克;托马斯·伊齐亚塞克;Micha Skrzypczak 2 2013 概率自动机的不规则行为。 Zbl 1471.68116号 纳塔娜·菲亚尔科夫;Micha Skrzypczak 2 2015 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;Radziwończyk Syta,亚当;Micha Skrzypczak 2 2010 (\Pi^0_2)正则树语言的特征。 Zbl 1441.68118号 菲利波·卡瓦拉里;米查勒夫斯基(Michalewski)、亨利克(Henryk);Micha Skrzypczak 2 2017 Büchi可判定性定理的逻辑强度。 Zbl 1370.03058号 Kolodziejczyk、Leszek Aleksander;米查勒夫斯基(Michalewski)、亨利克(Henryk);皮埃尔·普拉迪奇;米查尔·斯科齐普扎克 2 2016 游戏自动机的索引问题。 Zbl 1367.68167号 亚历山德罗·法奇尼;菲利普·莫拉克;Micha Skrzypczak 2 2016 (\omega\)B-和(\omega \)S-正则语言的分隔属性。 Zbl 1325.68134号 Micha Skrzypczak 2 2014 Büchi VASS识别\(\mathbf{\Sigma}^{1}_{1} \)-完整\({\omega}\)-语言。 Zbl 1475.68214号 Micha Skrzypczak 2 2018 Büchi可判定性定理的逻辑强度。 Zbl 1509.03120号 Leszek,Kołodziejczyk;米查勒夫斯基(Michalewski)、亨利克(Henryk);皮埃尔·普拉迪奇;Micha Skrzypczak 2 2019 关于博弈自动机的弱指数问题。 Zbl 1465.68143号 亚历山德罗·法奇尼;菲利普·莫拉克;Micha Skrzypczak 1 2015 关于MSO+U和相关自动机模型的拓扑复杂性。 Zbl 1287.03089号 什切潘·汉梅尔;Micha Skrzypczak;西门托伦奇克 1 2010 双不定词上正则关系的一致性。 Zbl 1498.03092号 格拉泽戈茨法比安斯基;Micha Skrzypczak;西门托伦奇克 1 2020 双不定词上正则关系的一致性。 Zbl 1498.03092号 格拉泽戈茨法比安斯基;Micha Skrzypczak;西门托伦奇克 1 2020 Büchi可判定性定理的逻辑强度。 Zbl 1509.03120号 Leszek,Kołodziejczyk;米查勒夫斯基(Michalewski)、亨利克(Henryk);皮埃尔·普拉迪奇;Micha Skrzypczak 2 2019 游戏自动机的确定性如何? Zbl 1491.68096号 乌迪·博克;奥尔纳库普弗曼;Micha Skrzypczak 8 2018 带有度量和类别量词的一元二阶逻辑。 Zbl 1459.03054号 Mio、Matteo;Micha Skrzypczak;米查勒夫斯基(Michalewski)、亨利克(Henryk) 三 2018 无歧义的语言耗尽了索引层次结构。 Zbl 1499.68195号 米查尔·斯科齐普扎克 三 2018 Büchi VASS识别\(\mathbf{\Sigma}^{1}_{1} \)-完整\({\omega}\)-语言。 Zbl 1475.68214号 Micha Skrzypczak 2 2018 测量规则树集的属性。 Zbl 1376.68092号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 三 2017 (\Pi^0_2)正则树语言的特征。 Zbl 1441.68118号 菲利波·卡瓦拉里;米查勒夫斯基(Michalewski)、亨利克(Henryk);Micha Skrzypczak 2 2017 决定Büchi语言的拓扑复杂性。 Zbl 1388.68181号 米查尔·斯科齐普扎克;伊戈尔·瓦卢基维奇 7 2016 稀疏树的正则语言。 Zbl 1350.68173号 托马斯·伊齐亚塞克;Micha Skrzypczak;Mikołaj博扬奇克 4 2016 自动机理论中的描述性集合论方法。可决定性和拓扑复杂性。 兹比尔1375.03003 Micha Skrzypczak 4 2016 关于正则条件分支对策的复杂性。 Zbl 1398.68327号 Przybyłko,马钦;Micha Skrzypczak 三 2016 模棱两可的比奇很软弱。 Zbl 1436.68181号 米查勒夫斯基(Michalewski)、亨利克(Henryk);Micha Skrzypczak 2 2016 Büchi可判定性定理的逻辑强度。 Zbl 1370.03058号 Leszek Aleksander的Kolodziejczyk;米查勒夫斯基(Michalewski)、亨利克(Henryk);皮埃尔·普拉迪奇;米查尔·斯科齐普扎克 2 2016 游戏自动机的索引问题。 Zbl 1367.68167号 亚历山德罗·法奇尼;菲利普·莫拉克;Micha Skrzypczak 2 2016 关于好名字自动机的确定。 Zbl 1440.68158号 丹尼斯·库珀伯格;Micha Skrzypczak 18 2015 在有计数器的游戏中交易内存边界。 Zbl 1441.91002号 纳塔娜·菲亚尔科夫;霍恩,弗洛里安;丹尼斯·库珀伯格;Micha Skrzypczak 三 2015 概率自动机的不规则行为。 Zbl 1471.68116号 纳塔娜·菲亚尔科夫;Micha Skrzypczak 2 2015 关于博弈自动机的弱指数问题。 Zbl 1465.68143号 亚历山德罗·法奇尼;菲利普·莫拉克;Micha Skrzypczak 1 2015 测量游戏树语言的属性。 Zbl 1425.68202号 托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 6 2014 关于无限树上MSO+U的可判定性。 Zbl 1407.03007号 Mikołaj博扬奇克;托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Micha Skrzypczak 5 2014 关于非确定性Petri网的(ω)-语言的拓扑复杂性。 Zbl 1358.68211号 奥利维尔·芬克尔;Micha Skrzypczak 2 2014 (\omega\)B-和(\omega \)S-正则语言的分隔属性。 Zbl 1325.68134号 Micha Skrzypczak 2 2014 在多样或未知的未来面前的不确定性。 Zbl 1334.68112号 乌迪·博克;丹尼斯·库珀伯格;奥尔纳库普弗曼;Micha Skrzypczak 13 2013 无限树上的无歧义和一致化问题。 Zbl 1356.68128号 马钦·比尔科夫斯基;Micha Skrzypczak 7 2013 Rabin-Mostowski指数问题:超越确定性自动机的一步。 Zbl 1366.68142号 亚历山德罗·法奇尼;菲利普·莫拉克;米查尔·斯科齐普扎克 6 2013 细树的常规语言。 Zbl 1354.68146号 Bojańczyk,米科瓦杰;托马斯·伊齐亚塞克;Micha Skrzypczak 2 2013 MSO+U和相关自动机模型的拓扑复杂性。 Zbl 1260.03075号 什切潘·汉梅尔;Micha Skrzypczak 10 2012 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;亚当·拉齐翁奇克·西塔;Micha Skrzypczak 2 2010 关于MSO+U和相关自动机模型的拓扑复杂性。 Zbl 1287.03089号 什切潘·汉梅尔;Micha Skrzypczak;西门托伦奇克 1 2010 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 16 Micha Skrzypczak 12 卡罗琳娜·莱赫蒂宁 7 米查勒夫斯基(Michalewski)、亨利克(Henryk) 6 乌迪·博克 5 奥利维·芬克尔 5 奥尔纳库普弗曼 4 Mikołaj博扬奇克 4 丹尼斯·库珀伯格 4 Mio、Matteo 4 马丁·齐默尔曼 三 阿希姆·布卢门萨特 三 巴德·阿布·拉迪 2 帕特里夏·鲍耶 2 奥利维尔·卡尔顿 2 菲利波·卡瓦拉里 2 黛拉·莫妮卡,达里奥 2 亚历山德罗·法奇尼 2 纳塔娜·菲亚尔科夫 2 多米尼克·莱科姆特 2 Stéphane勒鲁 2 阿尼尔班·马朱姆达尔 2 安吉洛·蒙塔纳里 2 安托万·莫特特 2 菲利普·莫拉克 2 尤索夫·乌阿尔哈德 2 帕里斯(Pawe Parys) 2 Przybyłko,马钦 2 卡琳·夸斯 2 亚历山大·拉比诺维奇 2 米凯尔·兰多尔 2 皮埃特罗·萨拉 2 斯文·舍韦 2 多龙·蒂费雷特 2 皮埃尔·范登霍夫 1 阿布·拉迪·巴德 1 达纳州安格鲁因 1 梅丽莎·安东内利 1 蒂莫斯·安东尼奥普洛斯 1 马克·巴格诺尔 1 大卫·巴罗齐尼 1 Bose,Sougata公司 1 托马斯·布里海耶 1 卡梅罗、里卡多 1 洛伦佐·卡卢奇 1 罗希特·查达 1 托马斯·科尔科贝特 1 乌戈·达尔拉戈 1 达斯,阿努帕姆 1 劳雷·达沃 1 戴维·德·弗鲁托斯·埃斯克里格 1 丹尼尔·德尔尔巴 1 雅克·杜帕克 1 冯伟志 1 达纳·菲斯曼 1 弗雷塔尼,塞弗林 1 托马斯·戈加茨 1 安德烈·戈林 1 什巴希斯·古哈 1 阿克塞尔·哈达德 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 托马斯·伊齐亚塞克 1 伊斯马·杰克 1 Jurdziński,马钦 1 巴托克·克林 1 李勇 1 巴斯蒂安·莫伯特 1 昆廷·梅内特 1 文森特·米奇利尼 1 阿尼埃洛·穆拉诺 1 达米安·尼文斯基 1 保罗·皮斯通 1 托马斯·普莱斯 1 皮埃尔·普拉迪奇 1 阿迪蒂亚·普拉卡什 1 普拉萨德·西斯特拉。 1 桑德拉·奎克特 1 罗马克里希南,C.R。 1 科林·里巴 1 萨沙·鲁宾 1 皮埃尔·西蒙奈特 1 亚历克斯·K·辛普森。 1 乔瓦尼·索尔达 1 唐启毅 1 Thejaswini,K.S。 1 帕特里克·托茨克 1 安德烈亚·图里尼 1 莫西·亚亚科夫·瓦尔迪 1 马赫什·维斯瓦纳坦 1 坦肖尔潘,扎纳贝科娃 1 张丽君 全部的 前5名13篇连载文章中引用 17 计算机科学中的逻辑方法 6 信息与计算 2 理论计算机科学 2 国际计算机科学基础杂志 2 计算系统理论 2 赖罗。理论信息学及其应用 1 信息处理信件 1 实际分析交换 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 计算机基础理论 1 ACM计算逻辑事务 1 公理 全部的 前5名在9个字段中引用 67 计算机科学(68至XX) 36 数学逻辑和基础(03-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史与传记(01-XX) 2 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 测量和集成(28-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文