丹尼尔·迪特施;马蒂亚斯·海兹曼;Jochen Hoenicke公司;亚历山大·纳茨;安德烈亚斯·波德尔斯基 Ultimate TreeAutomizer（CHC-COMP工具描述）。 （英语） Zbl 1483.68243号 De Angelis，Emanuele（ed.）等人，《第六次Horn子句验证与合成研讨会论文集》，HCVS 2019，以及第三次程序等效与关系推理研讨会论文集，2019年4月6日至7日，捷克共和国布拉格，PERR 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29642-47（2019年）。MSC公司：68兰特 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietsch}等人，《电子》。程序。西奥。计算。科学。（EPTCS）296，42-47（2019；Zbl 1483.68243） 全文： arXiv公司 链接
兰吉特·贾拉;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 用于程序验证的谓词抽象。 （英语） 兹比尔1392.68253 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。447-491 (2018).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala}等人，in：模型检查手册。查姆：斯普林格。447--491（2018；Zbl 1392.68253） 全文： 内政部
埃夫伦·埃尔米斯;Jochen Hoenicke公司;安德烈亚斯·波德尔斯基 通过插值进行拆分。 （英语） 兹比尔1326.68091 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学讲义7148186-201（2012）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ermis}等人，Lect。注释计算。科学。7148186-201（2012；Zbl 1326.68091） 全文： 内政部
Jochen Hoenicke公司;Leino，K.Rustan M。;安德烈亚斯·波德尔斯基;马丁·施瓦夫;托马斯·怀斯 末日计划点数。 （英语） Zbl 1211.68090号 表格方法系统。设计。 37，第2-3号，171-199（2010）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人，《形式方法系统》。设计。37，No.2--3，171--199（2010；Zbl 1211.68090） 全文： 内政部
马蒂亚斯·海兹曼;Jochen Hoenicke公司;安德烈亚斯·波德尔斯基 改进跟踪抽象。 （英语） Zbl 1248.68146号 Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。《计算机科学讲义》5673、69-85（2009）。MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Heizmann}等人，Lect。注释计算。科学。5673、69-85（2009年；Zbl 1248.68146） 全文： 内政部
穆罕默德·纳西姆·塞吉尔;安德烈亚斯·波德尔斯基;托马斯·怀斯 量化数组断言的抽象细化。 （英语） Zbl 1248.68151号 Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。计算机科学讲座笔记5673，3-18（2009）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Seghir}等人，Lect。注释计算。科学。5673，3--18（2009年；Zbl 1248.68151） 全文： 内政部 链接