| Introducing the ITP Tool: a Tutorial. M Clavel, M Palomino, A Riesco J. Univers. Comput. Sci. 12 (11), 1618-1650, 2006 | 76 | 2006 |
| A survey of algorithmic debugging R Caballero, A Riesco, J Silva ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017 | 50 | 2017 |
| 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 | 37 | 2012 |
| 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 | 27 | 2019 |
| 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 (1), 1809513, 2017 | 27 | 2017 |
| 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 | 26 | 2018 |
| A Maude environment for CafeOBJ A Riesco, K Ogata, K Futatsugi Formal Aspects of Computing 29, 309-334, 2017 | 25 | 2017 |
| 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 | 24 | 2009 |
| 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 | 23 | 2014 |
| 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 | 22 | 2009 |
| Declarative debugging of rewriting logic specifications A Riesco, A Verdejo, R Caballero, N Martí-Oliet International Workshop on Algebraic Development Techniques, 308-325, 2008 | 22 | 2008 |
| FlinkCheck: property-based testing for apache flink CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá IEEE Access 7, 150369-150382, 2019 | 19 | 2019 |
| A distributed implementation of Mobile Maude F Durán, A Riesco, A Verdejo Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007 | 19 | 2007 |
| 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 | 18 | 2013 |
| 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 | 17 | 2018 |
| Test-case generation for maude functional modules A Riesco International Workshop on Algebraic Development Techniques, 287-301, 2010 | 16 | 2010 |
| 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 | 16 | 2010 |
| Integrating maude into hets M Codescu, T Mossakowski, A Riesco, C Maeder Algebraic Methodology and Software Technology: 13th International Conference …, 2011 | 15 | 2011 |
| A complete declarative debugger for Maude A Riesco, A Verdejo, N Martí-Oliet International Conference on Algebraic Methodology and Software Technology …, 2010 | 14 | 2010 |
| Specification and verification of invariant properties of transition systems D Gaina, I Tutu, A Riesco 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 99-108, 2018 | 12 | 2018 |
RAFAEL CABALLERO ROLDANUniversidad Complutense de MadridDirección de correo verificada de ucm.es
