编辑配置文件(在新选项卡中打开) 马西莫·巴托莱蒂 合著者距离 作者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 将行为类型与安全分析相结合。 Zbl 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 1366.68197号 马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 6 2014 资源使用情况分析的类型和效果。 兹比尔1195.68027 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利;罗伯托·祖尼诺 6 2007 协议和保护理论。 Zbl 1390.68066号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;罗伯托·祖尼诺 6 2013 CO\(_2)中的合同导向计算。 Zbl 1424.68097号 马西莫·巴托莱蒂;埃米利奥·托斯托;罗伯托·祖尼诺 5 2012 定时会话类型中的合规性和子类型。 Zbl 1347.68025号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;莫里齐奥·穆尔吉亚;亚历山德罗·波达;利维奥·蓬皮亚努 5 2015 面向合同的系统的可验证抽象。 Zbl 1353.68194号 马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 5 2017 在活动结构上签订游戏合同。 Zbl 1352.68174号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳。;罗伯托·祖尼诺 5 2016 DeFi中的自动做市商理论。 Zbl 07639908号 马西莫·巴托莱蒂;蒋新余·詹姆斯;阿尔贝托·卢奇·拉富恩特 5 2022 事件结构中的循环因果关系。 Zbl 1334.68145号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna;罗伯托·祖尼诺 4 2014 通过打字诚实。 Zbl 1448.68327号 马西莫·巴托莱蒂;阿尔切斯特·斯卡拉斯;埃米利奥·托斯托;罗伯托·祖尼诺 4 2016 模型检查使用策略。 Zbl 1361.68133号 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利;罗伯托·祖尼诺 4 2015 使用自动机。 Zbl 1252.68162号 马西莫·巴托莱蒂 三 2009 定时会话类型。 Zbl 1398.68356号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;莫里齐奥·穆尔吉亚 三 2017 \(\nu\)-效果和新鲜度分析的类型。 Zbl 1250.68085号 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利;罗伯托·祖尼诺 2 2009 安全的服务编排。 Zbl 1195.68015号 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利;罗伯托·祖尼诺 2 2007 检查风险事件对于当地政策来说已经足够了。 Zbl 1171.68406号 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利 1 2005 弱粘结剂的艰苦生活。 兹比尔1291.68278 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利;罗伯托·祖尼诺 1 2009 使用本地策略进行基于历史的访问控制。 兹比尔1118.68404 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利 1 2005 SoK:分散金融中的贷款池。 Zbl 1492.91443号 马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢奇·拉富恩特 1 2021 通过逻辑签订合同协议。 Zbl 1464.68226号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;保罗·迪·吉安贝拉迪诺;罗伯托·祖尼诺 1 2013 LTS工作台。 Zbl 1433.68260号 阿尔切斯特·斯卡拉斯;马西莫·巴托莱蒂 1 2015 进展——CTA的改进。 Zbl 1520.68087号 马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚 1 2018 验证递归比特币合约的流动性。 Zbl 07471711号 马西莫·巴托莱蒂;斯特凡诺·兰德;莫里齐奥·穆尔吉亚;罗伯托·祖尼诺 1 2022 最大化自动化做市商的可提取价值。 Zbl 1515.91145号 马西莫·巴托莱蒂;蒋新宇;卢赫·拉富恩特,阿尔贝托 1 2022 DeFi中的自动做市商理论。 Zbl 07639908号 马西莫·巴托莱蒂;蒋新余·詹姆斯;阿尔贝托·卢奇·拉富恩特 5 2022 验证递归比特币合约的流动性。 Zbl 07471711号 马西莫·巴托莱蒂;斯特凡诺·兰德;莫里齐奥·穆尔吉亚;罗伯托·祖尼诺 1 2022 最大化自动化做市商的可提取价值。 Zbl 1515.91145号 马西莫·巴托莱蒂;蒋新宇;卢赫·拉富恩特,阿尔贝托 1 2022 SoK:分散金融中的贷款池。 Zbl 1492.91443号 马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢奇·拉富恩特 1 2021 进展——CTA的改进。 Zbl 1520.68087号 马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚 1 2018 面向合同的系统的可验证抽象。 Zbl 1353.68194号 马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 5 2017 定时会话类型。 兹比尔1398.68356 马西莫·巴托莱蒂;蒂齐亚纳西莫利;莫里齐奥·穆尔吉亚 三 2017 在活动结构上签订游戏合同。 Zbl 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 论不诚实制度中合同的可实现性。 兹比尔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 检查风险事件对于当地政策来说已经足够了。 Zbl 1171.68406号 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利 1 2005 基于历史的访问控制和本地策略。 Zbl 1118.68404号 马西莫·巴托莱蒂;迪加诺,皮尔保罗;吉安·路易吉,法拉利 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 Jakšić,斯维特拉娜 2 伊万·拉内斯 2 卢赫·拉富恩特,阿尔贝托 2 雨果·A·洛佩兹。 2 伊拉里亚·马特尤奇 2 卢卡·帕多瓦尼 2 丹尼尔·斯特罗洛 2 莫里斯·比克。 2 雨果·托雷斯·维埃拉 1 Clément伯特兰 1 吉安卡洛·比吉 1 劳拉·博奇 1 博迪,恰拉 1 米歇尔·博雷尔 1 保罗·波托尼 1 安德烈亚·克拉克·布拉夏利 1 罗伯托·布鲁尼 1 毛里西奥·卡诺 1 马尔科·卡博尼 1 蒋新余·詹姆斯 1 Ciancia,文森佐 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 罗萨里奥Pugliese 1 Ka I.潘。 1 卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波 1 汉内·里斯·尼尔森 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) 按年份列出的引文