Publicaciones recientes
Theory and Practice of Logic Programming, 21(6), 768-784.
Proceedings of the Eighth International Workshop Horn Clauses for Verification and Synthesis (HCVS 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), pág. 1-14, Open Publishing Association (OPA), Agosto 2021. Co-located with ETA
6th Workshop on Formal Integrated Development Environment (F-IDE 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), pág. 1-5, Open Publishing Association (OPA), Mayo 2021. Co-located with ETAPS 2021
Tesis doctoral presentada en la Escuela Técnica Superior de Ingenieros Informáticos de la Universidad Politécnica de Madrid el 5 de marzo de 2021
Truths. Logic-Based Program Synthesis and Transformation - 30th International Symposium, Post-Proceedings, Lecture Notes in Computer Science, Vol. 12561, pág. 271-292, Springer, 2021.
