马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 对数摊销复杂度的基于类型的分析。 （英语） 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公司
伊曼纽尔·海因里;伊曼纽尔·詹德尔;罗曼·佩乔;奥利维尔·泽恩 复杂性分析器：一个自动工具，用于证明Java程序的多时间复杂性。 （英语） Zbl 07500653号 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 357-365 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛E.Hainry｝等人，Lect。注释计算。科学。12819、357--365（2021；Zbl 07500653） 全文： 内政部
洛伦兹·勒特盖布;乔治·莫瑟;弗洛里安·祖勒格 ATLAS：自动摊销自调整数据结构的复杂性分析。 （英语） 兹比尔1493.68129 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760，99-122（2021）。MSC公司：68第05页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Leutgeb}等人，Lect。注释计算。科学。12760，99-122（2021；Zbl 1493.68129） 全文： 内政部
马丁·阿文齐尼;乔治·莫瑟 复杂性的组合框架。 （英语） Zbl 1339.68135号 Inf.计算。 248, 22-55 (2016).MSC公司：2012年第68季度 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Avanzini}和\textit{G.Moser}，Inf.Compute。248、22-55（2016年；Zbl 1339.68135） 全文： 内政部