编辑配置文件（在新选项卡中打开） Pierluigi San彼得罗 合著者距离 作者ID： 皮埃特罗·皮尔路易吉桑 发布日期： 圣彼得罗，皮耶路易吉;Pierluigi San彼得罗 已编制索引的文档： 20出版物自2001年起 2作为编辑的贡献 合著者： 8位合著者具有17联合出版物 177位合作作者 全部的 前5名合著者 0 单作者的 10 马尔塞洛·玛丽亚·贝尔萨尼 10 罗西（Matteo A.C.Rossi）。 7 当、哲 4 奥斯卡·H·伊巴拉。 2 帕特里夏·鲍耶 2 阿契尔弗里格里 2 理查德·凯默勒（Richard A.Kemmer）。 2 安德烈亚·奥兰迪尼 2 谢高燕 1 安娜·贝列茨卡 1 比莱基，Włodzimierz 1 佛罗伦萨Bouchy 1 阿兰·芬克尔 1 文森佐·玛蒂娜 1 克劳迪奥·蒙希 1 安杰洛·莫尔岑蒂 1 阿尼埃洛·穆拉诺 1 马蒂奥·普拉德拉 全部的 前5名系列 5 理论计算机科学 2 信息与计算 1 信息学报 1 ACM计算逻辑事务 1 应用逻辑杂志 1 理论计算机科学电子论文集（EPTCS） 领域 20 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用52中的次31文件 引用人▼ 年份▼ 无自动机约束LTL可满足性检查。 Zbl 1310.68141号 马尔塞洛·贝尔萨尼。;阿契尔弗里格里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西，马蒂奥;圣彼得罗，皮耶路易吉 8 2014 离散时间自动机的Presburger活性验证。 Zbl 1040.68050号 当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 7 2003 一种用于决定连续时间度量时态逻辑的可满足性的工具。 兹比尔1336.68230 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 6 2016 一种基于SMT的MITL可满足性检查方法。 Zbl 1332.68138号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 5 2015 带有自由计数器的可逆有界多计数器机器的活性验证。 Zbl 1053.03021号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉 4 2001 离散时间自动机的Presburger活性。 Zbl 0981.68715号 当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 4 2001 约束LTL有界可满足性问题的完备性。 兹伯利1347.03031 马尔塞洛·贝尔萨尼。;阿契尔弗里格里;罗西，马蒂奥;圣彼得罗，皮耶路易吉 4 2011 松散同步队列连接离散时间自动机的验证。 Zbl 1044.68096号 奥斯卡·H·伊巴拉。;当、哲;圣彼得罗，皮耶路易吉 4 2003 现实自动机及其决策问题（扩展抽象）。 Zbl 1117.68400号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉;谢高燕 3 2004 用计数方式确定连续时间度量时序逻辑。 Zbl 1405.03045号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;Pierluigi San彼得罗 3 2013 定时（非）正则语言的逻辑特征。 Zbl 1426.03017号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 3 2014 确定MITL规范的可满足性。 Zbl 1464.68193号 马尔塞洛·玛丽亚·贝尔萨尼;罗西，马蒂奥;Pierluigi San彼得罗 3 2013 定时正则语言的逻辑特征。 Zbl 1355.68150号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 2 2017 密集计数器和验证问题。 Zbl 1278.68197号 谢高燕;当、哲;奥斯卡·H·伊巴拉。;Pierluigi San彼得罗 2 2003 多队列离散时间自动机的自动验证。 Zbl 1276.68097号 圣彼得罗，皮耶路易吉;当、哲 2 2003 在完全嵌套的循环中提取无同步操作片段。 Zbl 1157.68352号 安娜·贝列茨卡;维洛奇米尔兹·比莱基;圣彼得罗，皮耶路易吉 1 2007 定时正则语言的逻辑特征。 Zbl 1355.68150号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 2 2017 用于确定连续时间度量时序逻辑的可满足性的工具。 Zbl 1336.68230号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 6 2016 一种基于SMT的MITL可满足性检查方法。 Zbl 1332.68138号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 5 2015 无自动机约束LTL可满足性检查。 Zbl 1310.68141号 马尔塞洛·贝尔萨尼。;阿契尔弗里格里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西，马蒂奥;圣彼得罗，皮耶路易吉 8 2014 定时（非）正则语言的逻辑特征。 Zbl 1426.03017号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 3 2014 用计数方式确定连续时间度量时序逻辑。 Zbl 1405.03045号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;Pierluigi San彼得罗 3 2013 确定MITL规范的可满足性。 Zbl 1464.68193号 马尔塞洛·玛丽亚·贝尔萨尼;罗西，马蒂奥;Pierluigi San彼得罗 3 2013 约束LTL有界可满足性问题的完备性。 兹伯利1347.03031 马尔塞洛·贝尔萨尼。;阿契尔弗里格里;罗西，马蒂奥;圣彼得罗，皮耶路易吉 4 2011 在完全嵌套的循环中提取无同步操作片段。 Zbl 1157.68352号 安娜·贝列茨卡;维洛奇米尔兹·比莱基;圣彼得罗，皮耶路易吉 1 2007 实计数器自动机及其决策问题（扩展摘要）。 Zbl 1117.68400号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉;谢高燕 3 2004 离散时间自动机的Presburger活性验证。 Zbl 1040.68050号 当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 7 2003 松散同步队列连接离散时间自动机中的验证。 兹比尔1044.68096 奥斯卡·H·伊巴拉。;当、哲;圣彼得罗，皮耶路易吉 4 2003 密集计数器和验证问题。 Zbl 1278.68197号 谢高燕;当、哲;奥斯卡·H·伊巴拉。;Pierluigi San彼得罗 2 2003 多队列离散时间自动机的自动验证。 Zbl 1276.68097号 圣彼得罗，皮耶路易吉;当、哲 2 2003 带有自由计数器的可逆有界多计数器机器的活性验证。 Zbl 1053.03021号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉 4 2001 离散时间自动机的Presburger活性。 Zbl 0981.68715号 当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 4 2001 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 8 马尔塞洛·玛丽亚·贝尔萨尼 7 斯特凡·德姆里。 7 罗西（Matteo A.C.Rossi）。 6 当、哲 5 奥斯卡·H·伊巴拉。 5 Pierluigi San彼得罗 3 阿兰·芬克尔 2 佛罗伦萨Bouchy 2 阿契尔弗里格里 2 理查德·凯默勒（Richard A.Kemmer）。 2 苏建文 1 卢西亚诺·巴雷西 1 亚历山德罗·西马蒂 1 朱尔根·丁格尔 1 克莱尔·迪克森 1 迪帕克·D’Souza 1 托马斯·费雷尔 1 雷吉斯·加斯科 1 瓦伦丁·F·戈兰科。 1 阿尔贝托·格里乔 1 乌尔里希Hustadt 1 萨尔瓦多拉托雷 1 李，程 1 李建文 1 帕塔萨拉西马杜苏丹 1 麦格纳戈，恩里科 1 法比奥·马可尼 1 克劳迪奥·蒙吉 1 安杰洛·莫尔岑蒂 1 安娜·奥扎基 1 Gennaro帕拉托 1 莉莉亚娜·帕斯奎尔 1 帕特里齐奥·佩利奇奥内 1 马蒂奥·普拉德拉 1 盖塔诺·夸特罗奇 1 巴拉·拉维库马尔 1 马可·罗维里 1 克里斯汀·伊冯·罗泽尔 1 鲁迪、凯伦 1 阿诺德·桑尼尔 1 索尔多，马特奥 1 鲍拉·斯波莱蒂尼 1 斯特凡诺·托内塔 1 范·德里姆伦（van Drimmelen）、戈弗特（Govert） 1 莫西·亚亚科夫·瓦尔迪 1 Waez，Md Tawhid Bin 1 谢高燕 全部的 前5名10篇连载文章中引用 13 理论计算机科学 4 信息与计算 2 计算的形式方面 2 应用非经典逻辑杂志 1 信息学报 1 计算机与系统科学杂志 1 自动推理杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 计算机科学评论 在5个字段中引用 30 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文