编辑配置文件（在新选项卡中打开） 赫金·哈布什，杰斯科 合著者距离 作者ID： 赫金·哈布什·杰斯科 发布日期： 赫金·哈布什，杰斯科 已编制索引的文档： 7出版物自2018年起 合著者： 6位合著者具有7联合出版物 116位合作作者 全部的 前5名合著者 0 单作者的 5 伯恩德·芬克贝纳 4 Manuel Gieseking先生 4 奥尔德罗格（Ernst-Rüdiger Olderog） 1 乌鸦·贝特纳 1 Niklas O.Metzger。 1 Leander Tentrup公司 系列 字段 6 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用21中的次15文件 引用人▼ 年份▼ AdamMC公司：Petri网的模型检查器，带有针对Flow-LTL的传输。 Zbl 1478.68156号 伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 6 2020 通过抽象求解QBF。 Zbl 1528.68223号 赫金·哈布什，杰斯科;Leander Tentrup公司 5 2018 将异步游戏转换为分布式合成。 Zbl 07649934号 乌鸦·贝特纳;伯恩德·芬克贝纳;赫金·哈布什，杰斯科 4 2019 并发网络更新中的模型检查数据流。 Zbl 1437.68115号 伯恩德·芬克贝纳;Manuel Gieseking先生;哈布施，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 三 2019 异步分布式系统有界综合的有效跟踪编码。 Zbl 1437.68128号 赫金·哈布什，杰斯科;Niklas O.Metzger。 2 2019 具有因果记忆的分布式系统综合中的全局获胜条件。 Zbl 07830376号 伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 1 2022 具有因果记忆的分布式系统综合中的全局获胜条件。 Zbl 07830376号 伯恩德·芬克贝纳;Manuel Gieseking先生;哈布施，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 1 2022 AdamMC公司：Petri网的模型检查器，带有针对Flow-LTL的传输。 Zbl 1478.68156号 伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 6 2020 将异步游戏转换为分布式合成。 Zbl 07649934号 乌鸦·贝特纳;伯恩德·芬克贝纳;赫金·哈布什，杰斯科 4 2019 并发网络更新中的模型检查数据流。 Zbl 1437.68115号 伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 三 2019 异步分布式系统有界综合的有效跟踪编码。 Zbl 1437.68128号 赫金·哈布什，杰斯科;Niklas O.Metzger。 2 2019 通过抽象求解QBF。 Zbl 1528.68223号 赫金·哈布什，杰斯科;Leander Tentrup公司 5 2018 所有引用出版物 前5名被引用出版物 全部的 前5名40位作者引用 4 伯恩德·芬克贝纳 三 赫金·哈布什，杰斯科 三 奥尔德罗格（Ernst-Rüdiger Olderog） 2 Manuel Gieseking先生 2 Niklas O.Metzger。 2 吉·斯尔巴 1 巴兹德·奥格里戈兹 1 拉文·贝特纳 1 博尔祖·博纳克达尔普尔 1 马塞洛·玛丽亚·邦桑格 1 马丁·迪德里克森 1 冯慧 1 雨果·金伯特 1 保罗·汉尼拔 1 伊迪丝·赫玛斯潘德拉 1 徐子汉 1 彼得·格约尔·詹森 1 尼克拉斯·约翰森。 1 乔纳森·昂勒。 1 Kr，Lasse B。 1 安德烈·伊安，卡托纳 1 桑奇·D·L·喇嘛。 1 本杰明·利昂 1 弗雷德里克·洛特鲁普。 1 安德烈亚斯·马德森。 1 考希·马利克 1 摩西，约拉姆 1 大卫·E·纳瓦兹（David E.Narváez）。 1 克里斯蒂安·尼尔森。 1 诺埃米，传球 1 波普·阿夫斯基，马特乌斯 1 塞萨尔·桑切斯 1 马尔特·施莱德朱夫斯基 1 安妮·凯瑟琳·施穆克 1 沙哈卜·沙贾拉特 1 Leander Tentrup公司 1 Rasmus G.托伦德。 1 雷米吉乌斯·维希·涅夫斯基 1 马钦·沃尼科夫斯基（Marcin Wojnakowski） 1 尼克·Würdemann 5篇连载文章中引用 1 信息学学报 1 国际应用数学与计算机科学杂志 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 14 计算机科学（68至XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 系统论；控制（93至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文