安德烈亚斯·达尔斯加德。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;彼得·詹森（Peter G.Jensen）。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 扩展依赖图的分布式定点算法。 （英语） Zbl 1396.68070号 芬丹。通知。 161，第4期，351-381（2018）.MSC公司：60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人，Fundam。通知。161、4号、351--381（2018；Zbl 1396.68070） 全文： 内政部
安德烈亚斯·达尔斯加德。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;杰普森，托比亚斯·S。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 扩展依赖关系图和高效的分布式定点计算。 （英语） Zbl 1393.68098号 van der Aalst，Wil（编辑）等人，《Petri网和并发的应用和理论》。第38届国际会议，2017年6月25-30日，西班牙萨拉戈萨，PETRI NETS 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-57860-6/pbk；978-3-3169-57861-3/电子书）。计算机科学课堂讲稿10258139-158（2017）。MSC公司：60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人，Lect。注释计算。科学。10258、139--158（2017；Zbl 1393.68098） 全文： 内政部
奥尔加·加迪亚茨卡亚;RenéRydhof汉森;金·古德斯特兰·拉森;Legay、Axel;Mads Chr.奥列森。;丹尼·鲍尔森 使用时间自动机建模攻击防御树。 （英语） Zbl 1433.68251号 Fränzle，Martin（编辑）等人，《定时系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9884，35-50（2016年）。MSC公司：68问题85 68平方米25 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Gadyatskaya}等人，Lect。注释计算。科学。9884，35-50（2016；Zbl 1433.68251） 全文： 内政部 哈尔
Mads Christian奥列森;RenéRydhof汉森;金·古德斯特兰·拉森 一种基于自动机的跟踪分区抽象解释的方法。 （英语） Zbl 1474.68059号 普罗布斯特（Christian W.Probst）（编辑）等人，《语义学、逻辑学和计算》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际，为他们撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9560, 88-110 (2016).MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Olesen}等人，Lect。注释计算。科学。9560、88-110（2016年；Zbl 1474.68059） 全文： 内政部
安德烈亚斯·达尔斯加德。;阿尔芬斯·拉曼;Larsen，Kim G。;Mads Chr.奥列森。;范德波尔（Jaco van de Pol） 时间自动机的多核可达性。 （英语） Zbl 1374.68277号 Jurdziñski，Marcin（ed.）等人，时间系统的形式化建模和分析。2012年9月18日至20日，第十届国际会议，FORMATS 2012，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33364-4/pbk）。计算机科学课堂讲稿759591-106（2012）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人，Lect。注释计算。科学。7595，91-106（2012；Zbl 1374.68277） 全文： 内政部