编辑配置文件（在新选项卡中打开） 法比奥·菲奥拉万蒂 合著者距离 作者ID: 菲奥拉万提·法比奥 发布日期： 法比奥·菲奥拉万蒂 编入索引的文档： 38出版物自1999年起 3作为编辑的贡献 合著者： 11位合著者具有40联合出版物 267位合作作者 全部的 前5名合著者 1 单作者的 38 毛里齐奥·普罗埃蒂 34 阿尔贝托·佩特罗西 23 伊曼纽尔·德·安吉利斯 9 瓦莱里奥·塞尼 三 约翰·加拉赫（John P.Gallagher）。 2 玛丽亚·希亚拉（Maria Chiara Meo） 1 尼古拉·S·比约纳。 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 阿德里安·帕拉西奥斯。 1 安德烈·里巴尔琴科 系列 7 计算机基础理论 7 逻辑程序设计理论与实践 2 逻辑与计算杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子论文集（EPTCS） 领域 41 计算机科学（68至XX） 10 数理逻辑与基础（03-XX） 三 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 26出版物被引用80中的次44文件 引用人▼ 年份▼ 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 Zbl 1451.68172号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 13 2018 通过线性化约束Horn子句来证明命令式程序的正确性。 Zbl 1379.68093号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 2015 局部分层约束逻辑程序的转换规则。 Zbl 1080.68010号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2004 通过Horn子句转换进行关系验证。 Zbl 1394.68227号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2016 无限状态系统验证的推广策略。 Zbl 1267.68080号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 5 2013 通过转换验证条件来验证数组程序。 Zbl 1428.68182号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2014 代数数据类型上约束Horn子句的可满足性：基于转换的方法。 Zbl 07486296号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2022 使用差异谓词从约束Horn子句中删除代数数据类型。 Zbl 07614508号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2020 用于程序验证的谓词配对。 Zbl 1478.68153号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2018 控制基于专业化验证的多元方差。 Zbl 1268.68110号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 三 2013 使用约束处理规则和数组约束泛化进行程序验证。 Zbl 1374.68113号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2017 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫。;曼努埃尔五世（Manuel V.Hermenegildo）。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2022 专门化约束逻辑程序的自动化策略。 Zbl 1018.68502号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2001 通过专业化改进无限状态系统的可达性分析。 Zbl 1279.68209号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2012 使用约束逻辑编程和程序转换高效生成测试数据结构。 兹比尔1328.68041 法比奥·菲奥拉万蒂;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2015 用于数组操作程序的基于规则的验证策略。 Zbl 1348.68131号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2015 验证无限状态系统的程序专业化：一项实验评估。 Zbl 1326.68184号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2011 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉（Maria Chiara Meo）;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉（Maria Chiara Meo）;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。 Zbl 1392.68017号 1 2018 谓词配对与抽象用于关系验证。 Zbl 1508.68058号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2018 用于软件模型检查的带有约束泛化的专业化。 Zbl 1394.68072号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2013 使用程序转换验证无限状态过程集。 Zbl 1073.68693号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2002 通过程序变换证明定理。 Zbl 1315.03019号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2013 排序程序属性的证明：Horn子句验证中的一个案例研究。 Zbl 1483.68189号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 使用约束Horn子句验证基于变形的契约。 Zbl 07595325号 伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 1 2022 代数数据类型上约束Horn子句的可满足性：基于转换的方法。 Zbl 07486296号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2022 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（John P.Gallagher）。;曼努埃尔五世（Manuel V.Hermenegildo）。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2022 使用约束Horn子句验证基于变形的契约。 Zbl 07595325号 伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 1 2022 使用差异谓词从约束Horn子句中删除代数数据类型。 Zbl 07614508号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2020 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉（Maria Chiara Meo）;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 排序程序性质的证明：Horn子句验证中的一个案例研究。 Zbl 1483.68189号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 兹比尔1451.68172 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 13 2018 用于程序验证的谓词配对。 Zbl 1478.68153号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2018 基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。 兹比尔1392.68017 1 2018 谓词配对与抽象用于关系验证。 Zbl 1508.68058号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2018 使用约束处理规则和数组约束泛化进行程序验证。 Zbl 1374.68113号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2017 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉（Maria Chiara Meo）;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 通过Horn子句转换进行关系验证。 Zbl 1394.68227号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2016 通过线性化约束Horn子句来证明命令式程序的正确性。 Zbl 1379.68093号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 2015 使用约束逻辑编程和程序转换高效生成测试数据结构。 Zbl 1328.68041号 法比奥·菲奥拉万蒂;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2015 用于数组操作程序的基于规则的验证策略。 Zbl 1348.68131号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2015 通过转换验证条件来验证数组程序。 Zbl 1428.68182号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2014 无限状态系统验证的推广策略。 Zbl 1267.68080号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 5 2013 控制基于专业化验证的多元方差。 Zbl 1268.68110号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 三 2013 用于软件模型检查的带有约束泛化的专业化。 Zbl 1394.68072号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2013 通过程序变换证明定理。 Zbl 1315.03019号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2013 通过专门化改进无限状态系统的可达性分析。 Zbl 1279.68209号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 2 2012 验证无限状态系统的程序专业化：一项实验评估。 Zbl 1326.68184号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 1 2011 局部分层约束逻辑程序的转换规则。 Zbl 1080.68010号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2004 使用程序转换验证无限状态过程集。 Zbl 1073.68693号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2002 专门化约束逻辑程序的自动化策略。 Zbl 1018.68502号 法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名69位作者引用 13 阿尔贝托·佩特罗西 13 毛里齐奥·普罗埃蒂 12 伊曼纽尔·德·安吉利斯 12 法比奥·菲奥拉万蒂 5 约翰·加拉赫。 4 直纪小林 三 格里戈里·费迪尤科维奇 三 佐藤隆介 三 西基、广岛 2 恩斯特·吉顿 2 皮埃尔·甘蒂 2 罗伯特·格莱克 2 Kafle，比肖克桑 2 菲利普·吕默 2 瓦莱里奥·塞尼 1 马哈穆杜尔·费萨尔·阿梅恩 1 安德烈·塞巴斯蒂安·布鲁安 1 冠军，阿德里安 1 利迪亚·切尔尼戈夫斯卡娅 1 千叶，富古屋 1 瑟·特凡·乔巴赫 1 拜伦·库克 1 J.Robert M.科尼什。 1 丹尼·德·施雷耶 1 杜梅内克，杰苏斯·J·。 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 圣地亚哥埃斯科瓦尔 1 伊森，扎弗 1 格雷姆·恒河 1 萨米尔·根奈姆 1 阿尔蒂·古普塔 1 劳尔·古铁雷斯 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 侯赛因·霍贾特 1 丰富美加藤 1 莫里茨·基弗 1 弗拉基米尔·克莱巴诺夫 1 埃里克·科斯金 1 马蒂斯·克鲁斯 1 维克多·昆卡 1 多雷尔·卢卡努 1 萨尔瓦多卢卡斯 1 马丁·奥列特，纳西索 1 何塞·梅塞盖尔·瓜伊塔 1 德米特里·莫德维诺夫（Dmitri Mordvinov，Aleksandrovich） 1 Masanori长岛 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 直纪西田 1 文森特·奈斯 1 阿德里安·帕拉西奥斯。 1 雷霍特，乔纳斯·沃尔珀斯 1 鲁宾·鲁比奥 1 Masahiko酒井 1 肯·萨卡约里 1 彼得·沙赫特 1 Takumi岛田 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 克里希纳·苏布拉马尼 1 卡罗琳·塔尔科特。 1 保罗·塔劳 1 马蒂亚斯·乌尔布里奇 1 V.K.、Hari Govind 1 温·范霍夫 1 莫西·亚亚科夫·瓦尔迪 1 Wojciechowski，Piotr J。 1 贡萨古·耶尔瑙斯 1 卢卡斯·扎瓦利亚 全部的 前5名引用于8个系列 9 逻辑程序设计理论与实践 三 自动推理杂志 2 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 计算的形式方面 1 计算机基础理论 1 Modelirovanie i Analiz信息系统 在5个字段中引用 44 计算机科学（68至XX） 14 数理逻辑与基础（03-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文