萨缪尔·卡皮内蒂;科西莫·拉内夫;卢卡·帕多瓦尼 PiDuce-一个试验web服务技术的项目。 （英语） Zbl 1194.68077号 科学。计算。程序。 74，第10期，777-811（2009）.MSC公司：68英里11 68甲15 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Carpineti}等人，科学。计算。程序。74，第10号，777--811（2009；Zbl 1194.68077） 全文： 内政部 链接
科西莫·拉内夫;法比安·塔里桑 蛋白质和细胞的简单演算。 （英语） Zbl 1151.68039号 西奥。计算。科学。 404，编号1-2，127-141（2008）.MSC公司：68问题85 92立方37 92C40型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Laneve｝和\textit｛F.Tarissan｝，Theor。计算。科学。404，编号1--2，127-141（2008；Zbl 1151.68039） 全文： 内政部 哈尔
科西莫·拉内夫;法比安·塔里桑 蛋白质和细胞的简单演算。 （英语） Zbl 1277.68195号 Busi，Nadia（编辑）等人，《膜计算和生物启发过程计算第一次研讨会论文集》（MeCBIC 2006），S.Servolo，意大利威尼斯，2006年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》171，第2期，139-154（2007）。MSC公司：68问题85 92C40型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛C.Laneve｝和\textit｛F.Tarissan｝，电子。理论注释。计算。科学。171，第2号，139--154（2007；Zbl 1277.68195） 全文： 内政部
菲利普·加德纳;科西莫·拉内夫;卢西安·维希克 线性货运代理。 （英语） Zbl 1129.68047号 Inf.计算。 205，第10号，1526-1550（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}等人，《信息计算》。205，第10号，1526--1550（2007；Zbl 1129.68047） 全文： 内政部
塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米，迪迪埃 连接演算中的继承。 （英语） Zbl 1035.03011号 J.日志。阿尔盖布。程序。 57，第1-2期，23-69（2003）.MSC公司：03B70号 68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人，J.Log。阿尔盖布。程序。57、编号1--2、23-69（2003；Zbl 1035.03011） 全文： 内政部