Publicaciones en colaboración con investigadores/as de University of Illinois at Urbana Champaign (23)

2024

  1. Programming Open Distributed Systems in Maude

    ACM International Conference Proceeding Series

2023

  1. The Maude strategy language

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

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)

2017

  1. Individual differences in the dominance of interhemispheric connections predict cognitive ability beyond sex and brain size

    NeuroImage, Vol. 155, pp. 234-244

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)

2010

  1. Algebraic simulations

    Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143

2009

  1. A Rewriting Semantics for Maude Strategies

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247

  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. A Rewriting semantics for Maude strategies

    Electronic Notes in Theoretical Computer Science

  2. Algebraic Stuttering Simulations

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 91-110

  3. Equational abstractions

    Theoretical Computer Science, Vol. 403, Núm. 2-3, pp. 239-264

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)

  2. Deduction, Strategies, and Rewriting

    Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 11 SPEC. ISS., pp. 3-25

  3. Higher-Order and Symbolic: Editorial

    Higher-Order and Symbolic Computation

2005

  1. A categorical approach to simulations

    Lecture Notes in Computer Science

  2. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352

  3. Theoroidal maps as algebraic simulations

    Lecture Notes in Computer Science

  4. Towards a strategy language for Maude

    Electronic Notes in Theoretical Computer Science