扎卡里·金凯德;代表，托马斯;约翰·Cyphert 代数程序分析。 （英语） Zbl 1493.68115号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 46-83 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kincaid}等人，Lect。注释计算。科学。12759，46-83（2021；Zbl 1493.68115） 全文： 内政部 OA许可证
王迪;简·霍夫曼;代表，托马斯 具有不确定性的低级概率程序的指称语义。 （英语） Zbl 07515966号 König，Barbara（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4日至7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347, 303-324 (2019).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}等人，Electron。注释Theor。计算。科学。347303--324（2019年；Zbl 07515966） 全文： 内政部
图沙尔·沙尔马;代表，托马斯 声音比特精确数值域。 （英语） Zbl 1484.68053号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 500-520 (2017).MSC公司：68号30 6504年 PDF格式BibTeX公司 XML格式引用 \textit{T.Sharma}和\textit{T.Reps}，莱克特。注释计算。科学。10145500-520（2017；Zbl 1484.68053） 全文： 内政部
长者，马特;丹尼斯·戈潘;代表，托马斯 查看增强抽象。 （英语） Zbl 1342.68081号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，43-57（2010）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Elder}等人，Electron。注释Theor。计算。科学。267，编号1，43-57（2010；Zbl 1342.68081） 全文： 内政部 OA许可证