约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 不透明的机械化证明：两种技术的比较。 （英语） Zbl 1395.68186号 正式Asp。计算。 30，第5期，597-625（2018）.MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人，正式Asp。计算。30，第5号，597--625（2018；Zbl 1395.68186） 全文： 内政部
西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 证明悲观STM的不透明度。 （英语） Zbl 1432.68070号 Fatourou，Panagiota（编辑）等人，第20届分布式系统原理国际会议（OPODIS 2016），西班牙马德里，2016年12月13-16日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70，第35条，第17页。(2017).MSC公司：68号30 68甲19 第68季度第45季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人，LIPIcs——莱布尼茨国际程序。通知。70，第35条，第17页（2017；Zbl 1432.68070） 全文： 内政部
西蒙·巴姆勒;格哈德·谢尔霍恩;博格丹·托凡;沃尔夫冈·雷夫 用时序逻辑证明线性化能力。 （英语） Zbl 1214.68209号 正式Asp。计算。 23，第1期，91-112（2011）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bäumler｝等人，正式Asp。计算。23，第1号，91--112（2011；Zbl 1214.68209） 全文： 内政部 链接
安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 代数规范中的自动缺陷检测。 （英语） Zbl 1207.68337号 J.汽车。推理 45，第4期，359-395（2010）.MSC公司：68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Dunets}等人，J.Autom。推理45，No.4，359--395（2010；Zbl 1207.68337） 全文： 内政部
安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 自动化非自由生成数据类型的代数规范。 （英语） Zbl 1183.68368号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。《计算机科学讲义》5311141-155（2008）。MSC公司：60年第68季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Dunets}等人，Lect。注释计算。科学。5311、141--155（2008年；Zbl 1183.68368） 全文： 内政部