奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆 证明无限状态系统时间特性的时间预言。 （英语） Zbl 1522.68340号 形式方法系统。设计。 57，编号2，246-269（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Padon}等人，《形式方法系统》。设计。57，编号2，246--269（2021；Zbl 1522.68340） 全文： 内政部 arXiv公司
拜伦·库克；阿列克谢·戈茨曼；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；莫舍·瓦尔迪。 证明这些程序最终会有好处。 （英语） Zbl 1295.68083号 2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。265-276 (2007).MSC公司：68号30 64岁以下 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。265--276（2007年；Zbl 1295.68083） 全文： 内政部 链接
安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 转移谓词抽象和公平终止。 （英语） Zbl 1369.68152号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。132-144 (2005).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko}，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。132-144（2005年；Zbl 1369.68152） 全文： 内政部