Publicaciones en las que colabora con ADRIÁN RIESCO RODRÍGUEZ (14)

2012

  1. Declarative debugging of rewriting logic specifications

    Journal of Logic and Algebraic Programming

  2. Simplifying questions in maude declarative debugger by transforming proof trees

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

2011

  1. A complete declarative debugger for maude

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

2010

  1. Declarative debugging of missing answers for Maude specifications

    Leibniz International Proceedings in Informatics, LIPIcs

  2. Enhancing the debugging of maude specifications

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

2009

  1. A Declarative Debugger for Maude Functional Modules

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

  2. Declarative debugging of rewriting logic specifications

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

  3. Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

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

2008

  1. A declarative debugger for Maude

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

  2. A declarative debugger for Maude functional modules

    Electronic Notes in Theoretical Computer Science

  3. Declarative debugging of membership equational logic specifications

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

  4. Implementing and analyzing in maude the enhanced interior gateway routing protocol

    Electronic Notes in Theoretical Computer Science

2007

  1. A Distributed Implementation of Mobile Maude

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

  2. Distributed applications implemented in maude with parameterized skeletons

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