博迪，C。;布罗多，L。;R.戈里。;列维，F。;A.贝尔尼尼。;D.赫米思。 膜计算的静态分析，提供全局发生计数信息。 （英语） Zbl 1383.92032号 西奥。计算。科学。 696, 11-51 (2017).MSC公司：92立方厘米 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立方厘米 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） 全文： 内政部
博迪，恰拉;罗伯塔·戈里;弗朗西丝卡·列维 膜相互作用因果特性分析。 （英语） Zbl 1337.68100号 Merelli，Emanuela（编辑）等人，《第四届计算机科学与生物学相互作用国际研讨会论文集》（CS2Bio'13），意大利佛罗伦萨，2013年6月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》299，15-31（2013）。MSC公司：2005年第68季度 68问题55 92立方37 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，《电子》。注释Theor。计算。科学。299、15--31（2013年；Zbl 1337.68100） 全文： 内政部
博迪，恰拉;安德烈亚·布拉夏利;戴维·齐亚鲁吉 膜结石的控制流分析。 （英语） Zbl 1348.92068号 Ciobanu，Gabriel（编辑），《第二届膜计算和生物启发过程计算国际会议论文集》（MeCBIC 2008），2008年9月3日至4日，罗马尼亚伊阿什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记227，59-75（2009）。MSC公司：92立方厘米 60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，《电子》。注释Theor。计算。科学。227，59-75（2009年；兹bl 1348.92068） 全文： 内政部
博迪，恰拉 带和不带静态隔间的Beta粘合剂的控制流分析。 （英语） Zbl 1173.68039号 西奥。计算。科学。 410，编号33-34，3110-3127（2009）.MSC公司：68问题85 92B05型 PDF格式BibTeX公司 XML格式引用 \文本{C.Bodei}，Theor。计算。科学。410，编号33-34，3110--3127（2009；Zbl 1173.68039） 全文： 内政部