编辑配置文件(在新选项卡中打开) 迈克尔·布隆丁 合著者距离 作者ID: 金发碧眼的迈克尔 发布日期: 迈克尔·布隆丁 已编制索引的文档: 30份出版物自2012年起,包括1本书 合著者: 21位合著者具有30联合出版物 540位合作作者 全部的 前5名合著者 0 单作者的 11 哈维尔·埃斯帕尔扎 9 阿兰·芬克尔 8 克里斯托夫·哈斯 7 皮埃尔·麦肯齐 6 斯特凡·贾克斯 4 菲利普·马佐维耶基 三 安东尼·库塞拉 三 菲利普·梅耶(Philipp J.Meyer)。 三 菲利普·奥特马特 三 米哈伊尔·拉斯金 2 斯特凡·格勒 2 让·古鲍特·拉雷克 2 谢尔盖·哈达德 2 马丁·海弗里奇 1 马提亚斯·恩格尔 1 布莱斯·基内斯特 1 安德烈亚斯·克雷布斯 1 兰科·拉齐奇 1 蒂姆·莱伊斯 1 吉列尔莫·A·佩雷斯。 1 帕特里克·托茨克 全部的 前5名系列 5 计算机科学中的逻辑方法 2 ACM计算逻辑事务 1 信息与计算 1 计算复杂性 1 系统设计中的形式化方法 1 美国医学会杂志 领域 30 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用114中的次69文件 引用人▼ 年份▼ 具有状态的二维向量加法系统的可达性是PSPACE完备的。 Zbl 1401.68095号 迈克尔·布隆丁;阿兰·芬克尔;斯特凡·高勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 18 2015 大群小鸟:按人口协议的最小规模。 Zbl 1487.68030号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 13 2018 带状态的整数向量加法系统的仿射扩张。 Zbl 1520.68088号 迈克尔·布隆丁;克里斯托夫·哈斯;菲利普·马佐维耶基 10 2018 持续处理可覆盖性问题。 Zbl 1420.68144号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖·哈达德 9 2016 连续Petri网的逻辑视图。 Zbl 1407.68329号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖·哈达德 8 2017 运转良好的过渡系统。 Zbl 1459.68138号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 7 2017 Petri网和状态向量加法系统中连续可达性的逻辑。 Zbl 1457.68178号 迈克尔·布隆丁;克里斯托夫·哈斯 7 2017 利用随机调度检验复制系统的定性活性。 Zbl 1478.68147号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;马丁·海弗里奇;安东·库切拉;菲利普·梅耶(Philipp J.Meyer)。 6 2020 Presburger算法的简洁人口协议。 Zbl 07650925号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;布莱斯·基内斯特;马丁·海弗里奇;斯特凡·贾克斯 6 2020 致力于人口协议的有效验证。 兹比尔1380.68037 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;菲利普·梅耶(Philipp J.Meyer)。 4 2017 处理无限分支结构良好的转换系统。 Zbl 1383.68054号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 4 2018 广播共识协议的表达能力。 Zbl 07649939号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 4 2019 WSTS的正向分析。III: 卡普·米勒树。 Zbl 1491.68118号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 4 2018 处理无限分支WSTS。 Zbl 1382.68149号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 三 2014 具有少量最终状态的相交有限自动机的复杂性。 Zbl 1353.68109号 迈克尔·布隆丁;安德烈亚斯·克雷布斯;皮埃尔·麦肯齐 2 2016 无限状态系统的定向可达性。 Zbl 1474.68202号 迈克尔·布隆丁;克里斯托夫·哈斯;菲利普·奥特马特 2 2021 通过松弛验证工作流网络的通用性和结构可靠性。 Zbl 1514.68123号 迈克尔·布隆丁;菲利普·马佐维耶基;菲利普·奥特马特 1 2022 具有少量最终状态的相交有限自动机的复杂性。 Zbl 1360.68495号 迈克尔·布隆丁;皮埃尔·麦肯齐 1 2012 二维状态向量加法系统的可达性问题。 Zbl 1499.68219号 迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;皮埃尔·麦肯齐;帕特里克·托茨克 1 2021 人口协议预期终止时间的自动分析。 Zbl 1487.68033号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;安东·库切拉 1 2018 WSTS的正向分析。三: 卡普·米勒树。 Zbl 1491.68117号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 1 2020 具有状态的仿射向量加法系统可达性的复杂性。 Zbl 1507.68210号 迈克尔·布隆丁;米哈伊尔·拉斯金 1 2020 黑暗中的黑忍者:人口协议的形式分析。 Zbl 1487.68031号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;安东·库切拉 1 2018 通过松弛验证工作流网络的通用性和结构可靠性。 Zbl 1514.68123号 迈克尔·布隆丁;菲利普·马佐维耶基;菲利普·奥特马特 1 2022 无限状态系统的定向可达性。 Zbl 1474.68202号 迈克尔·布隆丁;克里斯托夫·哈斯;菲利普·奥特马特 2 2021 二维状态向量加法系统的可达性问题。 Zbl 1499.68219号 迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;皮埃尔·麦肯齐;帕特里克·托茨克 1 2021 用随机调度检验复制系统的定性生存性。 Zbl 1478.68147号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;马丁·海弗里奇;库奇拉,安东;菲利普·梅耶(Philipp J.Meyer)。 6 2020 Presburger算法的简洁人口协议。 Zbl 07650925号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;Blaise基因;马丁·海弗里奇;斯特凡·贾克斯 6 2020 WSTS的正向分析。三: 卡普·米勒树。 Zbl 1491.68117号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 1 2020 具有状态的仿射向量加法系统可达性的复杂性。 Zbl 1507.68210号 迈克尔·布隆丁;米哈伊尔·拉斯金 1 2020 广播共识协议的表达能力。 Zbl 07649939号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 4 2019 大群小鸟:按人口协议的最小规模。 Zbl 1487.68030号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 13 2018 带状态的整数向量加法系统的仿射扩张。 Zbl 1520.68088号 迈克尔·布隆丁;克里斯托夫·哈斯;菲利普·马佐维耶基 10 2018 处理无限分支结构良好的转换系统。 Zbl 1383.68054号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 4 2018 WSTS的正向分析。三: 卡普·米勒树。 Zbl 1491.68118号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 4 2018 人口协议预期终止时间的自动分析。 Zbl 1487.68033号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;安东·库切拉 1 2018 黑暗中的黑忍者:人口协议的形式分析。 Zbl 1487.68031号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;安东·库切拉 1 2018 连续Petri网的逻辑视图。 Zbl 1407.68329号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖·哈达德 8 2017 运转良好的过渡系统。 Zbl 1459.68138号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 7 2017 Petri网和状态向量加法系统中连续可达性的逻辑。 Zbl 1457.68178号 迈克尔·布隆丁;克里斯托夫·哈斯 7 2017 致力于人口协议的有效验证。 Zbl 1380.68037号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;菲利普·梅耶(Philipp J.Meyer)。 4 2017 不断处理可覆盖性问题。 Zbl 1420.68144号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖·哈达德 9 2016 具有少量最终状态的相交有限自动机的复杂性。 Zbl 1353.68109号 迈克尔·布隆丁;安德烈亚斯·克雷布斯;皮埃尔·麦肯齐 2 2016 具有状态的二维向量加法系统的可达性是PSPACE完备的。 兹比尔1401.68095 迈克尔·布隆丁;阿兰·芬克尔;斯特凡·高勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 18 2015 处理无限分支WSTS。 兹比尔1382.68149 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 三 2014 具有少量最终状态的相交有限自动机的复杂性。 Zbl 1360.68495号 迈克尔·布隆丁;皮埃尔·麦肯齐 1 2012 所有引用出版物 前5名被引用出版物 全部的 前5名被88位作者引用 14 迈克尔·布隆丁 14 哈维尔·埃斯帕尔扎 8 阿兰·芬克尔 8 菲利普·马佐维耶基 7 米哈伊尔·拉斯金 6 杰罗姆·勒鲁 5 让·古鲍特·拉雷克 5 斯特凡·贾克斯 5 萨沃米尔·拉索塔 4 菲利普·泽纳 4 沃伊切赫,切尔文斯基 4 克里斯托夫·哈斯 4 彼得·霍夫曼 4 雷诺·尼斯卡宁 4 伊戈尔·波塔波夫 4 格雷戈伊尔·萨特雷 三 菲利普·奥特马特 三 帕特里克·托茨克 三 克里斯托夫·韦尔泽尔 2 沙乌尔·阿尔马戈 2 Stéphane P.德姆里。 2 谢尔盖·哈达德 2 维萨·哈拉瓦 2 西蒙·哈尔丰 2 Tero Harju公司 2 伊戈尔·赫梅尔尼茨基 2 兰科·拉齐奇 2 奥托普,简 2 吉列尔莫·A·佩雷斯。 2 西尔万·施密茨 2 查纳·韦尔·肯尼迪 1 娜塔莎·亚历奇纳 1 尼古拉斯·阿马特 1 詹姆斯·阿斯彭斯 1 Balasubramanian,A.R。 1 弗朗西斯科·贝拉迪内利 1 伯纳德·伯托米厄 1 乌迪·博克 1 贝内迪克特·博利格 1 马吕斯·博兹加 1 牛,尼尔斯 1 米歇尔·卡迪尔哈克 1 皮埃尔·香巴特 1 克里希南德·查特吉 1 德米特里五世·奇斯蒂科夫。 1 达尔·齐利奥(Dal Zilio,Silvano) 1 伊曼纽尔·D’Osualdo 1 卢卡斯·弗莱舍 1 皮埃尔·甘蒂 1 托马斯·杰夫罗伊 1 罗兰·古腾堡 1 马丁·海弗里奇 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 斯特凡·霍夫曼 1 霍恩,弗洛里安 1 拉杜·奥西夫 1 普拉蒂克,卡兰迪卡尔 1 斯特凡·基弗 1 Ko、Sang-Ki 1 亚历山大·科扎钦斯基 1 安德烈亚斯·克雷布斯 1 安东尼·库塞拉 1 曼弗雷德·库弗莱特纳 1 K.Narayan Kumar 1 巴斯蒂安·拉布雷克斯 1 蒂姆·莱伊斯 1 克里斯托夫·Löding 1 布赖恩·洛根 1 鲁帕克·马朱姆达尔 1 皮埃尔·麦肯齐 1 菲利普·梅耶(Philipp J.Meyer)。 1 罗兰·迈耶 1 贾库布·米查利辛 1 塞巴斯蒂安·穆斯卡拉 1 库马尔·纳拉扬。 1 Micha Pilipczuk 1 拉多斯·瓦·皮奥科夫斯基 1 朱利安·莱切特 1 雅库布·罗伊基 1 普拉卡什·塞瓦桑 1 阿诺德·桑尼尔 1 菲利普·施诺贝伦 1 约瑟夫·西法基斯 1 辛克莱·班克斯,亨利 1 费利克斯·斯图兹 1 阿姆丽塔·苏雷什 1 卡罗尔·韦格兹基 1 彼得·兹比格涅(Piotr Zbigniew),维克佐雷克(Wieczorek) 全部的 前5名14篇连载文章中引用 6 理论计算机科学 6 计算机科学中的逻辑方法 三 计算机与系统科学杂志 三 信息与计算 2 国际计算机科学基础杂志 2 分布式计算 2 计算机基础理论 1 人工智能 1 休斯顿数学杂志 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 计算复杂性 1 系统设计中的形式化方法 1 ACM计算逻辑事务 全部的 前5名在9个字段中引用 67 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 2 一般拓扑结构(54至XX) 1 阶、格、有序代数结构(06-XX) 1 群论与推广(20-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文