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

Sushen Vallabh Vangeepuram

Iowa State University

0H指数
3论文数
0被引数
收录论文 1
发表时间
logo
Embedding Quantum Program Verification into Dafny将量子程序验证嵌入Dafny
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errCheng, Feifei; Vangeepuram, Sushen; Allard, Henry; Jafari, Seyed Mohammad Reza; Potanin, Alex; Li, Liyi
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Alex Potanin
H 指数: 17 · 论文数: 98
L
Liyi Li
H 指数: 6 · 论文数: 31
S
Seyed Mohammad Reza Jafari
H 指数: 0 · 论文数: 2
F
Feifei Cheng
H 指数: 0 · 论文数: 2
H
Henry Allard
H 指数: 0 · 论文数: 2
已加载全部