Publicaciones en colaboración con investigadores/as de Universidad de Málaga (20)

2024

  1. Programming Open Distributed Systems in Maude

    ACM International Conference Proceeding Series

2022

  1. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. Associative unification and symbolic reasoning modulo associativity in maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016

  1. Built-in variant generation and unification, and their applications in Maude 2.7

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. Equational abstractions in rewriting logic and Maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Preface to rewriting logic and its applications (extended selected papers from WRLA 2012)

    Science of Computer Programming

  3. Two decades of Maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. TOY: A System for Experimenting with Cooperation of Constraint Domains

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 79-91

  2. Unification and narrowing in maude 2.4

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008

  1. Cooperation of constraint domains in the toy system

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  2. Playing with TOY: Constraints and domain cooperation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. A Distributed Implementation of Mobile Maude

    Electronic Notes in Theoretical Computer Science, Vol. 176, Núm. 4, pp. 113-131

  2. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme

    Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 235-252

  3. A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

    Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51

  4. All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. Constraint functional logic programming over finite domains

    Theory and Practice of Logic Programming, Vol. 7, Núm. 5, pp. 537-582

2006

  1. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science

2004

  1. A conference reviewing system in mobile maude

    Electronic Notes in Theoretical Computer Science

2003

  1. The Maude 2.0 system

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2002

  1. Maude: Specification and programming in rewriting logic

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 187-243