logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Adrián Riesco

complutense university of madrid

13H指数
83论文数
550被引数
收录论文 11
发表时间
logo
LearnSQL: Impact of an Automatic Judge in Database LearningLearnSQL：数据库学习中自动判题系统的影响
errACM Transactions on Computing Education
IF3.8
err2026-03-01
err0
PREAI
errMartin-martin, Enrique; Montenegro, Manuel; Riesco, Adrian; Rubio, Ruben; Saenz-perez, Fernando
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
An integrated tool set for verifying CafeOBJ specifications
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2022-07-01
err3
errOAAI
errRiesco, Adrian; Ogata, Kazuhiro
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
FlinkCheck: Property-Based Testing for Apache FlinkFlinkCheck: Apache Flink的基于属性的测试
errIEEE ACCESS
IF3.6
err2019-01-01
err12
errOAAI
errEspinosa, Cristina Valentina; Martin-Martin, Enrique; Riesco, Adrian; Rodriguez-Hortala, Juan
err分享
err收藏
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores证明给我看!从CafeOBJ证明分数推断正式证明脚本
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2018-07-19
err12
PREAI
errRiesco, Adrian; Ogata, Kazuhiro
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏
A Survey of Algorithmic Debugging算法调试综述
errACM COMPUTING SURVEYS
IF28
err2017-08-30
err23
errOAAI
errCaballero, Rafael; Riesco, Adrian; Silva, Josep
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
José Carlos R. Alcantud
H 指数: 45 · 论文数: 261
M
Manuel Gomez-Rodriguez
H 指数: 39 · 论文数: 182
C
Carolyn Talcott
H 指数: 37 · 论文数: 340
K
Kazuhiro Ogata
H 指数: 19 · 论文数: 211
G
Gustavo Santos‐García
H 指数: 19 · 论文数: 67
查看更多