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

Ravi Mangal

nasa ames research center

9H指数
47论文数
346被引数
收录论文 2
发表时间
logo
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errWatson, Christopher; Alur, Rajeev; Gopinath, Divya; Mangal, Ravi; Pasareanu, Corina S.
err分享
err收藏
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-06-01
err0
errOAAI
errCalinescu, Radu; Imrie, Calum; Mangal, Ravi; Rodrigues, Genaina Nunes; Pasareanu, Corina; Santana, Misael Alpizar; Vazquez, Gricel
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
R
Rajeev Alur
H 指数: 82 · 论文数: 401
C
Corina S. Păsăreanu
H 指数: 48 · 论文数: 297
R
Radu Călinescu
H 指数: 32 · 论文数: 276
G
Genaína Nunes Rodrigues
H 指数: 17 · 论文数: 81
C
Calum Imrie
H 指数: 6 · 论文数: 28
查看更多