编辑配置文件(在新选项卡中打开) 克劳迪奥·蒙吉 合著者距离 作者ID: 蒙赫·克劳迪奥 发布日期: 克劳迪奥·蒙吉 编入索引的文档: 9出版物自2016年起 合著者: 13合著者具有9联合出版物 249名Co-Co作者 全部的 前5名合著者 0 单作者的 5 鲍拉·斯波莱蒂尼 4 卡洛·盖齐 三 安娜·伯纳斯科尼 2 马尔塞洛·玛丽亚·贝尔萨尼 2 玛莎·契契克 2 帕特里齐奥·佩利奇奥内 2 亚历山德罗·玛丽亚里兹 2 罗西(Matteo A.C.Rossi)。 1 塞尔吉奥·加西亚 1 Pierluigi San彼得罗 1 马蒂奥·索尔多 1 贾纳·Tůmová 1 Lenore D.扎克。 系列 三 计算的形式方面 1 ACM计算逻辑事务 字段 9 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用26中的次8文件 引用人▼ 年份▼ 从模型检查到部分模型的时间证明。 Zbl 1420.68118号 安娜·伯纳斯科尼;克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;Lenore D.扎克。;卡洛·盖齐 8 2017 不确定性下的多机器人LTL规划。 Zbl 1460.68119号 克劳迪奥·蒙吉;塞尔吉奥·加西亚;帕特里齐奥·佩利奇奥内;贾纳·图莫娃 6 2018 基于自动机的模型检测中的不完整性处理。 兹比尔1427.68170 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;卡洛·盖齐 5 2016 支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 4 2018 用于控制器迭代设计的验证驱动框架。 Zbl 1425.68262号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 2 2019 将拓扑证明与模型检查集成到仪器迭代设计中。 Zbl 1507.68195号 克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼 1 2020 将拓扑证明与模型检查集成到仪器迭代设计中。 Zbl 1507.68195号 克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼 1 2020 用于控制器迭代设计的验证驱动框架。 Zbl 1425.68262号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 2 2019 不确定性下的多机器人LTL规划。 Zbl 1460.68119号 克劳迪奥·蒙吉;塞尔吉奥·加西亚;帕特里齐奥·佩利奇奥内;贾纳·图莫娃 6 2018 支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 4 2018 从模型检查到部分模型的时间证明。 兹比尔1420.68118 安娜·伯纳斯科尼;克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;Lenore D.扎克。;卡洛·盖齐 8 2017 基于自动机的模型检测中的不完整性处理。 Zbl 1427.68170号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;卡洛·盖齐 5 2016 所有引用出版物 前5名被引用出版物 全部的 前5名20位作者引用 5 克劳迪奥·蒙吉 2 安娜·伯纳斯科尼 2 帕特里齐奥·佩利奇奥内 2 亚历山德罗·玛丽亚·里齐 2 鲍拉·斯波莱蒂尼 2 斯特凡诺·托内塔 1 克里斯特尔·拜尔 1 马尔塞洛·玛丽亚·贝尔萨尼 1 玛莎·契契克 1 亚历山德罗·西马蒂 1 弗洛里安·芬克 1 塞尔吉奥·加西亚 1 卡洛·盖齐 1 阿尔贝托·格里乔 1 西蒙·扬奇 1 罗西(Matteo A.C.Rossi)。 1 马可·罗维里 1 马蒂奥·索尔多 1 田,春 1 贾纳·Tůmová 2篇连载文章中引用 三 计算的形式方面 2 系统设计中的形式化方法 在4个字段中引用 8 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文