编辑配置文件（在新选项卡中打开） 米歇尔·齐亚里 合著者距离 作者ID： 奇亚里·米切尔 发布日期： 米歇尔·齐亚里 已编制索引的文档： 6出版物自2018年以来 合著者： 7合著者具有6联合出版物 80位合作作者 全部的 前5名合著者 0 单作者的 5 马蒂奥·普拉德拉 4 迪诺·曼德里奥利 1 阿布拉莫·巴格纳拉 1 罗伯特·巴格纳拉 1 法比奥·比塞利 1 罗伯塔·戈里 1 弗朗西斯科·蓬蒂吉亚 系列 1 理论计算机科学 1 约束条件 1 计算机科学中的逻辑方法 领域 6 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用14中的次8文件 引用人▼ 年份▼ 运算符优先时序逻辑和模型检查。 Zbl 1464.68197号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 7 2020 选择模型的结构化上下文无关语言。 Zbl 1493.68207号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 3 2021 运算符优先语言的时序逻辑和模型检查。 Zbl 1528.68215号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 3 2018 结构化无上下文语言的一阶完整时序逻辑。 Zbl 07577575号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 1 2022 结构化无上下文语言的一阶完整时序逻辑。 Zbl 07577575号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 1 2022 选择模型的结构化上下文无关语言。 Zbl 1493.68207号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 3 2021 操作员优先时序逻辑和模型检查。 Zbl 1464.68197号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 7 2020 运算符优先语言的时序逻辑和模型检查。 兹比尔1528.68215 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 3 2018 所有引用出版物 前5名被引用出版物 全部的 前5名被11位作者引用 5 马蒂奥·普拉德拉 4 米歇尔·齐亚里 4 迪诺·曼德里奥利 2 克里斯蒂娜·盖恩 2 Joost-Pieter卡托恩 2 托比亚斯·温克勒 1 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 1 克里斯蒂安·迪利茨 1 詹斯·奥利弗·古斯菲尔德 1 马库斯·穆勒·奥尔姆 1 弗朗西斯科·蓬蒂吉亚 3篇连载文章中引用 3 计算机科学中的逻辑方法 1 理论计算机科学 1 信息与计算 在2个字段中引用 8 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 按年份列出的引文