Adrián Riesco

Adrián Riesco

Universidad Complutense de Madrid - Madrid / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147505
Complutense University of Madrid
person_outline Adrián Riesco's MOST POPULAR ARTICLES
1-) Introducing the ITP Tool: a Tutorial.M Clavel, M Palomino, A RiescoJ. Univers. Comput. Sci. 12 (11), 1618-1650, 2006662006
2-) A survey of algorithmic debuggingR Caballero, A Riesco, J SilvaACM Computing Surveys (CSUR) 50 (4), 1-35, 2017412017
3-) Declarative debugging of rewriting logic specificationsA Riesco, A Verdejo, N Martí-Oliet, R CaballeroThe Journal of Logic and Algebraic Programming 81 (7), 851-897, 2012382012
4-) Soft set theory for decision making in computational biology under incomplete informationB Santos-Buitrago, A Riesco, M Knapp, JCR Alcantud, G Santos-García, ...IEEE Access 7, 18183-18193, 2019262019
5-) Prove it! inferring formal proof scripts from CafeOBJ proof scoresA Riesco, K OgataACM Transactions on Software Engineering and Methodology (TOSEM) 27 (2), 1-32, 2018262018