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

2024

  1. HUB Meets Posit: Arithmetic Units Implementation

    IEEE Transactions on Circuits and Systems II: Express Briefs, Vol. 71, Núm. 1, pp. 440-444

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)

  2. I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022

    CEUR Workshop Proceedings

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)

  2. Preface

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

2017

  1. Preface

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

2016

  1. Applications of evolutionary computation: 19th European conference, Evoapplications 2016 Porto, Portugal, March 30 – April 1, 2016 proceedings, part II

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

  2. Applications of evolutionary computation: 19th European conference, evoapplications 2016 Porto, Portugal, march 30 – april 1, 2016 proceedings, part I

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

  3. 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. Applications of evolutionary computation: 18th European Conference, EvoApplications 2015 Copenhagen, Denmark, April 8–10, 2015 proceedings

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

  2. Equational abstractions in rewriting logic and Maude

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

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

    Science of Computer Programming

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

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