彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen 蒙特卡罗树搜索定价时间自动机。 （英语） Zbl 1522.68273号 布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).MSC公司：65年第68季度 68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人，Lect。注释计算。科学。13479，381--398（2022；Zbl 1522.68273） 全文： DOI程序 链接
安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼 定时I/O自动机的随机精化检查。 （英语） Zbl 1502.68184号 Pang，Jun（编辑）等，可靠软件工程。理论、工具和应用。第六届国际研讨会，SETTA 2020，中国广州，2020年11月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12153，70-88（2020年）。MSC公司：60年第68季度 05C81号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kiviriga}等人，Lect。注释计算。科学。12153，70-88（2020年；兹比尔1502.68184） 全文： DOI程序 链接
蒂莫西·布鲁克;亚历山大·戴维;Larsen，Kim G。;Legay、Axel;莱姆，迪迪埃;乌尔里克·尼曼;安德烈·索夫斯基 定时规格的新结果。 （英语） Zbl 1312.68129号 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137175-192（2012）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourke}等人，Lect。注释计算。科学。7137175--192（2012年；Zbl 1312.68129） 全文： DOI程序 链接
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基 时间I/O自动机：实时系统的完整规范理论。 （英语） Zbl 1361.68143号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。91-100 (2010).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.David｝等人，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。91-100（2010年；Zbl 1361.68143） 全文： DOI程序
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·索夫斯基 使用定时I/O自动机的实时系统规范的方法。 （英语） Zbl 1312.68131号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286290-310（2010）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。注释计算。科学。6286290-310（2010年；Zbl 1312.68131） 全文： DOI程序 链接
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 模态和混合规范：关键决策问题及其复杂性。 （英语） Zbl 1191.68426号 数学。结构。计算。科学。 20，第1期，75-103（2010）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，《数学》。结构。计算。科学。20，第1号，75--103（2010；Zbl 1191.68426） 全文： DOI程序
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 EXPTIME——模态和混合规范的完整决策问题。 （英语） Zbl 1291.68172号 Hildebrandt，Thomas（编辑）等人，《第十五届并发表达能力国际研讨会论文集》（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，第19-33页（2009年）。MSC公司：2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，《电子》。理论注释。计算。科学。242，第1号，19--33（2009；Zbl 1291.68172） 全文： DOI程序
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 20年的模态和混合规范。 （英语） Zbl 1169.68498号 牛市。欧洲协会。计算。科学。EATCS公司 95, 94-129 (2008).MSC公司：60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，公牛。欧洲协会。计算。科学。EATCS 95，94-129（2008年；兹bl 1169.68498）
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 混合和模态规范的决策问题的复杂性。 （英语） Zbl 1139.68035号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962112-126（2008）。MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，Lect。注释计算。科学。4962、112-126（2008年；Zbl 1139.68035） 全文： DOI程序
Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 关于模态精化和一致性。 （英语） Zbl 1151.68541号 Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703，105-119（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。4703、105-119（2007；Zbl 1151.68541） 全文： DOI程序 链接
Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 接口和产品线理论的模式I/O自动机。 （英语） Zbl 1187.68296号 De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿442164-79（2007）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。4421、64--79（2007年；Zbl 1187.68296） 全文： DOI程序