马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 对数摊销复杂性的基于类型的分析。 （英语） 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公司
洛伦兹·勒特盖布;乔治·莫瑟;弗洛里安·祖勒格 概率数据结构的自动化预期摊销成本分析。 （英语） Zbl 1514.68049号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 70-91 (2022).MSC公司：68第05页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Leutgeb}等人，Lect。注释计算。科学。13372，70-91（2022；Zbl 1514.68049） 全文： 内政部 arXiv公司
洛伦兹·勒特盖布;乔治·莫瑟;弗洛里安·祖勒格 ATLAS：自动摊销自调整数据结构的复杂性分析。 （英语） Zbl 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） 全文： 内政部
马丁·阿文齐尼;江口、闹喜;乔治·莫瑟 多时间可计算函数的一种新的序理论表征。 （英语） Zbl 1327.68142号 西奥。计算。科学。 585, 3-24 (2015).MSC公司：2012年第68季度 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Avanzini}等人，Theor。计算。科学。585，3--24（2015；Zbl 1327.68142） 全文： 内政部