编辑配置文件（在新选项卡中打开） 皮埃特罗·萨拉 合著者距离 作者ID： 萨拉·皮埃特罗 发布日期： 皮埃特罗·萨拉;萨拉，P。 已编制索引的文档： 47出版物自2006年起 合著者： 18位合著者具有47联合出版物 403合著者 全部的 前5名合著者 0 单一作者 41 安吉洛·蒙塔纳里 15 大卫·布雷索林 15 圭多·西亚维科 11 劳拉·博泽利 11 阿德里亚诺·佩隆 10 黛拉·莫妮卡，达里奥 8 阿尔贝托·莫利纳里 5 加布里埃尔，小狗 三 卡洛·库比 三 瓦伦丁·F·戈兰科。 2 马可·巴扎利亚 1 大卫·巴罗齐尼 1 de Frutos Escrig，大卫 1 埃米利奥·穆尼奥斯·韦拉斯科 1 阿尼埃洛·穆拉诺 1 佩莱格林，梅赛德斯 1 罗密欧·里兹 1 Stan、Ionel Eduard 全部的 前5名系列 7 理论计算机科学 三 信息与计算 2 信息学报 2 计算机科学中的逻辑方法 1 人工智能 1 逻辑与计算杂志 1 国际计算机科学基础杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 ACM计算逻辑事务 1 应用逻辑杂志 领域 40 数学逻辑和基础（03-XX） 34 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用238次73文件 引用人▼ 年份▼ 稠密序上子区间结构的逻辑表。 Zbl 1188.03009号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 24 2010 Halpern和Shoham的区间模态逻辑的最大可判定片段。 Zbl 1288.03017号 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 22 2010 强离散线性序上的区间时序逻辑：表达性和复杂性。 Zbl 1335.03017号 大卫·布雷索林;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 14 2014 时间间隔与时间点逻辑模型检查：表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫里纳利;Angelo蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 12 2016 区间时态逻辑（运算符名{AB\上划线{B}}）对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉;圭多·西亚维科 11 2010 一种基于表的命题邻域逻辑最优决策算法。 Zbl 1141.03308号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉 11 2007 命题区间时序逻辑的一般表方法：理论与实现。 Zbl 1104.03010号 V.戈兰科。;A.蒙塔纳里。;萨拉，P。;Sciavicco，G。 10 2006 间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 Zbl 1475.68177号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 线性序上右命题邻域逻辑的最优表。 Zbl 1178.03030号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 7 2008 具有锥形基本方向的可判定空间逻辑。 Zbl 1257.03054号 安吉洛·蒙塔纳里;加布里埃尔，小狗;萨拉，彼得罗 7 2009 区间逻辑和\（\omega B\）-正则语言。 Zbl 1377.03026号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 7 2013 基于锥形基本方向的指南针逻辑的可判定弱化。 Zbl 1351.03014号 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 7 2015 向区间逻辑（AB\bar{B}）添加等价关系：复杂性和表达性。 Zbl 1366.03185号 Angelo蒙塔纳里;皮埃特罗·萨拉 7 2013 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 Zbl 1333.03006号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 6 2011 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ Zbl 1429.68139号 劳拉·博泽利;阿尔贝托·莫里纳利;Angelo蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 Zbl 1436.03120号 D.布雷索林。;黛拉·莫妮卡，D。;A.蒙塔纳里。;萨拉，P。;Sciavicco，G。 5 2019 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 Zbl 1451.03020号 大卫·布雷索林;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 5 2015 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 Zbl 1400.68121号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2018 稠密序上子区间结构逻辑的表au系统。 Zbl 1133.03007号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 4 2007 模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 Zbl 1478.68148号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 有限结构、自然数和整数上MPNL的最优决策过程。 兹比尔1296.03013 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 4 2013 有限线性序上的区间时序逻辑：全貌。 Zbl 1327.03012号 D.布雷索林。;黛拉·莫妮卡，D。;A.蒙塔纳里。;萨拉，P。;Sciavicco，G。 4 2012 区间时间逻辑对有理数的判定性。 兹伯利1426.03018 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 4 2014 过去在区间时间逻辑中的重要性：命题邻域逻辑的例子。 Zbl 1356.03061号 黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 4 2012 关于粗区间时序逻辑。 Zbl 1480.03010号 埃米利奥·穆尼奥斯·韦拉斯科;佩莱格林，梅赛德斯;皮埃特罗·萨拉;圭多·西亚维科;Stan、Ionel Eduard 4 2019 提示间隔时间逻辑。 Zbl 1483.03015号 黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;皮埃特罗·萨拉 三 2016 基于时间间隔的时间功能依赖：规范和验证。 Zbl 1311.68051号 卡洛·库比;皮埃特罗·萨拉 三 2014 在开始、见面和之前。 Zbl 1259.03028号 大卫·布雷索林;萨拉，彼得罗;圭多·西亚维科 三 2012 强离散线性序上的区间时序逻辑：全貌。 Zbl 1469.03045号 大卫·布雷索林;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 2 2012 Beyond\（\omega BS\）-正则语言：\（\omega T\）-规则表达式和反勾自动机。 Zbl 1483.68160号 黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;萨拉，彼得罗 2 2017 具有等价关系的度量命题邻域逻辑。 Zbl 1350.68185号 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 2 2016 基于区间的合成。 Zbl 1467.68080号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 2 2014 基于区间时序逻辑规范的反应合成。 Zbl 1515.68185号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2022 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 07471713号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 关于前缀和中缀的时间逻辑。 Zbl 07559392号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;萨拉，彼得罗 1 2020 挖掘基于近似区间的时间依赖关系。 Zbl 1350.68088号 卡洛·库比;皮埃特罗·萨拉 1 2016 向区间时序逻辑添加一个或多个等价关系。 Zbl 1408.03011号 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 1 2016 Beyond（ω）-正则语言：（ωT）-正则表达式及其自动机和逻辑对应项。 Zbl 1433.68192号 大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2020 Pspace-子区间和后缀的时间逻辑的完整性。 Zbl 07744952号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2021 基于区间时序逻辑规范的反应合成。 Zbl 1515.68185号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2022 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 07471713号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 Pspace-子区间和后缀的时间逻辑的完整性。 Zbl 07744952号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;萨拉，彼得罗 1 2021 关于前缀和中缀的时态逻辑。 Zbl 07559392号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2020 Beyond（ω）-正则语言：（ωT）-正则表达式及其自动机和逻辑对应项。 Zbl 1433.68192号 大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;萨拉，彼得罗 1 2020 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ Zbl 1429.68139号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 Zbl 1436.03120号 D.布雷索林。;黛拉·莫妮卡，D。;A.蒙塔纳里。;萨拉，P。;Sciavicco，G。 5 2019 关于粗区间时序逻辑。 Zbl 1480.03010号 埃米利奥·穆尼奥斯·韦拉斯科;佩莱格林，梅赛德斯;萨拉，彼得罗;Guido Sciavicco公司;Stan、Ionel Eduard 4 2019 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 Zbl 1400.68121号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2018 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉，博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 Beyond\（\omega BS\）-正则语言：\（\omega T\）-规则表达式和反勾自动机。 Zbl 1483.68160号 黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 2 2017 时间间隔与时间点逻辑模型检查：表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 12 2016 间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 Zbl 1475.68177号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 兹比尔1478.68148 劳拉，博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 提示间隔时间逻辑。 Zbl 1483.03015号 黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;皮埃特罗·萨拉 三 2016 具有等价关系的度量命题邻域逻辑。 兹比尔1350.68185 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 2 2016 挖掘基于时间间隔的近似相关性。 Zbl 1350.68088号 卡洛·库比;皮埃特罗·萨拉 1 2016 向区间时序逻辑添加一个或多个等价关系。 Zbl 1408.03011号 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 1 2016 基于锥形基本方向的指南针逻辑的可判定弱化。 Zbl 1351.03014号 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 7 2015 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 Zbl 1451.03020号 大卫·布雷索林;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 5 2015 强离散线性序上的区间时序逻辑：表达性和复杂性。 Zbl 1335.03017号 大卫·布雷索林;黛拉·莫妮卡，达里奥;Angelo蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 14 2014 区间时间逻辑对有理数的判定性。 Zbl 1426.03018号 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 4 2014 基于时间间隔的时间功能依赖：规范和验证。 Zbl 1311.68051号 卡洛·库比;萨拉，彼得罗 三 2014 基于区间的合成。 Zbl 1467.68080号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 2 2014 区间逻辑和\（\omega B\）-正则语言。 Zbl 1377.03026号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 7 2013 向区间逻辑（AB\bar{B}）添加等价关系：复杂性和表达性。 Zbl 1366.03185号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 7 2013 有限结构、自然数和整数上MPNL的最优决策过程。 Zbl 1296.03013号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 4 2013 有限线性序上的区间时序逻辑：全貌。 Zbl 1327.03012号 D.布雷索林。;黛拉·莫妮卡，D。;A.蒙塔纳里。;萨拉，P。;Sciavicco，G。 4 2012 过去在区间时间逻辑中的重要性：命题邻域逻辑的例子。 兹伯利1356.03061 黛拉·莫妮卡，达里奥;Angelo蒙塔纳里;皮埃特罗·萨拉 4 2012 在开始、见面和之前。 Zbl 1259.03028号 大卫·布雷索林;皮埃特罗·萨拉;圭多·西亚维科 三 2012 强离散线性序上的区间时序逻辑：全貌。 Zbl 1469.03045号 大卫·布雷索林;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;萨拉，彼得罗;圭多·西亚维科 2 2012 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 Zbl 1333.03006号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 6 2011 稠密序上子区间结构的逻辑表。 Zbl 1188.03009号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 24 2010 Halpern和Shoham的区间模态逻辑的最大可判定片段。 Zbl 1288.03017号 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 22 2010 区间时态逻辑（运算符名{AB上的{B}}）对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉;圭多·西亚维科 11 2010 具有锥形基本方向的可判定空间逻辑。 Zbl 1257.03054号 Angelo蒙塔纳里;小狗，加布里埃尔;皮埃特罗·萨拉 7 2009 线性序上右命题邻域逻辑的最优表。 Zbl 1178.03030号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 7 2008 一种基于表的命题邻域逻辑最优决策算法。 Zbl 1141.03308号 大卫·布雷索林;Angelo蒙塔纳里;皮埃特罗·萨拉 11 2007 稠密序上子区间结构逻辑的表au系统。 Zbl 1133.03007号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 4 2007 命题区间时序逻辑的一般表方法：理论与实现。 Zbl 1104.03010号 V.戈兰科。;A.蒙塔纳里。;萨拉，P。;Sciavicco，G。 10 2006 所有引用出版物 前5名被引用出版物 全部的 前5名67位作者引用 34 安吉洛·蒙塔纳里 24 皮埃特罗·萨拉 19 圭多·西亚维科 15 阿德里亚诺·佩隆 13 劳拉·博泽利 13 大卫·布雷索林 13 黛拉·莫妮卡，达里奥 10 阿尔贝托·莫利纳里 6 瓦伦丁·F·戈兰科。 4 埃米利奥·穆尼奥斯·韦拉斯科 三 Michael Sioutis先生 2 卢卡·埃特罗 2 卡洛·库比 2 威廉·康雷迪 2 Dimitar P.Guelev。 2 Anna Ingólfsdóttir 2 克雷斯蒂安·约布茨克 2 萨瓦斯·科努尔 2 安东尼·利扎 2 阿莱西奥·曼苏蒂 2 安德烈亚·马西尼 2 本·C·莫斯科夫斯基。 2 阿尼埃洛·穆拉诺 2 马可·巴扎利亚 2 西尔万·施密茨 2 Stan、Ionel Eduard 2 卢卡·维甘诺 2 马尔科·沃尔佩 2 沃尔特，迪德里奇 1 Alechina，娜塔莎 1 菲利普·巴尔比亚尼 1 大卫·巴罗齐尼 1 巴托斯·贝德纳西克 1 阿什温·巴斯卡 1 坎通纳，多梅尼科 1 安东尼·科恩（Anthony G.Cohn）。 1 恩里科·科米纳托 1 安德烈亚·德·多梅尼科 1 戴维·德·弗鲁托斯·埃斯克里格 1 杜，鹤山 1 萨利赫·杜尔汗 1 阿明·法朱迪安 1 卡洛·阿尔贝托·福里亚 1 西蒙·格纳尼 1 罗宾·赫希 1 彼得·霍夫纳 1 汤米·詹胡宁 1 艾蒂安·凯尔（Etienne E.Kerre）。 1 马丁·勒克 1 布赖恩·洛根 1 皮埃特罗·毛吉里 1 布雷特·麦克林 1 伯恩哈德·莫勒 1 奥莫多，尤金尼奥·乔瓦尼 1 阿纳斯塔西亚·帕帕里佐 1 佩莱格林，梅赛德斯 1 朱塞佩·佩雷利 1 M·普拉文。 1 加布里埃尔，小狗 1 鲍拉·斯波莱蒂尼 1 叶夫根尼亚·苏莱马 1 简·特里斯卡 1 维伦维乔迪尔 1 Wałga，Przemys aw Andrzej 1 彼得·维特科夫斯基 1 Micha Zawidzki 1 周，可以 全部的 前5名18篇连载文章中引用 11 信息与计算 8 理论计算机科学 6 数学与人工智能年鉴 4 信息学报 2 纯逻辑与应用逻辑年鉴 2 应用非经典逻辑杂志 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 人工智能 1 模糊集与系统 1 自动推理杂志 1 SIAM离散数学杂志 1 逻辑、语言与信息杂志 1 人工智能研究杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学前沿 1 ACM计算理论汇刊 全部的 前5名在7个字段中引用 58 数学逻辑和基础（03-XX） 58 计算机科学（68至XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 相对论和引力理论（83至XX） 1 系统论；控制（93至XX） 按年份列出的引文