Adrián Riesco
Adrián Riesco
PhD Assistant Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, Universidad
Verified email at fdi.ucm.es - Homepage
Title
Cited by
Cited by
Year
Introducing the ITP Tool: a Tutorial.
M Clavel, M Palomino, A Riesco
J. UCS 12 (11), 1618-1650, 2006
592006
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, N Martí-Oliet, R Caballero
The Journal of Logic and Algebraic Programming 81 (7), 851-897, 2012
352012
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, R Caballero, N Martí-Oliet
International Workshop on Algebraic Development Techniques, 308-325, 2008
232008
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
222017
EDD: A declarative debugger for sequential erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tools and Algorithms for the Construction and …, 2014
212014
Implementing and analyzing in Maude the enhanced interior gateway routing protocol
A Riesco, A Verdejo
Electronic notes in theoretical computer science 238 (3), 249-266, 2009
212009
A declarative debugger for Maude functional modules
R Caballero, N Martí-Oliet, A Riesco, A Verdejo
Electronic Notes in Theoretical Computer Science 238 (3), 63-81, 2009
212009
A generic program slicing technique based on language definitions
A Riesco, IM Asăvoae, M Asăvoae
International Workshop on Algebraic Development Techniques, 248-264, 2012
172012
Declarative Debugging of Missing Answers for Maude
A Riesco, A Verdejo, N Marti-Oliet
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
172010
A distributed implementation of Mobile Maude
F Durán, A Riesco, A Verdejo
Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007
172007
A complete declarative debugger for Maude
A Riesco, A Verdejo, N Martí-Oliet
International Conference on Algebraic Methodology and Software Technology …, 2010
142010
Test-case generation for maude functional modules
A Riesco
International Workshop on Algebraic Development Techniques, 287-301, 2010
132010
Rewriting logic and its applications
N Marti-Oliet, J MESEGUER
Theoretical Computer Science 285 (2), 2002
122002
A Maude environment for CafeOBJ
A Riesco, K Ogata, K Futatsugi
Formal Aspects of Computing 29 (2), 309-334, 2017
112017
A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tests and Proofs, 96-114, 2013
102013
Programming with singular and plural non-deterministic functions
A Riesco, J Rodríguez-Hortalá
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
102010
Epidermal growth factor signaling towards proliferation: modeling and logic inference using forward and backward search
A Riesco, B Santos-Buitrago, J De Las Rivas, M Knapp, G Santos-García, ...
BioMed research international 2017, 2017
92017
Speeding up algorithmic debugging using balanced execution trees
D Insa, J Silva, A Riesco
International Conference on Tests and Proofs, 133-151, 2013
92013
Declarative debugging of membership equational logic specifications
R Caballero, N Martí-Oliet, A Riesco, A Verdejo
Concurrency, Graphs and Models, 174-193, 2008
92008
Prove it! inferring formal proof scripts from CafeOBJ proof scores
A Riesco, K Ogata
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (2), 1-32, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20