logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Jingyu Ke

shanghai jiao tong university

2H-index
6Paper Count
5Citation Count
Published Papers 1
Publication Date
logo
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errWei, Haoyu; Ke, Jingyu; Liu, Ruibang; Li, Guoqiang
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Guoqiang Li
H-index: 28 · Papers: 278
R
Ruibang Liu
H-index: 2 · Papers: 13
H
Haoyu Wei
H-index: 0 · Papers: 0
All loaded