洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 编程和验证组件集成。 （英语） Zbl 1416.68051号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8415, 69-83 (2014).理学硕士：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{R.De Nicola}等人，Lect。注释计算。科学。8415，69-83（2014；Zbl 1416.68051） 全文： 内政部
A.拉帕杜拉。;普格利泽，R。;F.蒂兹。 用于异步WS-BPEL进程的基于WSDL的类型系统。 （英语） Zbl 1217.68061号 形式方法系统。设计。 第2号第38页，第119-157页（2011年）.理学硕士：68号30 68甲15 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{A.Lapadula}等人，《形式方法系统》。设计。38，第2号，119--157（2011；Zbl 1217.68061） 全文： 内政部
费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 UML服务模型的可访问验证环境。 （英语） 兹比尔1215.68065 J.塞姆。计算。 46，第2期，119-149（2011）.理学硕士：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Banti}等人，J.Symb。计算。46，No.2，119--149（2011；Zbl 1215.68065） 全文： 内政部
洛科·德尼古拉;丹妮尔·戈拉;罗萨里奥·普格利泽 全局计算微积分的基本观察值。 （英语） Zbl 1119.68124号 Inf.计算。 205，第10期，1491-1525（2007）.理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，《信息计算》。205，第10号，1491--1525（2007；Zbl 1119.68124） 全文： 内政部
德尼古拉，罗科;丹尼尔·戈拉;罗萨里奥·普格利泽 关于克莱姆-基于计算。 （英语） Zbl 1092.68070号 西奥。计算。科学。 356，第3期，387-421（2006）.理学硕士：68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人，Theor。计算。科学。356，第3号，387--421（2006；Zbl 1092.68070） 全文： 内政部
洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托奥斯托;贝蒂·文内里 克莱姆项目：理论与实践。 （英语） 兹比尔1179.68027 Priami，Corrado（编辑），《全球计算》。编程环境、语言、安全和系统分析。2003年2月9日至14日，意大利Rovereto，2003年GC，IST/FET国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-20583-7/pbk）。莱克特。注释计算。科学。2874, 88-150 (2003).理学硕士：68甲19 64岁以下 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，Lect。注释计算。科学。2874、88-150（2003年；Zbl 1179.68027） 全文： 内政部
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 加密过程的证明技术。 （英语） Zbl 1017.68050号 SIAM J.计算。 31，第3期，947-986（2002）.理学硕士：68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人，SIAM J.Compute。31，第3号，947--986（2002；Zbl 1017.68050） 全文： 内政部