Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 求解器和决策过程的近似框架。 （英语） Zbl 1409.68265号 J.汽车。推理 58，第1期，127-147（2017）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，J.Autom。推理58，No.1，127--147（2017；Zbl 1409.68265） 全文： 内政部 链接
博扬·约丹诺夫;Christoph M.温特斯泰格。;尤塞夫·哈马迪;安德鲁·菲利普斯;希勒尔·库格勒 大规模DNA链置换电路的功能分析。 （英语） Zbl 1409.68112号 Soloveichik，David（编辑）等人，《DNA计算和分子编程》。第19届国际会议，DNA 19，美国亚利桑那州坦佩，2013年9月22日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8141, 189-203 (2013).MSC公司：2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Yordanov}等人，Lect。注释计算。科学。8141、189--203（2013；Zbl 1409.68112） 全文： 内政部
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 位向量关系的排序函数综合。 （英语） Zbl 1291.68138号 表格方法系统。设计。 43，第1期，93-120（2013）.MSC公司：68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Cook｝等人，《表格方法系统》。设计。43，第1号，93-120（2013；Zbl 1291.68138） 全文： 内政部 链接
丹尼尔·克罗宁;莎里吉娜，娜塔莎;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 （英语） Zbl 1291.68262号 表格方法系统。设计。 42，第3期，221-261（2013）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，《形式方法系统》。设计。42，第3号，221--261（2013；Zbl 1291.68262） 全文： 内政部 链接
阿里亚克西·齐托维奇;莎里吉娜，娜塔莎;Christoph M.温特斯泰格。;丹尼尔·克罗宁 回路总结和终止分析。 （英语） 兹比尔1315.68106 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记660581-95（2011）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Tsitovich}等人，Lect。注释计算。科学。660581-95（2011年；Zbl 1315.68106） 全文： 内政部
丹尼尔·克罗宁;莎里吉娜，娜塔莎;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用抽象变换器的循环摘要。 （英语） Zbl 1183.68377号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿53111-125（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，Lect。注释计算。科学。53111-125（2008年；Zbl 1183.68377） 全文： 内政部