伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的约束Horn子句的分析和转换。 (英语) Zbl 07776353号 理论与实践。日志。程序。 22,第6期,974-1042(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。22,第6号,974--1042(2022;Zbl 07776353) 全文: 内政部 arXiv公司 OA许可证
杰弗里·汉密尔顿。(编辑);Temesghen Kahsai(编辑);毛里齐奥·普罗埃蒂(编辑) 2022年4月3日,德国慕尼黑,HCVS/VPT 2022,第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 (英语) Zbl 1522.68032号 理论计算机科学电子论文集(EPTCS)373.滑铁卢:开放出版协会(OPA)。第62页。,仅电子化、开放存取(2022年)。MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Hamilton}(ed.)等人,《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》,HCVS/VPT 2022,德国慕尼黑,2022年4月3日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68032) 全文: 内政部 arXiv公司 链接
伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 使用约束Horn子句验证基于变形的契约。 (英语) Zbl 07595325号 理论与实践。日志。程序。 22,第4期,555-572(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。22,第4号,555--572(2022;Zbl 07595325) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;毛里齐奥·普罗埃蒂 Quicksort的转换验证。 (英语) Zbl 07453193号 Fribourg,Laurent(ed.)等人,第八次验证和程序转换国际研讨会和第七次验证和综合Horn条款研讨会论文集,VPT/HCVS 2020,爱尔兰都柏林,2020年4月25日至26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)320、95-109(2020)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《电子》。程序。西奥。计算。科学。(EPTCS)320、95--109(2020;Zbl 07453193) 全文: arXiv公司 链接
曼纽尔·赫尔梅内吉尔多(编辑);佩德罗·洛佩兹·加西亚(编辑);阿尔贝托·佩特罗西(编辑);毛里齐奥·普罗埃蒂(编辑) 第26届基于逻辑的程序合成与转换国际研讨会专刊:2016年LOPSTR。前言。 (英语) Zbl 1497.68018号 芬达姆。通知。 177,编号3-4,i-iii(2020).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermenegildo}(编辑)等人,Fundam。通知。177,编号3--4,i-iii(2020;Zbl 1497.68018) 全文: 内政部
法比奥·菲奥拉万蒂(编辑);约翰·加拉赫(John P.Gallagher)。(编辑);毛里齐奥·普罗埃蒂(编辑) 前言:第27届基于逻辑的程序合成与转换国际研讨会专刊:2017年LOPSTR。 (英语) Zbl 1471.68014号 芬达姆。通知。 173,第4号,i-ii(2020).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}(编辑)等人,Fundam。通知。173,第4号,i-ii(2020;兹bl 1471.68014) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 排序程序属性的证明:Horn子句验证中的一个案例研究。 (英语) Zbl 1483.68189号 De Angelis,Emanuele(ed.)等人,《第六次Horn子句验证与合成研讨会论文集》,HCVS 2019,以及第三次程序等效与关系推理研讨会论文集,2019年4月6日至7日,捷克共和国布拉格,PERR 2019。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)29648-75(2019年)。MSC公司:60年第68季度 03B70号 68甲18 68号30 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《电子》。程序。西奥。计算。科学。(EPTCS)296、48-75(2019年;Zbl 1483.68189) 全文: arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 勘误表:“在没有归纳的情况下解决归纳数据类型上的Horn子句”。 (英语) Zbl 1472.68086号 理论与实践。日志。程序。 19,第4号,629(2019).MSC公司:60年第68季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。19,第4号,629(2019;Zbl 1472.68086) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿德里安·帕拉西奥斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 Erlang程序运行时错误检测的有界符号执行。 (英语) Zbl 1525.68008号 Kahsai,Temesghen(ed.)等人,《验证和合成Horn条款第五次研讨会论文集》,HCVS 2018,英国牛津,2018年7月13日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27819-26(2018)。MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《电子》。程序。西奥。计算。科学。(EPTCS)278,19--26(2018;Zbl 1525.68008) 全文: arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 (英语) 兹比尔1451.68172 理论与实践。日志。程序。 18,编号3-4,452-469(2018); 勘误表同上,第19号,第4,629(2019)。MSC公司:60年第68季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。18、编号3--4、452--469(2018;Zbl 1451.68172) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 谓词配对与抽象用于关系验证。 (英语) Zbl 1508.68058号 Fioravanti,Fabio(编辑)等,基于逻辑的程序合成和转换。第27届国际研讨会,2017年LOPSTR,2017年10月10日至12日,比利时纳穆尔。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10855, 289-305 (2018).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Lect。注释计算。科学。10855、289--305(2018年;Zbl 1508.68058) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的谓词配对。 (英语) Zbl 1478.68153号 理论与实践。日志。程序。 18,编号2,126-166(2018).MSC公司:60年第68季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。18,编号2,126--166(2018;Zbl 1478.68153) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 使用约束处理规则和数组约束泛化进行程序验证。 (英语) Zbl 1374.68113号 芬达姆。通知。 150,第1期,73-117(2017).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Fundam。通知。150,编号1,73--117(2017;Zbl 1374.68113) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 使用约束Horn子句验证具有时间意识的业务流程。 (英语) Zbl 1485.68149号 Hermenegildo,Manuel V.(编辑)等人,基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10184, 38-55 (2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Lect。注释计算。科学。10184,38-55(2017;Zbl 1485.68149) 全文: 内政部 arXiv公司
毛里齐奥·普罗埃蒂(编辑);广久Seki(编辑);吉姆·伍德科克(编辑) 编辑。 (英语) Zbl 1355.00045号 正式Asp。计算。 29,第1期,第1-2期(2017年).MSC公司:00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Proietti}(编辑)等,《形式语法》。计算。29,编号1,1--2(2017;Zbl 1355.00045) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 从Horn子句验证条件中删除不必要的变量。 (英语) Zbl 1482.68136号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21949-55(2016)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,49-55(2016;Zbl 1482.68136) 全文: arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过Horn子句转换进行关系验证。 (英语) Zbl 1394.68227号 对手,Xavier(编辑),静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53412-0/pbk;978-3-562-53413-7/电子书)。计算机科学讲座笔记9837,147-169(2016)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Lect。注释计算。科学。9837、147--169(2016年;Zbl 1394.68227) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过线性化约束Horn子句来证明命令式程序的正确性。 (英语) Zbl 1379.68093号 理论与实践。日志。程序。 15,编号4-5635-650(2015).MSC公司:68号30 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。15,编号4--5,635--650(2015;Zbl 1379.68093) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于数组操作程序的基于规则的验证策略。 (英语) Zbl 1348.68131号 芬达姆。通知。 140,编号3-4,329-355(2015).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Fundam。通知。140,编号3--4,329--355(2015;Zbl 1348.68131) 全文: 内政部
毛里齐奥·普罗埃蒂(编辑);西基、广岛(编辑) 基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。 (英语) Zbl 1320.68028号 计算机科学课堂讲稿8981.查姆:施普林格(ISBN 978-3-319-17821-9/pbk;978-3-316-17822-6/电子书)。xii,333页。(2015).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Proietti}(编辑)和textit{H.Seki}(编),基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的第24届LOPSTR国际研讨会。修订了选定的论文。查姆:施普林格(2015;Zbl 1320.68028) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;豪尔赫·纳瓦斯。;毛里齐奥·普罗埃蒂 通过结合迭代专门化和插值来验证程序。 (英语) Zbl 1464.68198号 Björner,Nikolaj(ed.)等人,《验证和综合Horn条款第一次研讨会会议记录》,HCVS 2014,奥地利维也纳,2014年7月17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)169,3-18(2014)。MSC公司:60年第68季度 03C40 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《电子》。程序。西奥。计算。科学。(EPTCS)169,3--18(2014;Zbl 1464.68198) 全文: arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过转换验证条件来验证数组程序。 (英语) Zbl 1428.68182号 McMillan,Kenneth L.(编辑)等人,《验证、模型检查和抽象解释》。2014年1月19日至21日,第15届国际会议,VMCAI 2014,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8318, 182-202 (2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Lect。注释计算。科学。8318,182--202(2014;Zbl 1428.68182) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过约束逻辑程序转换验证命令式程序。 (英语) Zbl 1464.68074号 Banerjee,Anindya(编辑)等人,《语义学、抽象解释和程序推理:纪念David A.Schmidt 60岁生日的论文》,2013年9月19日至20日,美国堪萨斯州曼哈顿。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)129186-210(2013)。MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《电子》。程序。西奥。计算。科学。(EPTCS)129186-210(2013;Zbl 1464.68074) 全文: arXiv公司 链接
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 用程序变换证明定理。 (英语) 兹伯利1315.03019 芬达姆。通知。 127,编号1-4,115-134(2013).MSC公司:03B35型 03B44号 68N17号 68号30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。127,编号1--4,115-134(2013;Zbl 1315.03019) 全文: 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于软件模型检查的带有约束泛化的专业化。 (英语) Zbl 1394.68072号 Albert,Elvira(编辑),基于逻辑的程序合成和转换。第22届国际研讨会,2012年LOPSTR,比利时鲁汶,2012年9月18-20日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-38196-6/pbk)。《计算机科学讲义》7844,51-70(2013)。MSC公司:68号30 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,Lect。注释计算。科学。7844,51-70(2013年;兹bl 1394.68072) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 控制基于专业化验证的多元方差。 (英语) Zbl 1268.68110号 芬达姆。通知。 124,编号483-502(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。124,第4号,483--502(2013;Zbl 1268.68110) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 无限状态系统验证的推广策略。 (英语) Zbl 1267.68080号 理论与实践。日志。程序。 13,第2期,175-199(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,《理论与实践》。日志。程序。13,第2号,175--199(2013;Zbl 1267.68080) 全文: 内政部 arXiv公司
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 逻辑程序转换的基于约束的正确性证明。 (英语) Zbl 1259.68036号 正式Asp。计算。 24,第4-6号,569-594(2012).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,正式Asp。计算。24、编号4--6569--594(2012;Zbl 1259.68036) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 在程序专门化期间使用真正的放松。 (英语) Zbl 1377.68062号 维达尔·格曼(编辑),基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。2011年7月18日至20日,丹麦欧登塞。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-32210-5/pbk)。计算机科学课堂讲稿7225106-122(2012)。MSC公司:68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Lect。注释计算。科学。7225,106-122(2012;Zbl 1377.68062) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 通过专门化改进无限状态系统的可达性分析。 (英语) Zbl 1279.68209号 芬达姆。通知。 119,编号3-4,281-300(2012).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。119,编号3--4,281--300(2012;Zbl 1279.68209) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 通过专门化改进无限状态系统的可达性分析。 (英语) Zbl 1348.68136号 Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945165-179(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Lect。注释计算。科学。6945,165--179(2011;Zbl 1348.68136) 全文: 内政部 链接
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 验证无限状态系统的程序专门化:实验评估。 (英语) Zbl 1326.68184号 Alpunte,María(编辑),基于逻辑的程序合成和转换。2010年7月23日至25日在奥地利哈根堡举行的2010年LOPSTR第20届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-20550-7/pbk)。计算机科学课堂讲稿6564,164-183(2011)。MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Lect。注释计算。科学。6564164-183(2011年;兹bl 1326.68184) 全文: 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 无限列表上逻辑程序的转换。 (英语) Zbl 1209.68096号 理论与实践。日志。程序。 10,编号4-6,383-399(2010).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,《理论与实践》。日志。程序。10,编号4-6-383-399(2010年;Zbl 1209.68096) 全文: 内政部 arXiv公司
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 通过程序转换确定全分支时间逻辑。 (英语) Zbl 1284.68413号 De Schreye,Danny(编辑),基于逻辑的程序合成和转换。第19届国际研讨会,2009年LOPSTR,2009年9月,葡萄牙科英布拉。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-12591-1/pbk)。计算机科学课堂讲稿6037,5-21(2010)。MSC公司:60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,Lect。注释计算。科学。6037,5--21(2010年;Zbl 1284.68413) 全文: 内政部 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 逻辑程序转换的自动正确性证明。 (英语) Zbl 1213.68207号 Dahl,Verónica(编辑)等人,《逻辑编程》。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74608-9/pbk)。计算机科学课堂讲稿4670364-379(2007)。MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,Lect。注释计算。科学。4670364--379(2007年;Zbl 1213.68207) 全文: 内政部 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;Valerio Senni公司 使用数组公式对参数化协议进行转换验证。 (英语) Zbl 1156.68474号 Hill,Patricia(编辑),《基于逻辑的程序综合与转换》。2005年9月7日至9日在英国伦敦举行的2005年LOPSTR第15届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-32654-0/pbk)。计算机科学课堂讲稿390123-43(2006)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,Lect。注释计算。科学。3901、23-43(2006年;Zbl 1156.68474) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过程序转换实现协议的自动证明。 (英语) Zbl 1090.68067号 Dunin-Kȩplicz,Barbara(编辑)等人,《多智能体系统中的监控、安全和救援技术》。2004年6月7日至9日,在波兰波洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会(MSRAS 2004)上发表的部分稿件。柏林:施普林格出版社(ISBN 3-540-23245-1/pbk)。《软计算进展》,99-116(2005)。MSC公司:60年第68季度 68T05型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,in:多代理系统中的监视、安全和救援技术。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会(MSRAS 2004)上发表了部分论文。柏林:斯普林格。99-116(2005年;Zbl 1090.68067)
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 局部分层约束逻辑程序的转换规则。 (英语) Zbl 1080.68010号 Bruynooghe,Maurice(编辑)等人,《计算逻辑中的程序开发》。基于逻辑的程序开发的十年研究进展。柏林:施普林格出版社(ISBN 3-540-22152-2/pbk)。计算机科学课堂讲稿3049291-339(2004)。MSC公司:68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Lect。注释计算。科学。3049、291--339(2004;Zbl 1080.68010) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过程序转换将逻辑程序和一元二阶逻辑结合起来。 (英语) Zbl 1278.68049号 Michael Leuschel(编辑),《基于逻辑的程序合成和转换》。第十二届国际研讨会,2002年LOPSTR,西班牙马德里,2002年9月17日至20日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-40438-4/pbk)。计算机科学课堂讲稿2664160-181(2003)。MSC公司:68N17号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Lect。注释计算。科学。2664160-181(2003年;Zbl 1278.68049) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 使用程序转换验证无限状态过程集。 (英语) Zbl 1073.68693号 Pettorossi,Alberto(编辑),基于逻辑的程序合成和转换。2001年11月28日至30日,塞浦路斯帕福斯,第11次国际研讨会,LOPSTR 2001。精选论文。柏林:施普林格出版社(ISBN 3-540-43915-3)。莱克特。注释计算。科学。2372, 111-128 (2002).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Lect。注释计算。科学。2372111-128(2002年;Zbl 1073.68693) 全文: 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 程序派生\(=\)规则\(+\)策略。 (英语) Zbl 1012.68033号 安东尼斯·卡卡斯(Antonis C.)等人,《计算逻辑:逻辑编程及其以外》。纪念罗伯特·科瓦尔斯基的论文。第1部分:。柏林:斯普林格。莱克特。注释计算。科学。2407, 273-309 (2002).MSC公司:68号01 68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{M.Proietti},莱克特。注释计算。科学。2407273--309(2002年;Zbl 1012.68033) 全文: 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过展开/折叠变换进行完美的模型检查。 (英语) Zbl 0983.68041号 Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 613-628 (2000).MSC公司:68号30 68N17号 第68页第15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{M.Proietti},Lect。注释计算。科学。1861613--628(2000年;Zbl 0983.68041)
毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 按此顺序展开定义折叠,以避免逻辑程序中不必要的变量。 (英语) 兹比尔0789.68019 Maluszyński,Jan(编辑)等人,编程语言实现和逻辑编程。1991年8月26日至28日,第三届国际研讨会,PLILP’91,德国帕绍。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。528, 347-358 (1991).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Proietti}和\textit{A.Pettorosi},莱克特。注释计算。科学。528347-358(1991年;Zbl 0789.68019)
毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 用于开发逻辑程序的eureka谓词的合成。 (英语) Zbl 0765.68141号 90年员工持股计划,程序。欧洲第三交响曲。,哥本哈根/丹麦,1990年,Lect。注释计算。科学。432, 306-325 (1990).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Proietti}和\textit{A.Pettorosi},莱克特。注释计算。科学。432306--325(1990年;Zbl 0765.68141)