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