编辑配置文件(在新选项卡中打开) 马可·蒙塔利 合著者距离 作者ID: 蒙塔利马科 发布日期: 马可·蒙塔利 外部链接: ORCID公司 编入索引的文档: 30份出版物自2008年以来,包括1本书 3作为编辑的贡献 合著者: 37位合著者具有32联合出版物 499合著作者 全部的 前5名合著者 1 单作者的 13 迭戈·卡尔瓦内斯 10 保罗·梅洛 10 安德烈·里夫金 9 费德里科·切萨尼 7 保罗·托罗尼 6 西尔维奥·吉拉尔迪 6 亚历山德罗·吉亚诺拉 5 保罗·费利 三 朱塞佩·德贾科莫 三 里卡多·德·马塞利斯 三 伊芙琳娜·拉姆玛 三 法布里奇奥·玛丽亚·马吉 2 马尔科·阿尔贝蒂 2 巴巴克·巴赫里·哈里里 2 迪弗朗西斯科马利诺,恰拉 2 马龙·杜马 2 保罗·福多 2 马可·加瓦内利 2 基亚拉·吉迪尼 2 Polyvyany,Artem公司 2 塞尔吉奥·特萨利斯 2 van der Werf,Jan Martijn E.M。 1 帕罗什·阿齐兹·阿卜杜拉 1 Stefano Bragaglia 1 沃哈·布莱尔 1 塞兰、伊斯梅尔·伊尔坎 1 马西米利亚诺·德·利奥尼 1 乔治·德尔扎诺 1 朱利亚·格兰德勒 1 达妮埃拉·洛雷蒂 1 法比奥·帕特里齐 1 毛里齐奥·普罗埃蒂 1 罗马人、杜米特鲁 1 阿里奥·桑托索 1 塞尔吉奥·斯托拉里 1 莎拉·温克勒 1 尼古拉·赞诺 全部的 前5名系列 7 计算机基础理论 2 自动推理杂志 2 逻辑程序设计理论与实践 1 信息与计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 人工智能研究杂志 1 多代理和网格系统 1 计算机科学课堂讲稿 1 商业信息处理课程讲稿 领域 33 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 4 运筹学、数学规划(90-XX) 三 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用97中的次48文件 引用人▼ 年份▼ 从模型完整性到数据感知流程的验证。 Zbl 1443.68103号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 16 2019 模型完整性、覆盖和叠加。 Zbl 07178974号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2019 基于SMT的数据软件过程验证:一种模型理论方法。 Zbl 1495.68129号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2020 描述逻辑知识和行动基础。 Zbl 1280.68249号 巴巴克·巴赫里·哈里里;迭戈·卡尔瓦内斯;马可·蒙塔利;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利 9 2013 使用以数据为中心的动态系统对具有名称的Petri网进行模型检查。 Zbl 1345.68236号 马可·蒙塔利;安德烈·里夫金 8 2016 一般转换系统上的一阶演算及其在情形演算中的应用。 Zbl 1390.68462号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;马可·蒙塔利;法比奥·帕特里齐 8 2018 声明性开放交互模型的规范和验证。基于逻辑的方法。 Zbl 1252.68021号 马可·蒙塔利 5 2010 使用逻辑编程验证声明性规范。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛 5 2008 具有可变到可变条件的数据感知过程模型的健全性验证。 Zbl 1522.68314号 保罗·费利;马西米利亚诺·德·利奥尼;马可·蒙塔利 5 2021 及时的社会承诺:满足或补偿。 Zbl 1274.68592号 保罗·托罗尼;费德里科·切萨尼;梅洛,保拉;马可·蒙塔利 4 2010 基于逻辑的反应式事件演算。 Zbl 1209.68520号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 4 2010 用于监控全局计算应用程序的反应事件演算。 Zbl 1356.68214号 斯特凡诺·布拉加格里亚;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 2 2012 关于将声明性编舞和基于承诺的代理社会集成到SCIFF逻辑编程框架中。 Zbl 1205.68438号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;塞尔吉奥·斯托拉里;保罗·托罗尼 2 2010 模型完备性、一致插值和叠加演算。(应用于验证数据软件过程)。 Zbl 07433024号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 2 2021 \({\mathcal B}\)-对流层。面向代理的需求工程满足声明性业务流程建模和验证的计算逻辑。 Zbl 1175.68453号 沃哈·布莱尔;保罗·梅洛;马可·蒙塔利;保罗·托罗尼;尼古拉·赞诺 1 2009 验证描述逻辑知识和行动基础。 Zbl 1327.68272号 哈里里,巴巴克·巴赫里;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利;马可·蒙塔利 1 2012 组合封面和Beth可定义性。 Zbl 07614513号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2020 语义DMN:用领域知识形式化决策模型。 Zbl 1490.68215号 迭戈·卡尔瓦内斯;马龙·杜马;法布里齐奥·马吉(Fabrizio M.Maggi)。;马可·蒙塔利 1 2017 通过Beth可定义性组合均匀插值。 Zbl 07606344号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2022 通过Beth可定义性组合均匀插值。 Zbl 07606344号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2022 可变条件下数据软件过程模型的稳健性验证。 兹比尔1522.68314 保罗·费利;马西米利亚诺·德·利奥尼;马可·蒙塔利 5 2021 模型完备性、一致插值和叠加演算。(应用于验证数据软件过程)。 Zbl 07433024号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 2 2021 基于SMT的数据软件过程验证:一种模型理论方法。 Zbl 1495.68129号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2020 组合封面和Beth可定义性。 Zbl 07614513号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2020 从模型完整性到数据感知流程的验证。 Zbl 1443.68103号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 16 2019 模型完整性、覆盖和叠加。 Zbl 07178974号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2019 一般转换系统上的一阶演算及其在情形演算中的应用。 Zbl 1390.68462号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;马可·蒙塔利;法比奥·帕特里齐 8 2018 语义DMN:用领域知识形式化决策模型。 Zbl 1490.68215号 迭戈·卡尔瓦内斯;马龙·杜马;法布里齐奥·马吉(Fabrizio M.Maggi)。;马可·蒙塔利 1 2017 使用以数据为中心的动态系统对具有名称的Petri网进行模型检查。 Zbl 1345.68236号 马可·蒙塔利;安德烈·里夫金 8 2016 描述逻辑知识和行动基础。 Zbl 1280.68249号 巴巴克·巴赫里·哈里里;迭戈·卡尔瓦内斯;马可·蒙塔利;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利 9 2013 用于监控全局计算应用程序的反应事件演算。 Zbl 1356.68214号 斯特凡诺·布拉加格里亚;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 2 2012 验证描述逻辑知识和动作库。 兹比尔1327.68272 哈里里,巴巴克·巴赫里;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利;马可·蒙塔利 1 2012 声明性开放交互模型的规范和验证。基于逻辑的方法。 Zbl 1252.68021号 马可·蒙塔利 5 2010 及时的社会承诺:满足或补偿。 Zbl 1274.68592号 保罗·托罗尼;费德里科·切萨尼;保罗·梅洛;马可·蒙塔利 4 2010 基于逻辑的反应式事件演算。 Zbl 1209.68520号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;保罗·托罗尼 4 2010 关于将声明性编舞和基于承诺的代理社会集成到SCIFF逻辑编程框架中。 Zbl 1205.68438号 费德里科·切萨尼;保罗·梅洛;马可·蒙塔利;塞尔吉奥·斯托拉里;保罗·托罗尼 2 2010 \({\mathcal B}\)-对流层。面向代理的需求工程满足声明性业务流程建模和验证的计算逻辑。 Zbl 1175.68453号 沃哈·布莱尔;保罗·梅洛;马可·蒙塔利;保罗·托罗尼;尼古拉·赞诺 1 2009 使用逻辑编程验证声明性规范。 Zbl 1185.68419号 马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆玛;保罗·梅洛 5 2008 所有引用出版物 前5名被引用出版物 全部的 前5名109位作者引用 14 马可·蒙塔利 9 安德烈·里夫金 7 迭戈·卡尔瓦内斯 6 西尔维奥·吉拉尔迪 6 亚历山德罗·吉亚诺拉 5 保罗·托罗尼 4 朱塞佩·德贾科莫 三 托马斯·希尔德布兰特。 三 奥祖尔·卡法尔 三 法比奥·帕特里齐 三 斯莱亚特,蒂杰斯 2 马尔科·阿尔贝蒂 2 瑟伦·德博伊斯 2 保罗·费利 2 劳拉·佐丹奴 2 阿尔贝托·马泰利 2 保罗·梅洛 2 Polyvyany,Artem公司 2 van der Werf,Jan Martijn E.M。 1 亚历克斯·阿布因 1 亚西内·阿米拉特 1 亚历山德罗·阿塔尔 1 亚历山大·阿提基斯 1 鲍姆加特纳 1 西蒙,布利兹 1 亚历山大·博洛托夫 1 Broersen,Jan M。 1 沃哈·布莱尔 1 胡里奥·卡拉斯克尔。 1 克劳迪娅·考利 1 费德里科·切萨尼 1 阿卜杜勒加尼·奇巴尼 1 斯蒂芬·克雷菲尔德 1 马西米利亚诺·德·利奥尼 1 吕克·德·雷德 1 皮耶朗基罗·德尔·阿夸 1 邓玉欣 1 尤尔根·迪克斯 1 克莱门斯·杜伯斯拉夫 1 马龙·杜马 1 叶希亚·埃尔拉凯比 1 德克·法兰德 1 迈克尔·费希尔 1 加贝,多夫·M。 1 马可·加瓦内利 1 亚历杭德罗·格雷兹 1 大卫·格罗西 1 蒙特塞拉特赫莫 1 侯泽晨 1 让·克里斯托夫·荣格 1 迪帕克·卡普尔 1 帕特里克·科普曼 1 阿德里安·库索斯 1 伊芙琳娜·拉姆玛 1 伊夫莱斯佩伦斯 1 刘、莫 1 布赖恩·洛根 1 伊琳娜·洛马佐娃(Irina A.Lomazova)。 1 埃米利亚诺·洛里尼 1 帕基,卢西奥 1 艾瑞克·马德琳 1 法布里奇奥·玛丽亚·马吉 1 埃文格洛斯·马克里斯 1 费利克斯·曼哈特 1 安德烈亚·马祖洛 1 哈利勒Mecheraoui 1 乔治·梅特卡夫 1 路易斯·莫尼兹·佩雷拉 1 拉加瓦·拉奥·穆卡马拉 1 马格达莱娜·奥尔蒂斯 1 安娜·奥扎基 1 阿南塔·帕德马纳巴 1 乔治·巴利乌拉斯 1 家长,Xavier 1 西奥多·帕特科斯 1 尼尔·皮特曼 1 普列克索萨基斯,迪米特里斯 1 秦旭东 1 拉马努贾姆,R。 1 Jean-François拉斯金 1 卢卡·雷吉奥 1 Hajo A.Reijers。 1 雷·赖特 1 克里斯蒂安·里韦罗斯 1 塞巴斯蒂安·萨迪纳 1 弗朗索瓦州施瓦岑特鲁伯 1 纳塔利亚·西多罗娃 1 多米尼克·索默斯 1 尼古拉·苏沃罗夫(Nikolai M.Suvorov)。 1 尤金妮亚·特诺夫斯卡 1 塞塞迪尔·杜普雷,丹尼尔 1 弗朗西丝卡·托尼 1 卢卡·图莫利尼 1 安妮·亚斯敏(Anni-Yasmin Turhan) 1 保罗·图里尼 1 马丁·乌加特 1 Wil M.P.范德阿尔斯特。 1 范德托雷,Leendert W.N。 1 van Dongen,Boudewijn F。 1 斯塔夫罗斯·瓦索斯 …还有9位作者 全部的 前5名18篇连载文章中引用 5 数学与人工智能年鉴 2 信息学报 2 信息与计算 2 自动推理杂志 2 计算的形式方面 2 计算机基础理论 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 计算 1 计算机与系统科学杂志 1 符号逻辑杂志 1 Studia Logica公司 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 Modelirovanie i Analiz信息系统 全部的 前5名在6个字段中引用 46 计算机科学(68至XX) 5 运筹学、数学规划(90-XX) 4 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 系统论;控制(93至XX) 按年份列出的引文