JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Publicaciones en las que colabora con ADRIÁN RIESCO RODRÍGUEZ (14)
2012
-
Declarative debugging of rewriting logic specifications
Journal of Logic and Algebraic Programming
-
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
-
A complete declarative debugger for maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Declarative debugging of missing answers for Maude specifications
Leibniz International Proceedings in Informatics, LIPIcs
-
Enhancing the debugging of maude specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81
-
Declarative debugging of rewriting logic specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
A declarative debugger for Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science
-
Declarative debugging of membership equational logic specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Implementing and analyzing in maude the enhanced interior gateway routing protocol
Electronic Notes in Theoretical Computer Science
2007
-
A Distributed Implementation of Mobile Maude
Electronic Notes in Theoretical Computer Science, Vol. 176, Núm. 4, pp. 113-131
-
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)