汉斯·休特尔 键入\（\psi\）-calculi。 （英语） Zbl 1344.68166号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901265-279（2011）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hüttel}，莱克特。注释计算。科学。6901265--279（2011；Zbl 1344.68166） 全文： 内政部
Jens Chr.Godskesen。;汉斯·胡特尔;莫滕·库纳里奇 移动自组网演算中对应断言的验证。 （英语） Zbl 1347.68028号 Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，77-93（2009）。MSC公司：64岁以下 68个M12 68问题55 60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Chr.Godskesen｝等人，电子。注释Theor。计算。科学。229，第2号，77--93（2009；Zbl 1347.68028） 全文： 内政部
米克尔·邦加德;Jens Chr.Godskesen。;比约恩哈根森;汉斯·休特尔 具有位置的高阶微积分的可判定碎片。 （英语） Zbl 1291.68283号 Hildebrandt，Thomas（编辑）等人，第15届并发表达性国际研讨会论文集（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，113-138（2009）。MSC公司：68问题85 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bundgaard}等人，《电子》。注释Theor。计算。科学。242，No.1，113--138（2009；Zbl 1291.68283） 全文： 内政部
汉斯·休特尔;莫滕·库纳里奇 移动资源演算中访问控制的类型。 （英语） Zbl 1277.68191号 Michael Backes（编辑）等人，《安全与并发国际研讨会论文集》（SecCo 2005），美国加利福尼亚州旧金山，2005年8月22日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》180，第1期，3-15页（2007年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛H.Hüttel｝和\textit｛M.Kühnrich｝，电子。注释Theor。计算。科学。180，第1号，第3--15号（2007；Zbl 1277.68191） 全文： 内政部
乌韦·内斯特曼;汉斯·休特尔;乔斯瓦·克莱斯特;马西莫·梅罗 移动对象的别名模型。 （英语） Zbl 1012.68114号 Inf.计算。 175，第1期，第3-33页（2002年）.MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{U.Nestmann}等人，《信息计算》。175，第1号，第3--33号（2002年；Zbl 1012.68114） 全文： 内政部