Publicaciones en las que colabora con Francisco Durán Muñoz (19)

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)

2020

  1. Programming and symbolic computation in Maude

    Journal of Logical and Algebraic Methods in Programming, Vol. 110

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. Unification and narrowing in maude 2.4

    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. 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)

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

2000

  1. Polytypic programming in Maude

    Electronic Notes in Theoretical Computer Science

  2. Towards Maude 2.0

    Electronic Notes in Theoretical Computer Science

  3. Using maude

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

1999

  1. The maude system

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

1998

  1. Maude as a metalanguage

    Electronic Notes in Theoretical Computer Science

  2. Metalevel computation in maude

    Electronic Notes in Theoretical Computer Science