菲利普·科纳;Leuschel，迈克尔;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世（Manuel V.Hermenegildo）。;何塞·莫拉莱斯（Jose F.Morales）。;Wielemaker，简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托 五十年的序言及以后。 （英语） Zbl 07776350号 理论与实践。日志。程序。 22，第6号，776-858（2022）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Körner}等人，《理论与实践》。日志。程序。22，编号6，776--858（2022；Zbl 07776350） 全文： 内政部 arXiv公司 OA许可证
米盖尔·桑切斯·奥达兹（Miguel A.Sanchez-Ordaz）。;伊莎贝尔·加西亚·孔特雷拉斯;维克托·佩雷斯;JoséF·莫拉莱斯。;佩德罗·洛佩兹·加西亚;曼努埃尔五世（Manuel V.Hermenegildo）。 VeriFly公司：通过增量进行实时断言检查。 （英语） Zbl 07776326号 理论与实践。日志。程序。 21，第6期，768-784（2021）.MSC公司：68N17号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Sanchez-Ordaz}等人，《理论与实践》。日志。程序。21，第6号，768--784（2021；Zbl 07776326） 全文： 内政部 arXiv公司
伊格纳西奥·卡索;JoséF·莫拉莱斯。;López-García，P。;曼努埃尔五世（Manuel V.Hermenegildo）。 测试你的（静态分析）真理。 （英语） Zbl 07496652号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 271-292 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit｛I.Casso｝等人，Lect。注释计算。科学。12561、271--292（2021；Zbl 07496652） 全文： 内政部 链接
伊莎贝尔·加西亚·孔特雷拉斯;JoséF·莫拉莱斯。;曼努埃尔五世（Manuel V.Hermenegildo）。 增量和模块化上下文敏感分析。 （英语） Zbl 1472.68035号 理论与实践。日志。程序。 21，第2期，196-243（2021）.MSC公司：68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Garcia-Contreras}等人，《理论与实践》。日志。程序。21，第2号，196--243（2021；Zbl 1472.68035） 全文： 内政部 arXiv公司
伊格纳西奥·卡索;JoséF·莫拉莱斯。;佩德罗·洛佩兹·加西亚;曼努埃尔五世（Manuel V.Hermenegildo）。 Prolog中基于断言的随机测试的集成方法。 （英语） Zbl 1502.68061号 Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042159-176（2020年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛I.Casso｝等人，Lect。注释计算。科学。12042、159--176（2020年；Zbl 1502.68061） 全文： 内政部 链接
伊格纳西奥·卡索;JoséF·莫拉莱斯。;佩德罗·洛佩兹·加西亚;罗伯托·贾科巴齐;曼努埃尔五世（Manuel V.Hermenegildo）。 计算逻辑程序中的抽象距离。 （英语） Zbl 1502.68060号 Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 57-72 (2020).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Casso}等人，Lect。注释计算。科学。12042，57-72（2020；Zbl 1502.68060） 全文： 内政部 arXiv公司 链接
伊莎贝尔·加西亚·孔特雷拉斯;何塞·莫拉莱斯（Jose F.Morales）。;曼努埃尔五世（Manuel V.Hermenegildo）。 使用断言和开放谓词对逻辑程序进行增量分析。 （英语） Zbl 1502.68065号 Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042，36-56（2020）。MSC公司：68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Garcia-Contreras}等人，Lect。注释计算。科学。12042，36-56（2020；Zbl 1502.68065） 全文： 内政部 链接
马克西米利亚诺·克莱门;佩德罗·洛佩兹·加西亚;约翰·加拉赫（John P.Gallagher）。;JoséF·莫拉莱斯。;曼努埃尔五世（Manuel V.Hermenegildo）。 并行逻辑程序静态成本分析的一般框架。 （英语） Zbl 1502.68068号 Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 19-35 (2020).MSC公司：68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Klemen}等人，Lect。注释计算。科学。12042，19-35（2020；Zbl 1502.68068） 全文： 内政部 arXiv公司 链接
约翰·加拉赫（John P.Gallagher）。;曼纽尔·赫尔梅内吉尔多;比肖克桑·卡夫;马克西米利亚诺·克莱门;佩德罗·洛佩斯·加西亚;何塞·莫拉莱斯 从大步骤到小步骤的语义，再回到解释器专业化。 （英语） Zbl 07453190号 Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320、50-64（2020年）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Gallagher}等人，《电子》。程序。西奥。计算。科学。（EPTCS）320、50--64（2020；Zbl 07453190） 全文： arXiv公司 链接
伊莎贝尔·加西亚·孔特雷拉斯;JoséF·莫拉莱斯。;曼努埃尔五世（Manuel V.Hermenegildo）。 语义代码浏览。 （英语） Zbl 1379.68030号 理论与实践。日志。程序。 16，编号5-6，721-737（2016）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{I.García-Contreras}等人，《理论与实践》。日志。程序。16，编号5-6721-737（2016；兹bl 1379.68030） 全文： 内政部 arXiv公司
JoséF·莫拉莱斯。;曼努埃尔·卡罗;曼纽尔·赫尔梅内吉尔多 用Prolog方言描述和优化抽象机器。 （英语） Zbl 1379.68079号 理论与实践。日志。程序。 16，第1期，1-58页（2016年）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Morales}等人，《理论与实践》。日志。程序。16，第1号，1-58（2016；Zbl 1379.68079） 全文： 内政部 arXiv公司
娜塔莉亚·斯图洛娃;JoséF·莫拉莱斯。;曼努埃尔五世（Manuel V.Hermenegildo）。 通过非侵入性属性缓存进行实际运行时检查。 （英语） Zbl 1379.68102号 理论与实践。日志。程序。 15，编号4-5726-741（2015）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛N.Stulova｝等人，《理论与实践》。日志。程序。15、编号4--5、726--741（2015；Zbl 1379.68102） 全文： 内政部 arXiv公司
何塞·莫拉莱斯（Jose F.Morales）。;雷米·海默尔;曼努埃尔·卡罗;曼努埃尔五世（Manuel V.Hermenegildo）。 将（C）LP轻量级编译为JavaScript。 （英语） Zbl 1261.68044号 理论与实践。日志。程序。 12，编号4-5，755-773（2012）.MSC公司：68N20型 68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Morales}等人，《理论与实践》。日志。程序。12、编号4--5、755--773（2012；Zbl 1261.68044） 全文： 内政部 arXiv公司
M.V.Hermenegildo。;布埃诺，F。;M.卡罗。;López-García，P。;Mera，E。;J.F.莫拉莱斯。;G.普埃布拉。 Ciao及其设计理念概述。 （英语） Zbl 1244.68019号 理论与实践。日志。程序。 12，编号1-2，219-252（2012）.MSC公司：68N17号 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}等人，《理论与实践》。日志。程序。12、编号1--2、219--252（2012；Zbl 1244.68019） 全文： 内政部