logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Adrián Riesco

complutense university of madrid

13H-index
83Paper Count
550Citation Count
Published Papers 11
Publication Date
logo
LearnSQL: Impact of an Automatic Judge in Database Learning
errACM Transactions on Computing Education
IF3.8
err2026-03-01
err0
PREAI
errMartin-martin, Enrique; Montenegro, Manuel; Riesco, Adrian; Rubio, Ruben; Saenz-perez, Fernando
errShare
errSave
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-09-30
err2
errOAAI
errCanh Minh Do; Phyo, Yati; Riesco, Adrian; Ogata, Kazuhiro
errShare
errSave
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
errMULTIMEDIA TOOLS AND APPLICATIONS
IF3
err2023-07-24
err0
errOAAI
errBui, Dang Duy; Tran, Duong Dinh; Ogata, Kazuhiro; Riesco, Adrian
errShare
errSave
An integrated tool set for verifying CafeOBJ specifications
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2022-07-01
err3
errOAAI
errRiesco, Adrian; Ogata, Kazuhiro
errShare
errSave
A unified framework for declarative debugging and testing
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-01-01
err1
PREAI
errCaballero, Rafael; Martin-Martin, Enrique; Riesco, Adrian; Tamarit, Salvador
errShare
errSave
Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information
errIEEE ACCESS
IF3.6
err2019-01-01
err13
errOAAI
errSantos-Buitrago, Beatriz; Riesco, Adrian; Knapp, Merrill; Alcantud, Jose Carlos R.; Santos-Garcia, Gustavo; Talcott, Carolyn
errShare
errSave
FlinkCheck: Property-Based Testing for Apache Flink
errIEEE ACCESS
IF3.6
err2019-01-01
err12
errOAAI
errEspinosa, Cristina Valentina; Martin-Martin, Enrique; Riesco, Adrian; Rodriguez-Hortala, Juan
errShare
errSave
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2018-07-19
err12
PREAI
errRiesco, Adrian; Ogata, Kazuhiro
errShare
errSave
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study
errINTERACTIVE LEARNING ENVIRONMENTS
IF5.3
err2018-03-26
err4
PREAI
errBrita-Paja, J. L.; Gregorio, C.; Llana, L.; Pareja, C.; Riesco, A.
errShare
errSave
A Language-Independent Technique for Assessing Tweet Success: An Experience Report
errIEEE ACCESS
IF3.6
err2018-01-01
err1
errOAAI
errMartin-Martin, Enrique; Riesco, Adrian; Rodriguez, Manuel
errShare
errSave
A Survey of Algorithmic Debugging
errACM COMPUTING SURVEYS
IF28
err2017-08-30
err23
errOAAI
errCaballero, Rafael; Riesco, Adrian; Silva, Josep
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
J
José Carlos R. Alcantud
H-index: 45 · Papers: 262
M
Manuel Gomez-Rodriguez
H-index: 39 · Papers: 182
C
Carolyn Talcott
H-index: 37 · Papers: 340
K
Kazuhiro Ogata
H-index: 19 · Papers: 211
G
Gustavo Santos‐García
H-index: 19 · Papers: 67
View more