迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;皮埃尔·麦肯齐;帕特里克·托茨克 二维状态向量加法系统的可达性问题。 （英语） Zbl 1499.68219号 美国临床医学杂志 68，第5条，第34条，第43页（2021年）.理学硕士：68问题85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，J.ACM 68，第5号，第34条，43页（2021年；Zbl 1499.68219） 全文： 内政部 链接
斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;帕特里克·托茨克 一维分支VASS可达性的多项式时间算法。 （英语） Zbl 1388.68197号 Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 105，13 p.（2016）。理学硕士：68问题85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，LIPIcs--Leibniz Int.Proc。通知。55，第105条，第13页（2016年；Zbl 1388.68197） 全文： 内政部 arXiv公司
迈克尔·布隆丁;阿兰·芬克尔;斯特凡·高勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 具有状态的二维向量加法系统的可达性是PSPACE完备的。 （英语） Zbl 1401.68095号 2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。32-43 (2015).理学硕士：2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。32-43（2015；Zbl 1401.68095） 全文： 内政部 arXiv公司
阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯 具有多项式更新的寄存器机器中的可达性。 （英语） Zbl 1398.68160号 Chatterjee，Krishnendu（编辑）等人，2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40312-5/pbk）。计算机科学课堂讲稿8087，409-420（2013）。理学硕士：2005年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人，Lect。注释计算。科学。8087、409--420（2013；Zbl 1398.68160） 全文： 内政部
斯特凡·格勒;克里斯托夫·哈斯;欧卡宁，乔伊;詹姆斯·沃雷尔 参数单计数器自动机的分支时间模型检验。 （英语） Zbl 1352.68153号 Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，406-420（2012）。理学硕士：60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，Lect。注释计算。科学。7213406-420（2012；Zbl 1352.68153） 全文： 内政部
斯特凡·格勒;克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查简洁且参数化的单计数器自动机。 （英语） Zbl 1288.68164号 Abramsky，Samson（编辑）等人，《自动化，语言和编程》。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学课堂讲稿6199575-586（2010）。理学硕士：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，Lect。注释计算。科学。6199，575--586（2010；Zbl 1288.68164） 全文： 内政部 链接