International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023.. ACM 2023. |
Extensions of Logic Programming in Maude. Feature Article of the Association for Logic Programming. February 2023. |
Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers. Special Issue of Journal of Logical and Algebraic Methods in Programming. Volume 130, January 2023. © Elsevier Science |
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols, co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022. CEUR Workshop Proceedings, volume 3280. CEUR-WS.org 2022 |
Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers. Special Issue of Journal of Logical and Algebraic Methods in Programming. Volume 124, January 2022. Volume 126, April 2022. © Elsevier Science |
Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers. Special Issue of Journal of Logical and Algebraic Methods in Programming. Volume 123, November 2021. © Elsevier Science |
Rewriting Logic and Its Applications, 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science, volume 12328, 215 pages. © Springer-Verlag Available: DOI |
Maude-NPA and Formal Analysis of Protocols with Equational Theories. NATO Science for Peace and Security Series - D: Information and Communication Security. Volume 53: Engineering Secure and Dependable Software Systems, pages 163-188, 2019. © IOS Press Available: IOS link- DOI |
Rewriting logic and its applications (extended selected papers from WRLA 2014). Special Issue of Journal of Logical and Algebraic Methods in Programming. Volume 86, Issue 1, Part 2, Pages 157-297 (January 2017). © Elsevier Science |
Rewriting logic and its applications (extended selected papers from WRLA 2014). Special Issue of Journal of Logical and Algebraic Methods in Programming. Volume 85, Issue 1, Part 1, Pages 1-120 (January 2016). © Elsevier Science |
Rewriting Logic and Its Applications, 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science, volume 8663, 296 pages. © Springer-Verlag Available: DOI |
Functional and (Constraint) Logic Programming, Special Issue of Information and Computation. Information and Computation. Volume 235, pages 1-136, 2014 © Elsevier Science |
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Lecture Notes in Computer Science, volume 5979, 180 pages. © Springer-Verlag Available: DOI |
Security and Rewriting Techniques, 3rd Int'l Workshop Electronic Notes in Theoretical Computer Science, Volume 234, pages 1-114. © Elsevier Science |
Automated Specification and Verification of Web Sites, 4th Int'l Workshop Electronic Notes in Theoretical Computer Science, Volume 235, pages 1-152. © Elsevier Science |
Automated Specification and Verification of Web Sites, 1st Int'l Workshop Electronic Notes in Theoretical Computer Science Volume 157, Issue 2, Pages 1-212, 22 May 2006 © Elsevier Science Available: Online Pre-proceedings |