Publications by the researcher in collaboration with Santiago Escobar Román (8)

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)

2020

  1. Preface

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

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