萨宾·鲍尔；斯特芬·乔斯特；马丁·霍夫曼 无限树上的可判定不等式。 （英语） Zbl 1415.68059号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 111-130 (2018).MSC公司：68号30 03B25号 05年3月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Bauer}等人，EPiC Ser。计算。57、111-130（2018；Zbl 1415.68059） 全文： 内政部
斯特芬·乔斯特；凯文·哈蒙德；汉斯·沃夫冈·洛伊德；马丁·霍夫曼 高阶程序定量资源使用的静态确定。 （英语） Zbl 1312.68039号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-479-9）。223-236 (2010).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛S.Jost｝等人，载于：第37届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。223--236（2010；Zbl 1312.68039） 全文： 内政部
马丁·霍夫曼；斯特芬·乔斯特 基于类型的摊销堆空间分析。 （英语） 兹比尔1178.68143 Peter Sestoft（编辑），《编程语言和系统》。2006年3月27日至28日在奥地利维也纳举行的第15届欧洲编程研讨会（ESOP 2006），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33095-X/pbk）。计算机科学课堂讲稿3924，22-37（2006）。MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{S.约斯特}，莱克特。票据计算。科学。3924、22-37（2006年；Zbl 1178.68143） 全文： 内政部
马丁·霍夫曼；斯特芬·乔斯特 一阶函数程序堆空间使用的静态预测。 （英语） Zbl 1321.68180号 第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。185-197年（2003年）。MSC公司：68N20型 68甲18 68页第10页 2017年第68季度 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{S.Jost}，摘自：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。185-197（2003年；Zbl 1321.68180） 全文： 内政部