马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 对数摊销复杂度的基于类型的分析。 (英语) 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) 全文: 内政部