编辑配置文件（在新选项卡中打开） 鲍拉·斯波莱蒂尼 合著者距离 作者ID： spoletini.paola公司 发布日期： 鲍拉·斯波莱蒂尼 已编制索引的文档： 14出版物自2006年起 2作为编辑的贡献 合著者： 22合著者具有16联合出版物 595位合作作者 全部的 前5名合著者 0 单作者的 5 卡洛·盖齐 5 克劳迪奥·蒙吉 三 卡洛·阿尔贝托·福里亚 2 卢西亚诺·巴雷西 2 安娜·伯纳斯科尼 2 菲利波·邦奇 2 玛莎·契契克 2 伊迪丝·埃尔金 2 布莱斯·基内斯特 2 戴维·格罗曼 2 Doron A.Peled。 2 埃米利奥·托斯托 1 多梅尼科·比安库利 1 阿基尔·弗里吉里 1 他，费 1 安杰洛·莫尔岑蒂 1 莉莉亚娜·帕斯奎尔 1 马蒂奥·普拉德拉 1 亚历山德罗·玛丽亚·里齐 1 圣皮埃特罗（San Pietro）、皮耶路易吉（Pierluigi L.）。 1 安吉洛·特洛伊娜 1 Lenore D.扎克。 全部的 前5名系列 2 计算的形式方面 1 国际计算机科学基础杂志 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 15 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 一般性和全局性主题；集合（00-XX） 1 拓扑群、李群（22日至XX日） 1 微分几何（53至XX） 1 流形和细胞复合体（57至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用45中的次32文件 引用人▼ 年份▼ 线性时序逻辑中的模糊时间。 Zbl 1354.03021号 阿基尔·弗里吉里;莉莉亚娜·帕斯奎尔;鲍拉·斯波莱蒂尼 8 2014 从模型检查到部分模型的时间证明。 Zbl 1420.68118号 安娜·伯纳斯科尼;克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;Zuck，Lenore D。;卡洛·盖齐 8 2017 关于使用Alloy分析图转换系统。 Zbl 1156.68340号 卢西亚诺·巴雷西;鲍拉·斯波莱蒂尼 7 2006 基于自动机的模型检测中的不完整性处理。 Zbl 1427.68170号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;卡洛·盖齐 5 2016 支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 4 2018 明天和我们所有的昨天：整数上的MTL可满足性。 Zbl 1161.68567号 卡罗·福里亚（Carlo A.Furia）。;鲍拉·斯波莱蒂尼 4 2008 度量时态逻辑的有界可变性。 Zbl 1420.03032号 卡罗·福里亚（Carlo A.Furia）。;鲍拉·斯波莱蒂尼 三 2017 控制器迭代设计的验证驱动框架。 Zbl 1425.68262号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 2 2019 使用Trio2Polomela检查模型时间度量规范。 Zbl 1141.68452号 多梅尼科·比安库利;鲍拉·斯波莱蒂尼;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 2 2007 量化不一致：消息序列图中的顺序差异。 Zbl 1141.68504号 伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;鲍拉·斯波莱蒂尼 1 2007 实用高效的模块化线性时间模型检查。 Zbl 1183.68371号 卡罗·福里亚（Carlo A.Furia）。;鲍拉·斯波莱蒂尼 1 2008 控制器迭代设计的验证驱动框架。 Zbl 1425.68262号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 2 2019 支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 4 2018 从模型检查到部分模型的时间证明。 Zbl 1420.68118号 安娜·伯纳斯科尼;克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;Lenore D.扎克。;卡洛·盖齐 8 2017 度量时态逻辑的有界可变性。 Zbl 1420.03032号 卡罗·福里亚（Carlo A.Furia）。;鲍拉·斯波莱蒂尼 三 2017 基于自动机的模型检测中的不完整性处理。 Zbl 1427.68170号 克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;卡洛·盖齐 5 2016 线性时序逻辑中的模糊时间。 Zbl 1354.03021号 阿基尔·弗里吉里;莉利亚娜·帕斯夸尔;鲍拉·斯波莱蒂尼 8 2014 明天和我们所有的昨天：MTL对整数的可满足性。 Zbl 1161.68567号 卡罗·福里亚（Carlo A.Furia）。;鲍拉·斯波莱蒂尼 4 2008 实用高效的模块化线性时间模型检查。 Zbl 1183.68371号 卡罗·福里亚（Carlo A.Furia）。;鲍拉·斯波莱蒂尼 1 2008 使用Trio2Promela检查时间度量规范的模型。 Zbl 1141.68452号 多梅尼科·比安库利;鲍拉·斯波莱蒂尼;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 2 2007 量化不一致：消息序列图中的顺序差异。 Zbl 1141.68504号 伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;鲍拉·斯波莱蒂尼 1 2007 关于使用Alloy分析图转换系统。 Zbl 1156.68340号 卢西亚诺·巴雷西;鲍拉·斯波莱蒂尼 7 2006 所有引用出版物 前5名被引用出版物 全部的 前5名74位作者引用 7 鲍拉·斯波莱蒂尼 4 克劳迪奥·蒙吉 三 卡洛·阿尔贝托·富里亚 三 莱拉·里贝罗 2 安娜·伯纳斯科尼 2 达科斯塔，西蒙·安德烈 2 李永明 2 阿里·莫瓦加尔 2 亚历山德罗·玛丽亚·里齐 2 古拉姆雷扎·索图德 2 斯特凡诺·托内塔 1 克里斯特尔·拜尔 1 David A.Basin。 1 巴拉戈·纳加拉贾·巴特 1 斯特凡·博格沃德 1 帕特里夏·鲍耶 1 乔恩·海尔·布伦纳斯 1 罗伯托·布鲁尼 1 安东尼奥·布奇亚罗内 1 曹永志 1 曹振福 1 玛莎·契契克 1 陈杰 1 亚历山德罗·西马蒂 1 达科斯塔·卡瓦莱罗，西蒙·安德烈 1 董晓雷 1 马苏德·易卜拉希米 1 瑞希德·埃哈希德 1 伊迪丝·埃尔金 1 沃尔特·福克尔 1 卢西亚娜·福斯 1 阿基尔·弗里吉里 1 弗洛里安·芬克 1 塞尔吉奥·加西亚 1 布莱斯·基内斯特 1 卡洛·盖齐 1 格内西、斯特凡尼亚 1 龚俊清 1 阿尔贝托·格里乔 1 瑞科·赫克尔 1 丹·赫施 1 西蒙·扬奇 1 克里斯汀·乔布奇克 1 Kluza、Krzysztof 1 Alisa Kovtunova 1 奥尔纳·库普弗曼 1 莱恩·兰伯斯 1 李建文 1 安东尼·利格扎 1 阿尔贝托·卢什·拉富恩特 1 马占友 1 尼古拉斯·马基 1 巴斯蒂安·莫伯特 1 本·C·莫斯科夫斯基。 1 阿尼埃洛·穆拉诺 1 潘海宇 1 莉莉亚娜·帕斯奎尔 1 Doron A.Peled。 1 佩利奇奥尼，帕特里齐奥 1 朱塞佩·佩雷利 1 瓦希德·拉夫 1 阿德尔·拉赫曼尼（Adel T.Rahmani）。 1 马克·亚历山大·雷诺兹 1 马可·罗维里 1 罗齐尔，Kristin Yvonne 1 玛丽亚姆·加法里·萨达特 1 马丁·斯特雷克 1 唐少华 1 田，春 1 德米特里·特拉泰尔 1 贾纳·Tůmová 1 莫西·亚亚科夫·瓦尔迪 1 沃纳·什尼亚克（Bożena） 1 安德烈·兹布雷泽兹尼 全部的 前5名12篇连载文章中引用 三 计算的形式方面 2 信息学报 2 模糊集与系统 2 系统设计中的形式化方法 2 数学与人工智能年鉴 2 ACM计算逻辑事务 1 Studia Logica公司 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 逻辑程序设计的理论与实践 1 浙江大学学报。科学A 在5个字段中引用 29 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文