贝诺缬氨酸 从高阶函数程序生成可逆电路。 （英语） Zbl 1480.94057号 Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 289-306 (2016).MSC公司：94C11号机组 94D10号 68号30 81页68 PDF格式BibTeX公司 XML格式引用 \textit{B.Valiron}，莱克特。注释计算。科学。9720，289--306（2016；Zbl 1480.94057） 全文： 内政部 arXiv公司
安德烈亚·塞隆;马修·轩尼诗;马西莫·梅罗 无线系统中MAC层通信的建模。 （英语） Zbl 1395.94007号 日志。方法计算。科学。 11，第1号，第18号论文，59页（2015）.MSC公司：94A05级 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cerone}等人，日志。方法计算。科学。11，第1号，第18号文件，第59页（2015年；兹bl 1395.94007） 全文： 内政部 arXiv公司
迈克尔·门德勒;托马斯·希普尔。;杰拉德·贝里 构造布尔电路和定时三值模拟的精确性。 （英语） Zbl 1303.94148号 形式方法系统。设计。 40，第3期，283-329（2012）.MSC公司：94立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler}等人，《形式方法系统》。设计。40，第3号，283--329（2012；Zbl 1303.94148） 全文： 内政部
劳伦特·阿迪蒂;杰拉德·贝里;迈克尔·基希内夫斯基 顺序优化的Esterel设计的后期设计变更（ECO）。 （英语） Zbl 1117.68302号 Hu，Alan J.（编辑）等，《计算机辅助设计中的形式化方法》。2004年11月15日至17日，第五届国际会议，FMCAD 2004，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23738-0/pbk）。计算机科学课堂讲稿3312，128-143（2004）。MSC公司：2007年7月68日 68单位07 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Arditi}等人，Lect。注释计算。科学。33121228-143（2004年；兹bl 1117.68302） 全文： 内政部