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

Miguel Isabel

Universidad Politecnica de Madrid

7H指数
19论文数
217被引数
收录论文 3
发表时间
logo
CIRCOM: A Circuit Description Language for Building Zero-Knowledge Applications
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-11-01
err9
errOAAI
errBelles-Munoz, Marta; Isabel, Miguel; Munoz-Tapia, Jose Luis; Rubio, Albert; Baylina, Jordi
err分享
err收藏
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收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Peter J. Stuckey
H 指数: 54 · 论文数: 732
M
María García de la Banda
H 指数: 28 · 论文数: 149
E
Elvira Albert
H 指数: 28 · 论文数: 206
A
Albert Rubio
H 指数: 26 · 论文数: 114
J
José L. Muñoz
H 指数: 19 · 论文数: 122
查看更多