简·霍夫曼;克劳斯·埃利格;马丁·霍夫曼 多元摊销资源分析。 （英语） Zbl 1284.68132号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。357-370 (2011).MSC公司：68甲18 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。357--370（2011年；Zbl 1284.68132） 全文： 内政部
简·霍夫曼;马丁·霍夫曼 多项式潜力摊销资源分析。函数程序多项式界的静态推断。 （英语） 兹比尔1260.68074 Andrew D.Gordon（编辑），《编程语言和系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。计算机科学课堂讲稿6012287-306（2010）。MSC公司：68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.霍夫曼}和\textit{M.霍夫曼}，莱克特。注释计算。科学。6012、287--306（2010年；Zbl 1260.68074） 全文： 内政部