Follow
Adrián Riesco
Adrián Riesco
Associate 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. Univers. Comput. Sci. 12 (11), 1618-1650, 2006
692006
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
482017
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
372012
Soft set theory for decision making in computational biology under incomplete information
B Santos-Buitrago, A Riesco, M Knapp, JCR Alcantud, G Santos-García, ...
IEEE Access 7, 18183-18193, 2019
252019
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
252017
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
242018
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
242014
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
222009
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
222009
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, R Caballero, N Martí-Oliet
International Workshop on Algebraic Development Techniques, 308-325, 2008
222008
A Maude environment for CafeOBJ
A Riesco, K Ogata, K Futatsugi
Formal Aspects of Computing 29, 309-334, 2017
212017
A generic program slicing technique based on language definitions
A Riesco, IM Asăvoae, M Asăvoae
Recent Trends in Algebraic Development Techniques: 21st International …, 2013
182013
A distributed implementation of Mobile Maude
F Durán, A Riesco, A Verdejo
Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007
182007
FlinkCheck: property-based testing for apache flink
CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá
IEEE Access 7, 150369-150382, 2019
172019
Declarative debugging of concurrent Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Journal of logical and algebraic methods in programming 101, 22-41, 2018
152018
Test-case generation for maude functional modules
A Riesco
International Workshop on Algebraic Development Techniques, 287-301, 2010
152010
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
152010
A complete declarative debugger for Maude
A Riesco, A Verdejo, N Martí-Oliet
International Conference on Algebraic Methodology and Software Technology …, 2010
142010
Using narrowing to test Maude specifications
A Riesco
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012 …, 2012
112012
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study
JL Brita-Paja, C Gregorio, L Llana, C Pareja, A Riesco
Interactive Learning Environments 27 (1), 15-32, 2019
102019
The system can't perform the operation now. Try again later.
Articles 1–20