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

Miguel Gómez‐Zamalloa

Complutense University of Madrid

17H指数
58论文数
777被引数
收录论文 3
发表时间
logo
Optimal dynamic partial order reduction with context-sensitive independence and observers
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-08-01
err1
errOAAI
errAlbert, Elvira; de la Banda, Maria Garcia; Gomez-Zamalloa, Miguel; Isabel, Miguel; Stuckey, Peter
err分享
err收藏
Deadlock-Guided Testing
errIEEE ACCESS
IF3.6
err2021-01-01
err2
errOAAI
errGomez-Zamalloa, Miguel; Isabel, Miguel
err分享
err收藏
Decompilation of Java bytecode to Prolog by partial evaluation通过部分评估将Java字节码反编译为Prolog
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2009-10-01
err19
PREAI
errGomez-Zamalloa, Miguel; Albert, Elvira; Puebla, German
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Peter J. Stuckey
H 指数: 54 · 论文数: 732
G
Germán Puebla
H 指数: 29 · 论文数: 128
M
María García de la Banda
H 指数: 28 · 论文数: 149
E
Elvira Albert
H 指数: 28 · 论文数: 206
M
Miguel Isabel
H 指数: 7 · 论文数: 19
已加载全部