伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 具有因果记忆的分布式系统综合中的全局获胜条件。 （英语） 兹伯利07830376 Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第20条，第19页（2022年）。MSC公司：03B70型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，LIPIcs——莱布尼茨国际程序。通知。216，第20条，第19页（2022；Zbl 07830376） 全文： DOI程序 arXiv公司
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 带transits的Petri网上的模型检查分支属性。 （英语） Zbl 1517.68233号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 394-410 (2020).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。12302394--410（2020年；Zbl 1517.68233） 全文： DOI程序 arXiv公司
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） AdamMC公司：Petri网的模型检查器，带有针对Flow-LTL的传输。 （英语） Zbl 1478.68156号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 64-76 (2020).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。12225，64-76（2020；Zbl 1478.68156） 全文： DOI程序 arXiv公司 OA许可证
乌鸦·贝特纳;伯恩德·芬克贝纳;赫金·哈布什，杰斯科 将异步游戏转换为分布式合成。 （英语） Zbl 07649934号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第26条，第16页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}等人，LIPIcs——莱布尼茨国际程序。通知。140，第26条，第16页（2019；Zbl 07649934） 全文： DOI程序 arXiv公司
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 并发网络更新中的模型检查数据流。 （英语） Zbl 1437.68115号 Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 515-533 (2019).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。11781、515--533（2019年；Zbl 1437.68115） 全文： DOI程序 arXiv公司
赫金·哈布什，杰斯科;Metzger，Niklas O。 异步分布式系统有界综合的有效跟踪编码。 （英语） Zbl 1437.68128号 Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 369-386 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hecking-Harbusch}和\textit{N.O.Metzger}，莱克特。注释计算。科学。11781369--386（2019年；Zbl 1437.68128） 全文： DOI程序 arXiv公司
赫金·哈布什，杰斯科;Leander Tentrup公司 通过抽象求解QBF。 （英语） 兹比尔1528.68223 Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27788-102（2018）。MSC公司：60年第68季度 68问题85 68T20型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.赫金-哈布什}和\textit{L.十支}，电子。程序。西奥。计算。科学。（EPTCS）277，88--102（2018；Zbl 1528.68223） 全文： arXiv公司 链接