编辑配置文件（在新选项卡中打开） 罗伯托·祖尼诺 合著者距离 作者ID： 佐尼诺·罗伯托 发布日期： 罗伯托·祖尼诺 已编制索引的文档： 24出版物自2004年起 合著者： 14合著者具有24联合出版物 259位合作作者 全部的 前5名合著者 0 单作者的 20 马西莫·巴托莱蒂 9 迪加诺，皮尔保罗 5 蒂齐亚娜·西莫利 5 吉安·路易吉，法拉利 5 阿尔切斯特·斯卡拉斯 三 莫里齐奥·穆尔吉亚 三 埃米利奥·托斯托 2 保罗·迪·吉安贝拉迪诺 2 G.Michele Pinna 1 安德烈亚·克拉克·布拉夏利 1 斯特凡诺·兰德 1 克里斯蒂安·勒波雷 1 科拉多·普里亚米 1 Vo Hong Thanh先生 全部的 前5名系列 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 计算机科学科学年鉴 1 伦敦皇家学会会刊。A.数学、物理和工程科学 领域 23 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 4 信息与通信理论、电路（94-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用81中的次42文件 引用人▼ 年份▼ 会话类型的语义解构。 Zbl 1417.68115号 马西莫·巴托莱蒂；阿尔切斯特·斯卡拉斯；罗伯托·祖尼诺 12 2014 行为合同的合规性：简要调查。 Zbl 1434.68045号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；罗伯托·祖尼诺 7 2015 论不诚实制度中合同的可实现性。 Zbl 1366.68198号 马西莫·巴托莱蒂；埃米利奥·托斯托；罗伯托·祖尼诺 6 2012 在莫德对面向合同的系统进行建模和验证。 Zbl 1366.68197号 马西莫·巴托莱蒂；莫里齐奥·穆尔吉亚；阿尔切斯特·斯卡拉斯；罗伯托·祖尼诺 6 2014 资源使用分析的类型和效果。 Zbl 1195.68027号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 6 2007 协议和保护理论。 Zbl 1390.68066号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；罗伯托·祖尼诺 6 2013 CO\（_2）中的合同导向计算。 Zbl 1424.68097号 马西莫·巴托莱蒂；埃米利奥·托斯托；罗伯托·祖尼诺 5 2012 面向合同的系统的可验证抽象。 Zbl 1353.68194号 马西莫·巴托莱蒂；莫里齐奥·穆尔吉亚；阿尔切斯特·斯卡拉斯；罗伯托·祖尼诺 5 2017 在活动结构上签订游戏合同。 Zbl 1352.68174号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；米歇尔·平纳。；罗伯托·祖尼诺 5 2016 事件结构中的循环因果关系。 Zbl 1334.68145号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；G.Michele Pinna；罗伯托·祖尼诺 4 2014 通过打字诚实。 Zbl 1448.68327号 马西莫·巴托莱蒂；阿尔切斯特·斯卡拉斯；埃米利奥·托斯托；罗伯托·祖尼诺 4 2016 模型检查使用策略。 Zbl 1361.68133号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 4 2015 \（\nu\）-效果和新鲜度分析的类型。 Zbl 1250.68085号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 2 2009 安全的服务编排。 Zbl 1195.68015号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 2 2007 削弱了Dolev-Yao对手的完美加密假设。 Zbl 1068.94023号 罗伯托·祖尼诺；迪加诺，皮尔保罗 2 2005 在协议分析中处理exp、\（\时间\）（和时间戳）。 Zbl 1180.94066号 罗伯托·祖尼诺；迪加诺，皮尔保罗 1 2006 弱粘结剂的艰苦生活。 Zbl 1291.68278号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 1 2009 计算生化反应灵敏度的有效有限差分方法。 Zbl 1407.92009号 Vo Hong Thanh先生；罗伯托·祖尼诺；科拉多·普里亚米 1 2018 通过逻辑签订合同协议。 Zbl 1464.68226号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；保罗·迪·吉安贝拉迪诺；罗伯托·祖尼诺 1 2013 验证递归比特币合约的流动性。 Zbl 07471711号 马西莫·巴托莱蒂；斯特凡诺·兰德；莫里齐奥·穆尔吉亚；罗伯托·祖尼诺 1 2022 验证递归比特币合约的流动性。 Zbl 07471711号 马西莫·巴托莱蒂；斯特凡诺·兰德；莫里齐奥·穆尔吉亚；罗伯托·祖尼诺 1 2022 计算生化反应灵敏度的有效有限差分方法。 Zbl 1407.92009号 Vo Hong Thanh先生；罗伯托·祖尼诺；科拉多·普里亚米 1 2018 面向合同的系统的可验证抽象。 Zbl 1353.68194号 马西莫·巴托莱蒂；毛里齐奥·穆尔吉亚；阿尔切斯特·斯卡拉斯；罗伯托·祖尼诺 5 2017 在活动结构上签订游戏合同。 Zbl 1352.68174号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；米歇尔·平纳。；罗伯托·祖尼诺 5 2016 通过打字诚实。 Zbl 1448.68327号 马西莫·巴托莱蒂；阿尔切斯特·斯卡拉斯；埃米利奥·托斯托；罗伯托·祖尼诺 4 2016 行为合同的合规性：简要调查。 Zbl 1434.68045号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；罗伯托·祖尼诺 7 2015 模型检查使用策略。 Zbl 1361.68133号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 4 2015 会话类型的语义解构。 Zbl 1417.68115号 马西莫·巴托莱蒂；阿尔切斯特·斯卡拉斯；罗伯托·祖尼诺 12 2014 在莫德对面向合同的系统进行建模和验证。 Zbl 1366.68197号 马西莫·巴托莱蒂；莫里齐奥·穆尔吉亚；阿尔切斯特·斯卡拉斯；罗伯托·祖尼诺 6 2014 事件结构中的循环因果关系。 Zbl 1334.68145号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；G.Michele Pinna；罗伯托·祖尼诺 4 2014 协议和保护理论。 Zbl 1390.68066号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；罗伯托·祖尼诺 6 2013 通过逻辑签订合同协议。 Zbl 1464.68226号 马西莫·巴托莱蒂；蒂齐亚娜·西莫利；保罗·迪·吉安贝拉迪诺；罗伯托·祖尼诺 1 2013 论不诚实制度中合同的可实现性。 Zbl 1366.68198号 马西莫·巴托莱蒂；埃米利奥·托斯托；罗伯托·祖尼诺 6 2012 CO\（_2）中的合同导向计算。 Zbl 1424.68097号 马西莫·巴托莱蒂；埃米利奥·托斯托；罗伯托·祖尼诺 5 2012 \（\nu\）-效果和新鲜度分析的类型。 Zbl 1250.68085号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 2 2009 弱粘结剂的艰苦生活。 Zbl 1291.68278号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 1 2009 资源使用分析的类型和效果。 Zbl 1195.68027号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 6 2007 安全的服务编排。 Zbl 1195.68015号 马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 2 2007 在协议分析中处理exp、\（\时间\）（和时间戳）。 Zbl 1180.94066号 罗伯托·祖尼诺；迪加诺，皮尔保罗 1 2006 削弱了Dolev-Yao对手的完美加密假设。 Zbl 1068.94023号 罗伯托·祖尼诺；迪加诺，皮尔保罗 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名被83位作者引用 10 马西莫·巴托莱蒂 8 吉安·路易吉，法拉利 7 罗伯托·祖尼诺 6 迪加诺，皮尔保罗 6 莫里齐奥·穆尔吉亚 6 埃米利奥·托斯托 4 大卫·巴兹勒 三 佛朗哥·巴巴内拉 三 吉安卢卡·梅泽蒂 三 佩雷斯（Jorge A.Pérez）。 三 阿尔切斯特·斯卡拉斯 2 蒂齐亚娜·西莫利 2 西尔维娅·吉勒赞 2 罗伯托·瓜纳切莱 2 伊万·拉内斯 2 雨果·A·洛佩兹。 2 约万卡·潘托维奇 2 G.Michele Pinna 2 丹尼尔·斯特罗洛 2 莫里斯·比克。 2 吉田、Nobuko 1 佩德罗·阿德奥 1 安德森·戴维·弗雷德里克 1 吉安卡洛·比吉 1 劳拉·博奇 1 博迪，恰拉 1 米歇尔·博雷尔 1 保罗·波托尼 1 安德烈亚·克拉克·布拉夏利 1 罗伯托·布鲁尼 1 毛里西奥·卡诺 1 马尔科·卡博尼 1 伊利亚州卡斯特拉尼 1 文森佐·西安西亚 1 吉尔勒米纳·克莱杜 1 洛科·德尼古拉 1 瑟伦·德博伊斯 1 斯特凡尼德劳恩 1 乌戈·德利古罗 1 Deniélou、Pierre-Malo 1 马里亚纽拉州Dezani-Ciancaglini 1 保罗·迪·吉安贝拉迪诺 1 杜宇月 1 盖列塔，莱特里奥 1 罗尔夫·亨尼克 1 托马斯·希尔德布兰特。 1 胡强 1 Jakšić，斯维特拉娜 1 Juan C.Jaramillo。 1 安娜·拉布拉 1 帕斯卡·拉福卡德 1 斯特凡诺·兰德 1 科西莫·拉内夫 1 朱利安·兰格 1 米歇尔·洛雷蒂 1 丹尼斯·卢吉兹 1 马丁·奥列特，纳西索 1 法比奥·马蒂内利 1 保罗·C·马特乌斯。 1 伊拉里亚·马特尤奇 1 乔瓦尼·米奇 1 伊莎贝尔·皮塔 1 科拉多·普里亚米 1 何塞·普伦萨 1 罗萨里奥Pugliese 1 Pun，Ka一。 1 卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波 1 鲁宾·鲁比奥 1 卡米洛·鲁埃达 1 弗朗西斯科·桑蒂尼 1 斯莱亚特，蒂杰斯 1 马丁·斯特芬 1 沃尔克·斯托尔茨 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 拉尔夫·特里宁 1 范·贝克尔，斯特芬 1 阿尔贝托·维尔德乔 1 雨果·托雷斯·维埃拉 1 卢卡·维甘诺 1 于淑霞 1 袁朝杰 1 祖尼诺，罗伯罗 全部的 前5名10篇连载文章中引用 11 程序设计中的逻辑和代数方法杂志 5 计算机科学中的逻辑方法 2 信息学报 2 理论计算机科学 1 信息科学 1 SIAM数值分析杂志 1 计算机程序设计科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 全部的 前5名在9个字段中引用 41 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文