编辑配置文件（在新选项卡中打开） 马西莫·巴托莱蒂 合著者距离 作者ID: 巴托莱蒂·马西莫 发布日期： 马西莫·巴托莱蒂 外部链接： ORCID公司 已编制索引的文档： 37出版物自2003年起 4作为编辑的贡献 合著者： 31位合著者具有40联合出版物 454位合作作者 全部的 前5名合著者 1 单作者的 20 罗伯托·祖尼诺 10 皮耶保罗·德加诺 9 蒂齐亚娜·西莫利 9 吉安·路易吉，法拉利 8 莫里齐奥·穆尔吉亚 6 阿尔切斯特·斯卡拉斯 4 卢多维奇·亨利奥 4 索菲亚·奈特 4 G.Michele Pinna 三 劳拉·博奇 三 卢赫·拉富恩特，阿尔贝托 三 埃米利奥·托斯托 三 维埃拉、雨果·托雷斯 2 蒋新宇 2 保罗·迪·吉安贝拉迪诺 1 安德烈亚·克拉克·布拉夏利 1 伊利亚州卡斯特拉尼 1 蒋新余·詹姆斯 1 Deniélou、Pierre-Malo 1 马里亚纽拉州Dezani-Ciancaglini 1 盖列塔，莱特里奥 1 西尔维娅·吉勒赞 1 斯特凡诺·兰德 1 克里斯蒂安·勒波雷 1 约万卡·潘托维奇 1 佩雷斯（Jorge A.Pérez）。 1 亚历山德罗·波达 1 利维奥·蓬皮亚努 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 罗贝罗·祖尼诺 全部的 前5名系列 6 计算机科学中的逻辑方法 5 程序设计中的逻辑和代数方法杂志 2 理论计算机科学电子论文集（EPTCS） 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 计算机科学科学年鉴 领域 39 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 总体主题；集合（00-XX） 4 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用117中的次53文件 引用人▼ 年份▼ 会话类型的语义解构。 Zbl 1417.68115号 马西莫·巴托莱蒂;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 12 2014 借出Petri网和合同。 Zbl 1434.68321号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna 10 2013 将行为类型与安全分析相结合。 兹比尔1330.68045 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 行为合同合规性：简要调查。 Zbl 1434.68045号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;罗伯托·祖尼诺 7 2015 关于不诚实系统中合同的可实现性。 Zbl 1366.68198号 马西莫·巴托莱蒂;埃米利奥·托斯托;罗伯托·祖尼诺 6 2012 协议和保护理论。 Zbl 1390.68066号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;罗伯托·祖尼诺 6 2013 资源使用分析的类型和效果。 Zbl 1195.68027号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 6 2007 在莫德对面向合同的系统进行建模和验证。 Zbl 1366.68197号 马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 6 2014 CO\（_2）中的合同导向计算。 Zbl 1424.68097号 马西莫·巴托莱蒂;埃米利奥·托斯托;罗伯托·祖尼诺 5 2012 面向合同的系统的可验证抽象。 兹比尔1353.68194 马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 5 2017 在活动结构上签订游戏合同。 Zbl 1352.68174号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳。;罗伯托·祖尼诺 5 2016 定时会话类型中的合规性和子类型。 Zbl 1347.68025号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;莫里齐奥·穆尔吉亚;亚历山德罗·波达;利维奥·蓬皮亚努 5 2015 DeFi中的自动做市商理论。 Zbl 07639908号 马西莫·巴托莱蒂;蒋新余·詹姆斯;阿尔贝托·卢奇·拉富恩特 5 2022 通过打字诚实。 Zbl 1448.68327号 马西莫·巴托莱蒂;阿尔切斯特·斯卡拉斯;埃米利奥·托斯托;罗伯托·祖尼诺 4 2016 模型检查使用策略。 Zbl 1361.68133号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 4 2015 事件结构中的循环因果关系。 Zbl 1334.68145号 马西莫·巴托莱蒂;蒂齐亚纳西莫利;G.Michele Pinna;罗伯托·祖尼诺 4 2014 使用自动机。 兹比尔1252.68162 马西莫·巴托莱蒂 三 2009 定时会话类型。 Zbl 1398.68356号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;莫里齐奥·穆尔吉亚 三 2017 \（\nu\）-效果和新鲜度分析的类型。 Zbl 1250.68085号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2009 安全的服务编排。 Zbl 1195.68015号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2007 最大化自动化做市商的可提取价值。 Zbl 1515.91145号 马西莫·巴托莱蒂;蒋新宇;卢赫·拉富恩特，阿尔贝托 1 2022 LTS工作台。 Zbl 1433.68260号 阿尔切斯特·斯卡拉斯;马西莫·巴托莱蒂 1 2015 基于历史的访问控制和本地策略。 Zbl 1118.68404号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 SoK：分散金融中的贷款池。 Zbl 1492.91443号 马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢奇·拉富恩特 1 2021 检查风险事件对于当地政策来说已经足够了。 Zbl 1171.68406号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 弱粘结剂的艰苦生活。 兹比尔1291.68278 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 1 2009 通过逻辑达成合同协议。 Zbl 1464.68226号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;保罗·迪·吉安贝拉迪诺;罗伯托·祖尼诺 1 2013 进展——CTA的改进。 Zbl 1520.68087号 马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚 1 2018 验证递归比特币合约的流动性。 Zbl 07471711号 马西莫·巴托莱蒂;斯特凡诺·兰德;毛里齐奥·穆尔吉亚;罗伯托·祖尼诺 1 2022 DeFi中的自动做市商理论。 Zbl 07639908号 马西莫·巴托莱蒂;蒋新余·詹姆斯;阿尔贝托·卢奇·拉富恩特 5 2022 最大化自动化做市商的可提取价值。 Zbl 1515.91145号 马西莫·巴托莱蒂;蒋新宇;卢赫·拉富恩特，阿尔贝托 1 2022 验证递归比特币合约的流动性。 Zbl 07471711号 马西莫·巴托莱蒂;斯特凡诺·兰德;莫里齐奥·穆尔吉亚;罗伯托·祖尼诺 1 2022 SoK：分散金融中的贷款池。 Zbl 1492.91443号 马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢奇·拉富恩特 1 2021 CTA的进步保留改进。 Zbl 1520.68087号 马西莫·巴托莱蒂;劳拉·博奇;毛里齐奥·穆尔吉亚 1 2018 面向合同的系统的可验证抽象。 Zbl 1353.68194号 马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 5 2017 定时会话类型。 Zbl 1398.68356号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;莫里齐奥·穆尔吉亚 三 2017 在活动结构上签订游戏合同。 兹比尔1352.68174 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳。;罗伯托·祖尼诺 5 2016 通过打字诚实。 Zbl 1448.68327号 马西莫·巴托莱蒂;阿尔切斯特·斯卡拉斯;埃米利奥·托斯托;罗伯托·祖尼诺 4 2016 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 行为合同的合规性：简要调查。 Zbl 1434.68045号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;罗伯托·祖尼诺 7 2015 定时会话类型中的符合性和分类型。 Zbl 1347.68025号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;莫里齐奥·穆尔吉亚;亚历山德罗·波达;利维奥·蓬皮亚努 5 2015 模型检查使用策略。 Zbl 1361.68133号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 4 2015 LTS工作台。 Zbl 1433.68260号 斯卡拉斯，阿尔凯斯特;马西莫·巴托莱蒂 1 2015 会话类型的语义解构。 Zbl 1417.68115号 马西莫·巴托莱蒂;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 12 2014 在莫德对面向合同的系统进行建模和验证。 Zbl 1366.68197号 马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 6 2014 事件结构中的循环因果关系。 Zbl 1334.68145号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna;罗伯托·祖尼诺 4 2014 借出Petri网和合同。 Zbl 1434.68321号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna 10 2013 协议和保护理论。 Zbl 1390.68066号 马西莫·巴托莱蒂;蒂齐亚纳西莫利;罗伯托·祖尼诺 6 2013 通过逻辑签订合同协议。 Zbl 1464.68226号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;保罗·迪·吉安贝拉迪诺;罗伯托·祖尼诺 1 2013 关于不诚实系统中合同的可实现性。 Zbl 1366.68198号 马西莫·巴托莱蒂;埃米利奥·托斯托;罗伯托·祖尼诺 6 2012 CO\（_2）中的合同导向计算。 Zbl 1424.68097号 马西莫·巴托莱蒂;埃米利奥·托斯托;罗伯托·祖尼诺 5 2012 使用自动机。 Zbl 1252.68162号 马西莫·巴托莱蒂 三 2009 \（\nu\）-效果和新鲜度分析的类型。 Zbl 1250.68085号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2009 弱粘结剂的艰苦生活。 Zbl 1291.68278号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 1 2009 资源使用分析的类型和效果。 Zbl 1195.68027号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 6 2007 安全的服务编排。 Zbl 1195.68015号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2007 基于历史的访问控制和本地策略。 兹比尔1118.68404 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 检查风险事件对于当地政策来说已经足够了。 兹比尔1171.68406 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 所有引用出版物 前5名被引用出版物 全部的 前5名89位作者引用 11 马西莫·巴托莱蒂 9 吉安·路易吉，法拉利 8 罗伯托·祖尼诺 7 皮耶保罗·德加诺 6 佩雷斯（Jorge A.Pérez）。 6 埃米利奥·托斯托 5 莫里齐奥·穆尔吉亚 4 大卫·巴兹勒 三 佛朗哥·巴巴内拉 三 马里亚纽拉州Dezani-Ciancaglini 三 西尔维娅·吉勒赞 三 吉安卢卡·梅泽蒂 三 约万卡·潘托维奇 三 G.Michele Pinna 三 阿尔切斯特·斯卡拉斯 三 吉田、Nobuko 2 伊利亚州卡斯特拉尼 2 蒂齐亚娜·西莫利 2 罗伯特·瓜夏莱 2 斯维特拉纳·雅克西奇 2 伊万·拉内斯 2 卢赫·拉富恩特，阿尔贝托 2 雨果·A·洛佩兹。 2 伊拉里亚·马特尤奇 2 卢卡·帕多瓦尼 2 丹妮尔·斯特罗洛 2 莫里斯·比克。 2 雨果·托雷斯·维埃拉 1 Clément伯特兰 1 吉安卡洛·比吉 1 劳拉·博奇 1 博迪，恰拉 1 米歇尔·博雷尔 1 保罗·波托尼 1 安德烈亚·克拉克·布拉夏利 1 罗伯托·布鲁尼 1 毛里西奥·卡诺 1 马尔科·卡博尼 1 蒋新余·詹姆斯 1 文森佐·西安西亚 1 马蒂奥·奇米尼 1 吉尔勒米纳·克莱杜 1 马里奥·科普 1 加布里埃尔·科斯塔 1 达斯，安库什 1 洛科·德尼古拉 1 瑟伦·德博伊斯 1 乌戈·德利古罗 1 Deniélou、Pierre-Malo 1 保罗·迪·吉安贝拉迪诺 1 杜宇月 1 盖列塔，莱特里奥 1 罗尔夫·亨尼克 1 托马斯·希尔德布兰特。 1 胡强 1 Juan C.Jaramillo。 1 汉娜·克劳代尔 1 安娜·拉布拉 1 斯特凡诺·兰德 1 科西莫·拉内夫 1 朱利安·兰格 1 米歇尔·洛雷蒂 1 马丁·奥列特，纳西索 1 法比奥·马丁内利 1 主人，杰德 1 乔瓦尼·米奇 1 丹尼尔·南特 1 弗莱明·尼尔森 1 弗雷德里克·佩申斯基 1 弗兰克·芬宁 1 伊莎贝尔·皮塔 1 普里阿米，科拉多 1 何塞·普伦萨 1 罗萨里奥·普格利泽 1 Ka I.潘。 1 卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波 1 蕾丝·尼尔森，Hanne 1 鲁宾·鲁比奥 1 卡米洛·鲁埃达 1 弗朗西斯科·桑蒂尼 1 克里斯蒂安·斯卡尔卡 1 斯莱亚特，蒂杰斯 1 马丁·斯特芬 1 沃尔克·斯托尔茨 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 范·贝克尔，斯特芬 1 阿尔贝托·维尔德乔 1 于淑霞 全部的 前5名12篇连载文章中引用 11 程序设计中的逻辑和代数方法杂志 7 计算机科学中的逻辑方法 三 MSCS公司。计算机科学中的数学结构 2 信息学报 2 计算的形式方面 1 计算机与数学及其应用 1 信息科学 1 理论计算机科学 1 计算机程序设计科学 1 函数编程杂志 1 高阶与符号计算 1 逻辑与代数程序设计杂志 全部的 前5名在6个字段中引用 53 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 范畴理论；同调代数（18-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文