Awesome Quantum Computing
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
🤖
Ask AI
Li Zhou — most-cited papers & profile · Quantum Computing
← authors
·
overview
Li Zhou
19
papers ·
78
citations ·
23
h-index
Northwestern Polytechnical University · Institute of Economics
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Refinement calculus of quantum programs with projective assertions
2023 · 1 citations
Borrowing Dirty Qubits in Quantum Programs
2025
Efficient Formal Verification of Quantum Error Correcting Programs
2025
Relational Proofs for Quantum Programs
2019
Protocols for Packet Quantum Network Intercommunication
2019
Top co-authors
Mingsheng Ying
· 2
Nengkun Yu
· 2
Bonan Su
· 1
Ching-Yi Lai
· 1
Gilles Barthe
· 1
Justin Hsu
· 1
Mengyu Zhao
· 1
Qifan Huang
· 1
Wang Fang
· 1
Yingte Xu
· 1
Yuan Feng
· 1
Yuan Feng and Mingsheng Ying
· 1
Topics
Quantum Software
Theory
Quantum Cryptography
Quantum Algorithms
Error Correction
Hardware