博迪，C。;布罗多，L。;R.戈里。;列维，F。;Bernini，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日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 179-200 (2015).MSC公司：68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。注释计算。科学。9527179-200（2015年；Zbl 1417.68118） 全文： 内政部 链接
戈丽，罗伯塔;弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 （英语） 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年；兹bl 1205.68244） 全文： 内政部
弗朗西丝卡·列维 装箱到安全环境中的类型化编码。 （英语） Zbl 1089.68021号 学报信息。 42，编号6-7，429-500（2006）.MSC公司：68M10个 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}，Acta Inf.42，No.6--7，429--500（2006；Zbl 1089.68021） 全文： 内政部
弗朗西丝卡·列维;塞尔吉奥·马菲斯 关于移动环境的抽象解释。 （英语） Zbl 1078.68096号 Inf.计算。 188，第2期，179-240（2004）.MSC公司：68问题55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}和\textit{S.Maffeis}，信息计算。188，第2号，179--240（2004；Zbl 1078.68096） 全文： 内政部