Concepedia

Adrián Riesco

AR

12

Publications

226

Citations

11

H-Index

2006

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Seoul National University

SRI International

Japan Advanced Institute of Science and Technology

Universidad de Salamanca

Adrián Riesco is an author at Universidad Complutense de Madrid specializing in computer science, engineering, and formal methods.

Top concepts

Computer ScienceEngineeringFormal MethodsFormal VerificationProgram AnalysisVerificationSoftware AnalysisAutomated ReasoningComputer EngineeringSoftware Engineering

Publications per year

2006–2019

12

Publications

12

Introducing the ITP Tool: a Tutorial

Manuel Clavel, Miguel Palomino, Adrián Riesco · Zenodo (CERN European Organization for Nuclear Research) · 2006 · 49 citations · Full text

Declarative debugging of rewriting logic specifications

Adrián Riesco, Alberto Verdejo, Narciso Martı́-Oliet et al. · The Journal of Logic and Algebraic Programming · 2011 · 26 citations

Formal Specification, Engineering, Program Analysis +10

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

Adrián Riesco, Kazuhiro Ogata · ACM Transactions on Software Engineering and Methodology · 2018 · 25 citations

Engineering, Verification, Software Engineering +21

A Maude environment for CafeOBJ

Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi · Formal Aspects of Computing · 2016 · 18 citations

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information

Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp et al. · IEEE Access · 2019 · 17 citations · Full text

Rows per page

1–5 of 12