马丁·霍夫曼；洛伦茨，Leutgeb；大卫·奥布瓦勒；乔治·莫瑟；弗洛里安·祖勒格 对数摊销复杂度的基于类型的分析。 （英语） 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 1467.68066号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12651, 250-269 (2021).MSC公司：65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Meyer}等人，Lect。票据计算。科学。12651，250-269（2021；Zbl 1467.68066） 全文： 内政部 arXiv公司
斯特芬·乔斯特；佩德罗·瓦康塞洛斯；马里奥弗洛里多；凯文·哈蒙德 惰性函数语言的基于类型的成本分析。 （英语） Zbl 1409.68067号 J.汽车。推理 59，第1号，87-120（2017）.MSC公司：68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Jost}等人，J.Autom。推理59，No.1，87-120（2017；Zbl 1409.68067） 全文： 内政部 链接