罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐；露西娅·纳斯蒂 基因调控网络建模方法综述：从微分方程到布尔和定性生物启发模型。 （英语） Zbl 1469.92053号 J.成员。计算。 207-226（2020）第3期第2页.MSC公司：第92页第42页 92C40型 2007年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人，J.Membr。计算。2，第3号，207--226（2020；Zbl 1469.92053） 全文： 内政部
博迪，C。；布罗多，L。；R.戈里。；列维，F。；A.贝尔尼尼。；D.赫米思。 膜计算的静态分析，提供全局发生计数信息。 （英语） Zbl 1383.92032号 西奥。计算。科学。 696, 11-51 (2017).MSC公司：第92页第42页 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Theor。计算。科学。696，11--51（2017；Zbl 1383.92032） 全文： 内政部 链接
奇亚拉博迪；琳达·布罗多；罗伯塔·戈里；戴安娜·赫米思；弗朗西丝卡·列维 膜结石的整体发生计数分析。 （英语） Zbl 1417.68118号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 179-200 (2015).MSC公司：68问题85 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。注释计算。科学。9527179-200（2015年；Zbl 1417.68118） 全文： 内政部 链接
奇亚拉博迪；罗伯塔·戈里；弗朗西丝卡·列维 膜结石的原因静态分析。 （英语） Zbl 1327.68099号 西奥。计算。科学。 587, 73-103 (2015).MSC公司：2005年第68季度 68问题85 92C30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Theor。计算。科学。587、73——103（2015年；Zbl 1327.68099） 全文： 内政部
奇亚拉博迪；罗伯塔·戈里；弗朗西丝卡·列维 膜相互作用因果特性分析。 （英语） 兹比尔1337.68100 Merelli，Emanuela（编辑）等人，《第四届计算机科学与生物学相互作用国际研讨会论文集》（CS2Bio'13），意大利佛罗伦萨，2013年6月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》299，15-31（2013）。MSC公司：2005年第68季度 68问题55 92立方37 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，《电子》。注释Theor。计算。科学。299、15--31（2013年；Zbl 1337.68100） 全文： 内政部
罗伯塔·戈里；弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 （英语） Zbl 1205.68244号 Inf.计算。 208，编号8，869-921（2010）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi}，Inf.Compute。208，第8号，869--921（2010；Zbl 1205.68244） 全文： 内政部
阿莱西奥·科莱塔；罗伯塔·戈里；弗朗西丝卡·列维 使用抽象解释近似生物系统的概率行为。 （英语） Zbl 1283.92037号 尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，165-182（2009）。MSC公司：第92页第42页 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coletta}等人，《电子》。注释Theor。计算。科学。229，第1号，165--182（2009；Zbl 1283.92037） 全文： 内政部