编辑配置文件(在新选项卡中打开) 罗萨里奥·普格利泽 合著者距离 作者ID: 普格利赛.罗萨里奥 发布日期: 罗萨里奥·普格利泽;普格利泽,R。 外部链接: MGP公司·ORCID公司·数据库许可证 编入索引的文档: 39出版物自1997年起 2作为编辑的贡献 合著者: 33位合著者具有41联合出版物 633位联合作者 全部的 前5名合著者 0 单作者的 18 洛科·德尼古拉 13 弗朗西斯科·蒂埃齐 11 丹尼尔·戈拉 7 吉安·路易吉,法拉利 6 米歇尔·博雷尔 5 亚历山德罗·拉帕杜拉 三 米歇尔·洛雷蒂 三 尤金尼奥·莫吉 三 尼古拉,R.D。 2 费德里科·班蒂 2 洛伦佐·贝蒂尼 2 马里奥·科普 2 马里亚纽拉州Dezani-Ciancaglini 2 埃利奥·乔瓦内蒂 2 乌戈·蒙塔纳里。 2 埃米利奥·托斯托 2 贝蒂·文内里 1 大卫·巴兹勒 1 维维亚娜·博诺 1 弗拉维奥·科拉迪尼 1 费德里科·科齐 1 汉森、雷内·里多夫 1 Ingólfsdóttir,安娜 1 Kovács,Laura Ildikó 1 阿尔贝托·卢什·拉富恩特 1 安德烈亚·莫里切塔 1 弗莱明·尼尔森 1 克里斯蒂安·普罗布斯特。 1 汉内·里斯·尼尔森 1 瓦莱里奥·塞尼 1 乔塞普·席尔瓦 1 莫里斯·比克。 1 吉田、Nobuko 全部的 前5名系列 4 理论计算机科学 三 计算机程序设计科学 三 信息与计算 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 SIAM计算机杂志 1 软件。实践与经验 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 领域 41 计算机科学(68至XX) 2 一般性和全局性主题;集合(00-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用205中的次146文件 引用人▼ 年份▼ web服务编排的演算。 Zbl 1187.68070号 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 35 2007 加密过程的证明技术。 Zbl 1017.68050号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 20 2002 跟踪和测试异步进程的等效性。 Zbl 1009.68079号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 17 2002 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 关于克莱姆-基于计算。 Zbl 1092.68070号 德尼古拉,罗科;丹尼尔·戈拉;罗萨里奥·普格利泽 10 2006 过程的基本观察结果。 Zbl 0928.68013号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 10 1999 访问控制的类型。 Zbl 0954.68025号 R·尼古拉。;G.-L.法拉利。;普格利泽,R。;B.Venneri。 10 2000 并发和分布式编程的模型、语言和工具。献给Rocco De Nicola 65岁生日之际的散文。 Zbl 1416.68004号 9 2019 Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号 洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽 7 2002 规范面向服务应用程序中的数据交换。 Zbl 1141.68509号 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 6 2007 全局计算微积分的基本观察值。 Zbl 1119.68124号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 6 2007 编程和验证组件集成。 Zbl 1416.68051号 洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 5 2014 使用支持网络的协调语言动态管理功能。 兹比尔1183.68041 丹尼尔·戈拉;罗萨里奥·普格利泽 5 2009 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥·普格利泽 5 2010 COWS:一种面向服务的计时演算。 Zbl 1147.68846号 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 4 2007 具有局部和依赖类型的移动性演算。 兹比尔1171.68566 马里奥·科普;费德里科·科齐;马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;罗萨里奥·普格利泽 4 2005 移动环境的动态和本地输入。 Zbl 1094.68060号 马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;罗萨里奥·普格利泽 4 2004 通过动态权限获取实现资源访问和移动性控制。 Zbl 1039.68542号 丹尼尔·戈拉;罗萨里奥·普格利泽 4 2003 全局计算微积分的基本观察值。 Zbl 1085.68098号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 4 2005 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 Zbl 1528.68173号 大卫·巴兹勒;莫里斯·比克。;罗萨里奥·普格利泽 4 2020 元组空间动态网络上的模式匹配。 Zbl 1461.68131号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 三 2005 限制全球计算应用程序中的数据和进程。 Zbl 1137.68333号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 2 2006 用于异步WS-BPEL进程的基于WSDL的类型系统。 兹比尔1217.68061 A.拉帕杜拉。;普格利泽,R。;F.蒂兹。 2 2011 可编程QoS推理的形式化基础。 Zbl 1274.68022号 洛科·德尼古拉;Gianluigi法拉利;乌戈·蒙塔纳里;罗萨里奥·普格利泽;埃米利奥·托斯托 2 2003 使用多个约束存储对自治系统进行编程。 Zbl 1454.68126号 乌戈·蒙塔纳里;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 2 2015 基于Linda的应用和命令过程代数。 Zbl 0944.68064号 R.D.尼古拉。;普格利泽,R。 2 2000 MetaKlaim:一种用于全局计算的类型安全的多阶段语言。 Zbl 1085.68013号 Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽 1 2004 用于服务的UML模型的可访问验证环境。 Zbl 1215.68065号 费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 1 2011 观察SOC中动态优先行动。 Zbl 1248.68099号 罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐;吉田、Nobuko 1 2009 分离过程计算的标准。 兹比尔1455.68117 费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 1 2010 元组空间动态网络中的全局计算。 Zbl 1178.68160号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 1 2007 关于克莱姆-基于计算。 Zbl 1272.68298号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 1 2005 测试和准备语义的分歧。 Zbl 0989.68084号 博雷尔,M。;R.D.尼古拉。;普格利泽,R。 1 2001 编程访问控制:KLAIM体验。 Zbl 0999.68557号 洛科·德尼古拉;吉安·路易吉,法拉利;罗萨里奥·普格利泽 1 2000 面向并发值传递语言的验证延迟实现(抽象)。 兹伯利0966.68032 Ingólfsdóttir,安娜;罗萨里奥·普格利泽 1 1999 无替代性:分离过程结石的标准。 Zbl 1462.68126号 罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 1 2020 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 Zbl 1528.68173号 大卫·巴兹勒;莫里斯·比克。;罗萨里奥·普格利泽 4 2020 无替代性:分离过程结石的标准。 Zbl 1462.68126号 罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 1 2020 并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 Zbl 1416.68004号 9 2019 使用多个约束存储对自治系统进行编程。 Zbl 1454.68126号 乌戈·蒙塔纳里;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 2 2015 对组件集成进行编程和验证。 Zbl 1416.68051号 洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 5 2014 用于异步WS-BPEL进程的基于WSDL的类型系统。 Zbl 1217.68061号 A.拉帕杜拉。;普格利泽,R。;蒂齐,F。 2 2011 UML服务模型的可访问验证环境。 Zbl 1215.68065号 费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 1 2011 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥·普格利泽 5 2010 分离过程计算的标准。 Zbl 1455.68117号 费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 1 2010 使用支持网络的协调语言动态管理功能。 Zbl 1183.68041号 丹尼尔·戈拉;罗萨里奥·普格利泽 5 2009 观察SOC中动态优先行动。 Zbl 1248.68099号 罗萨里奥·普格利泽;弗朗西斯科·蒂齐;吉田、Nobuko 1 2009 web服务编排的演算。 Zbl 1187.68070号 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 35 2007 规范面向服务应用程序中的数据交换。 Zbl 1141.68509号 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 6 2007 全局计算微积分的基本观察值。 Zbl 1119.68124号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 6 2007 COWS:一种面向服务的计时演算。 Zbl 1147.68846号 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 4 2007 元组空间动态网络中的全局计算。 Zbl 1178.68160号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 1 2007 关于克莱姆-基于计算。 Zbl 1092.68070号 德尼古拉,罗科;丹尼尔·戈拉;罗萨里奥·普格利泽 10 2006 限制全球计算应用程序中的数据和进程。 Zbl 1137.68333号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 2 2006 具有局部和依赖类型的移动性演算。 Zbl 1171.68566号 马里奥·科普;费德里科·科齐;马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;罗萨里奥·普格利泽 4 2005 全局计算微积分的基本观察值。 兹比尔1085.68098 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 4 2005 元组空间动态网络上的模式匹配。 Zbl 1461.68131号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 三 2005 关于克莱姆-基于计算。 Zbl 1272.68298号 洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 1 2005 移动环境的动态和本地输入。 Zbl 1094.68060号 马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;罗萨里奥·普格利泽 4 2004 MetaKlaim:一种用于全局计算的类型安全的多阶段语言。 Zbl 1085.68013号 Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽 1 2004 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 通过动态权限获取实现资源访问和移动性控制。 Zbl 1039.68542号 丹尼尔·戈拉;罗萨里奥·普格利泽 4 2003 可编程QoS推理的形式化基础。 Zbl 1274.68022号 洛科·德尼古拉;Gianluigi法拉利;乌戈·蒙塔纳里;罗萨里奥·普格利泽;埃米利奥·托斯托 2 2003 加密过程的证明技术。 兹比尔1017.68050 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 20 2002 跟踪和测试异步进程的等效性。 Zbl 1009.68079号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 17 2002 Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号 洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽 7 2002 测试和准备语义的分歧。 Zbl 0989.68084号 博雷尔,M。;R.D.尼古拉。;普格利泽,R。 1 2001 访问控制的类型。 Zbl 0954.68025号 R·尼古拉。;G.-L.法拉利。;普格利泽,R。;Venneri,B。 10 2000 基于Linda的应用和命令过程代数。 Zbl 0944.68064号 R.D.尼古拉。;普格利泽,R。 2 2000 编程访问控制:KLAIM体验。 Zbl 0999.68557号 洛科·德尼古拉;吉安·路易吉,法拉利;罗萨里奥·普格利泽 1 2000 过程的基本可观察性。 Zbl 0928.68013号 米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 10 1999 面向并发值传递语言的验证延迟实现(抽象)。 Zbl 0966.68032号 Ingólfsdóttir,安娜;罗萨里奥·普格利泽 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名243位作者引用 12 罗萨里奥·普格利泽 11 洛科·德尼古拉 11 弗莱明·尼尔森 10 汉内·里斯·尼尔森 9 丹尼尔·戈拉 8 伊万·拉内斯 7 马里亚纽拉州Dezani-Ciancaglini 7 埃米利奥·托斯托 6 乌戈·蒙塔纳里。 6 约万卡·潘托维奇 6 弗朗西斯科·蒂埃齐 5 雨果·托雷斯·维埃拉 4 佛朗哥·巴巴内拉 4 罗伯托·布鲁尼 4 西尔维娅·吉勒赞 4 罗伯特·瓜夏莱 4 米歇尔·洛雷蒂 4 莫里斯·比克。 三 劳拉·博奇 三 米歇尔·博雷尔 三 伊利亚卡斯特拉尼 三 吉安·路易吉,法拉利 三 轩尼诗,Matthew C.B。 三 汉斯·休特尔 三 迭戈·拉特拉 三 梅克·马西克 三 马蒂奥·桑马蒂诺 三 沃尔特·福格勒 三 吉田、Nobuko 2 罗伯特·阿马迪奥(Roberto M.Amadio)。 2 大卫·巴兹勒 2 伊万·西布拉里奥·贝尔托洛蒂 2 博迪,恰拉 2 约翰·博格斯特罗姆 2 米歇尔·布格列西 2 萨拉·卡佩基 2 亚历克斯·科托 2 斯特凡尼德劳恩 2 乌戈·德利古罗 2 格雷戈里奥·迪亚兹 2 卢卡·杜兰特 2 El-Zawawy,Mohamed A。 2 何塞·路易斯·费亚代罗 2 塞德里克·Fornet 2 阿德里安·弗兰卡兰扎 2 法比奥·加杜奇 2 埃琳娜·贾奇诺 2 斯特凡妮娅·格内西 2 罗斯·霍恩 2 阿尔贝托·卢什·拉富恩特 2 绍克·莫 2 塞巴斯蒂安·南兹 2 鲁米亚纳内科娃 2 佩雷斯(Jorge A.Pérez)。 2 伊万·普罗基奇 2 安托尼奥·拉瓦拉 2 弗朗西斯科·桑蒂尼 2 里卡多·西斯托 2 克里斯蒂安·斯塔尔 2 丹尼尔·斯特罗洛 2 阿德里亚诺·瓦伦扎诺 2 丹尼尔·瓦拉卡 2 尤尔科夫,塞门 2 吉安路易吉·扎瓦塔罗 1 马丁·阿巴迪 1 罗莎·阿巴斯 1 Abreu Júnior,若昂·卡洛斯 1 Aceto,卢卡 1 阿尔·胡迈迈迪,阿贝尔·S。 1 叶希亚·阿卜杜·阿勒拉赫曼 1 穆萨布·A·阿尔图尔基。 1 法哈德·阿尔巴 1 乔治·奥德里托 1 保罗·巴尔丹 1 费德里科·班蒂 1 马西莫·巴托莱蒂 1 约格·鲍尔 1 雅各布·比尔 1 Stefano贝拉迪 1 洛伦佐·贝蒂尼 1 普尼特·巴特亚 1 阿尼尔班·巴塔查里亚 1 斯蒂法诺·比斯塔雷利 1 布鲁诺·布兰切特 1 菲利波·邦奇 1 维维亚娜·博诺 1 保罗·波托尼 1 马里奥·布拉维蒂 1 琳达·布罗多 1 杰兹·布热津斯基 1 Cacciagrano、Diletta Romana 1 路易斯·凯雷斯 1 玛丽亚·艾米利亚·坎布罗内罗 1 朱塞佩·卡斯塔尼亚 1 陈建文 1 陈振邦 1 文森特·雪瓦尔 1 亚尼克·骑士 1 文森佐·西安西亚 1 加布里埃尔·乔巴努 …还有143位作者 全部的 前5名21篇连载文章中引用 27 理论计算机科学 16 程序设计中的逻辑和代数方法杂志 11 信息与计算 9 计算的形式方面 8 逻辑与代数程序设计杂志 5 信息学报 5 计算机程序设计科学 4 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 2 信息处理信件 2 自动推理杂志 2 系统设计中的形式化方法 2 埃及数学学会杂志 1 信息科学 1 符号计算杂志 1 国际计算机科学基础杂志 1 分布式计算 1 计算与决策科学基础 1 美国计算机学会模型和计算机仿真汇刊 1 计算机语言、系统和结构 1 ACM计算逻辑事务 全部的 前5名在8个字段中引用 144 计算机科学(68至XX) 13 信息与通信理论、电路(94-XX) 11 数学逻辑和基础(03-XX) 1 一般性和全局性主题;集合(00-XX) 1 历史和传记(01-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 系统论;控制(93至XX) 按年份列出的引文