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

Liyi Li

Iowa State University

6H指数
31论文数
110被引数
收录论文 2
发表时间
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 formally certified end-to-end implementation of Shor's factorization algorithm
errPROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
IF9.1
err2023-05-15
err4
errOAAI
errPeng, Yuxiang; Hietala, Kesha; Tao, Runzhou; Li, Liyi; Rand, Robert; Hicks, Michael; Wu, Xiaodi
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Michael Hicks
H 指数: 48 · 论文数: 254
R
Robert W. Rand
H 指数: 40 · 论文数: 229
X
Xiaodi Wu
H 指数: 20 · 论文数: 107
Y
Yuxiang Peng
H 指数: 17 · 论文数: 48
A
Alex Potanin
H 指数: 17 · 论文数: 98
查看更多