马丁·霍夫曼（编辑）;大卫·阿斯皮纳尔（编辑）;布莱恩·坎贝尔（编辑）;伊恩·斯塔克（编辑）;佩迪塔·史蒂文斯（编辑） 前言。 （英语） Zbl 1398.00101号 西奥。计算。科学。 741, 1-2 (2018).MSC公司：00时25分 00B30型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}（编辑）等人，Theor。计算。科学。741，1-2（2018年；兹bl 1398.00101） 全文： DOI程序
马丁·霍夫曼（编辑） 软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011，是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 （英语） Zbl 1213.68041号 计算机科学课堂讲稿6604.柏林：施普林格出版社（ISBN 978-3-642-19804-5/pbk）。xv，第473页。(2011).MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}（编辑），软件科学和计算结构基础。2011年3月26日至4月3日，第14届国际会议FOSSACS 2011，作为欧洲软件理论与实践联合会议ETAPS 2011的一部分，在德国萨尔布吕肯举行。诉讼程序。柏林：施普林格出版社（2011；Zbl 1213.68041） 全文： DOI程序
马丁·威尔辛（编辑）;马丁·霍夫曼（编辑）;阿克塞尔·劳施迈尔（编辑） 值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 （英语） Zbl 1198.68071号 计算机科学课堂讲稿6084.柏林：施普林格出版社（ISBN 978-3-642-15639-7/pbk）。xi，第379页。(2010).MSC公司：68-06 64岁以下 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}（编辑）等人，值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的第五届TGC国际研讨会。修订了选定的论文。柏林：施普林格（2010年；Zbl 1198.68071） 全文： DOI程序
马丁·霍夫曼（编辑）;汉斯·沃夫冈·洛伊德（编辑） 特刊：应用语义。根据2005年9月12日至15日在德国弗劳恩基姆塞举行的第三届应用语义学研讨会（APPSEM 2005）上的演示文稿选出的论文。 （英语） Zbl 1125.68311号 西奥。计算。科学。364，第3期，271-358（2006）。 MSC公司：68-06 00时25分 PDF格式BibTeX公司 XML格式
马丁·霍夫曼（编辑）;乌日琴，Paweł（编辑） 2003年6月10日至12日在西班牙巴伦西亚举行的第六届lambda calculi类型及其应用国际会议上发表的论文选集。 （英语） Zbl 1072.03503号 芬丹。通知。 65，第1-2期，191页（2005年）.MSC公司：03-06 68-06 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}（编辑）和\textit{P.Urzyczyn}（主编），Fundam。通知。65，第1--2号，191页（2005年；Zbl 1072.03503）
马丁·霍夫曼（编辑） 键入lambda计算和应用程序。第六届国际会议，2003年TLCA，2003年6月10日至12日，西班牙巴伦西亚。诉讼程序。 （英语） Zbl 1029.00023号 计算机科学课堂讲稿. 2701. 柏林：斯普林格。viii，317 p.46.00欧元/净；$56.00; 32.00英镑；《新加坡财务报告》第79.00页（2003年）。MSC公司：00时25分 03-06 68-06 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}（编辑），键入lambda计算和应用程序。第六届国际会议，TLCA 2003，西班牙巴伦西亚，2003年6月10-12日。诉讼程序。柏林：施普林格出版社（2003；Zbl 1029.00023）
马丁·霍夫曼（编辑）;朱塞佩·罗索里尼（编辑）;达斯科·巴甫洛维奇（编辑） CTCS’99。类别理论与计算机科学会议，英国爱丁堡，1999年9月10日至12日。 （英语） Zbl 0942.00057号 理论计算机科学电子笔记. 29. 阿姆斯特丹：Elsevier，22篇论文（电子版）（1999年）。MSC公司：00时25分 68-06 18-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}（编辑）等人，CTCS’99。类别理论和计算机科学会议，英国爱丁堡，1999年9月10日至12日。阿姆斯特丹：Elsevier（1999；Zbl 0942.00057）