克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；约翰·舒斯特；安德烈亚·图里尼；张丽君 对概率和马尔可夫自动机的最小商的追求。 （英语） Zbl 1400.68132号 Inf.计算。 262，第1部分，162-186（2018）.MSC公司：68问题85 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，《信息计算》。262，第1部分，162--186（2018；Zbl 1400.68132） 全文： 内政部
阿恩·哈特曼斯；霍尔格·赫尔曼斯；简·克查尔 计划员不是先知。 （英语） Zbl 1474.68203号 普罗布斯特（Christian W.Probst）（编辑）等人，《语义学、逻辑学和计算》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际，为他们撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9560, 214-235 (2016).MSC公司：68问题85 第68季度10 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hartmanns}等人，莱克特。注释计算。科学。9560，214--235（2016；Zbl 1474.68203） 全文： 内政部 链接
安德烈亚·图里尼；霍尔格·赫尔曼斯 概率自动机的保成本互模拟。 （英语） Zbl 1448.68353号 日志。方法计算。科学。 10，第4号，第11号论文，58页（2014）.MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Turrini}和\textit{H.Hermanns}，日志。方法计算。科学。10，第4号，第11号论文，58页（2014；Zbl 1448.68353） 全文： 内政部
恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯 奖励概率混合自动机。 （英语） Zbl 1362.68172号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。313-322 (2013).MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}和\textit{H.Hermanns}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。313--322（2013；Zbl 1362.68172） 全文： 内政部
费雷尔·菲奥里蒂，路易斯·玛丽亚；恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯；比约恩·瓦希特 变量概率抽象细化。 （英语） 兹比尔1374.68347 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，300-316（2012）。MSC公司：87年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Ferrer Fioriti}等人，Lect。注释计算。科学。7561，300-316（2012；Zbl 1374.68347） 全文： 内政部
马丁·范策尔；恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯；尼科拉斯·沃尔维克；张丽君 随机混合系统的可测性和安全性验证。 （英语） Zbl 1362.68170号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。43-52 (2011).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。43-52（2011年；Zbl 1362.68170） 全文： 内政部
张丽君；大卫·詹森（David N.Jansen）。；弗莱明·尼尔森；霍尔格·赫尔曼斯 基于自动机的CSL模型检查。 （英语） 兹比尔1334.68135 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756271-282（2011）。MSC公司：60年第68季度 03B44号 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，Lect。注释计算。科学。6756271--282（2011年；Zbl 1334.68135） 全文： 内政部
阿诺德·菲埃茨克；霍尔格·赫尔曼斯；克里斯托夫·韦登巴赫 基于叠加的一阶概率时间自动机分析。 （英语） 兹比尔1306.68095 Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学课堂讲稿6397302-316（2010）。MSC公司：65年第68季度 03B35型 05年3月 60年第68季度 87年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}等人，Lect。注释计算。科学。6397302-316（2010年；Zbl 1306.68095） 全文： 内政部
马丁·范策尔；霍尔格·赫尔曼斯；蒂诺·特伊格 随机可满足性模理论：概率混合系统分析的新技术。 （英语） Zbl 1143.68452号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981172-186（2008）。MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。4981、172--186（2008年；Zbl 1143.68452） 全文： 内政部
侯赛因·阿贾扎尔；霍尔格·赫尔曼斯；斯特凡·洛伊 时间概率可达性的反例。 （英语） Zbl 1175.68239号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。《计算机科学讲义》38291177-195（2005）。MSC公司：65年第68季度 60年第68季度 87年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Aljazzar}等人，Lect。注释计算。科学。3829177--195（2005年；Zbl 1175.68239） 全文： 内政部