马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 对数摊销复杂性的基于类型的分析。 （英语） Zbl 1517.68070号 数学。结构。计算。科学。 32，第6号，794-826（2022）.MSC公司：68甲18 03B38型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，《数学》。结构。计算。科学。32，编号6，794--826（2022；Zbl 1517.68070） 全文： 内政部 arXiv公司
扎卡里·金凯德;代表，托马斯;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） 全文： 内政部
艾尔维拉·阿尔伯特;雷纳·哈内尔;艾丽西亚·梅拉约;多米尼克·施泰因霍费尔 经认证的抽象成本分析。 （英语） Zbl 1467.68034号 Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 24-45 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，Lect。注释计算。科学。12649，24-45（2021；Zbl 1467.68034） 全文： 内政部
杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 符号执行的位向量算法程序的终止和复杂性分析。 （英语） Zbl 1395.68093号 J.日志。阿尔盖布。方法计划。 97105-130（2018）.MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hensel}等人，J.Log。阿尔盖布。方法计划。97、105——130（2018；Zbl 1395.68093） 全文： 内政部
本杰明·利希特曼;简·霍夫曼 资源感知ML中的数组和引用。 （英语） Zbl 1441.68018号 Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第26条，第20页（2017年）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Lichtman}和\textit{J.Hoffmann}，LIPIcs——莱布尼茨国际程序。通知。84，第26条，第20页（2017；Zbl 1441.68018） 全文： 内政部