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

Qinxiang Cao

Shanghai Jiao Tong University

6H指数
39论文数
276被引数
收录论文 2
发表时间
logo
Encode the bs Relational Hoare Logic into Standard Hoare Logic将bs Relational Hoare Logic编码为Standard Hoare Logic
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errWu, Shushu; Wu, Xiwei; Cao, Qinxiang
err分享
err收藏
Resisting newborn attacks via shared Proof-of-Space
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2021-04-01
err2
PREAI
errTang, Shuyang; Zheng, Jilai; Deng, Yao; Cao, Qinxiang
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Yao Deng
H 指数: 13 · 论文数: 52
X
Xiwei Wu
H 指数: 8 · 论文数: 24
S
Shuyang Tang
H 指数: 5 · 论文数: 27
J
Jilai Zheng
H 指数: 4 · 论文数: 19
W
Wu, Shushu
H 指数: 0 · 论文数: 1
已加载全部