戈丽，罗伯塔;弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 （英语） Zbl 1205.68244号 Inf.计算。 208，第8期，869-921（2010）.理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi}，Inf.Compute。208，第8号，869--921（2010；Zbl 1205.68244） 全文： 内政部
吉安路易吉·扎瓦塔罗 生物环境中的可达性分析。 （英语） Zbl 1221.68168号 乔巴努，加布里埃尔（编辑），MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。论文基于2008年9月3日至4日在罗马尼亚伊阿什伊举行的会议上的发言。Iaši：“AI.i.Cuza”大学，“A.Myller”研讨会。10-23 (2008).理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛G.Zavattaro｝，收录于：MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。2008年9月3日至4日，罗马尼亚，伊阿什伊，根据会议上的陈述撰写的论文。Iaši：“AI.i.Cuza”大学，“A.Myller”学术研讨会。10-23（2008；Zbl 1221.68168）
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 BioAmbients的路径分析。 （英语） Zbl 1147.92002号 J.日志。阿尔盖布。程序。 77，编号1-2，92-130（2008）.理学硕士：92B05型 2010年第68季度 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛H.Pilegaard｝等人，J.日志。阿尔盖布。程序。77，编号1--2，92-130（2008；Zbl 1147.92002） 全文： 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 反应语义的主动评估上下文。 （英语） Zbl 1277.68127号 van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，57-70（2007）。理学硕士：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人，《电子》。注释Theor。计算。科学。175，第1号，57--70（2007；Zbl 1277.68127） 全文： 内政部
克里斯蒂安·维萨里 生物诱导结石对比分析的核心结石。 （英语） Zbl 1187.68331号 De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421411-425（2007）。理学硕士：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛C.Versari｝，Lect。注释计算。科学。4421、411--425（2007年；Zbl 1187.68331） 全文： 内政部
戈丽，罗伯塔;弗朗西丝卡·列维 BioAmbients的新发生计数分析。 （英语） Zbl 1159.68368号 Yi，Kwangkeun（编辑），《编程语言和系统》。第三届亚洲研讨会，2005年APLAS，2005年11月2日至5日，日本筑波。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29735-9/pbk）。《计算机科学讲义》3780381-400（2005）。理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi}，Lect。注释计算。科学。3780、381--400（2005年；Zbl 1159.68368） 全文： 内政部
阿维夫·雷格夫;叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。;威廉·西尔弗曼;卢卡·卡德利;埃胡德·夏皮罗 生物环境：生物隔间的抽象。 （英语） Zbl 1069.68569号 西奥。计算。科学。 325，第1期，第141-167页（2004年）.理学硕士：68问题85 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Regev}等人，Theor。计算。科学。325，第1号，141--167（2004；Zbl 1069.68569） 全文： 内政部