default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLi Zhou 0013
Person information
- affiliation: Chinese Academy of Sciences, Institute of Software, Beijing, China
- affiliation: Max Planck Institute for Security and Privacy, Bochum, Germany
- affiliation (PhD 2019): Tsinghua University, Department of Computer Science and Technology, Beijing, China
Other persons with the same name
- Li Zhou — disambiguation page
- Li Zhou 0001 — Polk State College, Department of Mathematics, Winter Haven, FL, USA
- Li Zhou 0002
![[0000-0003-4099-6917]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-4099-6917")
— National University of Defense Technology, College of Electronic Science, Changsha, China - Li Zhou 0003 — Naval Academy of Armament, Beijing, China (and 1 more)
- Li Zhou 0004 — University of Greenwich, Systems Management and Strategy Department, Connected Cities Research Group, London, UK
- Li Zhou 0005 — Shandong University, School of Microelectronics, China (and 1 more)
- Li Zhou 0006 — Carnegie Mellon University, Pittsburgh, PA, USA
- Li Zhou 0007 — Harvard Medical School, Boston, MA, USA (and 2 more)
- Li Zhou 0008 — Hangzhou Dianzi University, School of Computer Science and Technology, Hangzhou, China
- Li Zhou 0009 — National University of Defense Technology, College of Computer, Changsha, China
- Li Zhou 0010 — Chinese University of Hong Kong, Shenzhen, China (and 1 more)
- Li Zhou 0011 — Beijing Wuzi University, School of Information, Beijing, China (and 1 more)
- Li Zhou 0012 — Ohio State University, Department of Computer Science and Engineering, Columbus, OH, USA
- Li Zhou 0014 — University of Massachusetts Lowell, Department of Electrical and Computer Engineering, Lowell, MA, USA
- Li Zhou 0015 — Chinese Academy of Sciences, Institute of Microelectronics, Beijing, China
- Li Zhou 0016 — China University of Geosciences, School of Arts and Communication, Wuhan, China
- Li Zhou 0017 — Alibaba Group, TAO Technology, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j10]Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying:
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. J. ACM 72(3): 20:1-20:51 (2025)- [j9]Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying:
Efficient Formal Verification of Quantum Error Correcting Programs. Proc. ACM Program. Lang. 9(PLDI): 1068-1093 (2025) - [j8]Yingte Xu, Gilles Barthe, Li Zhou:
Automating Equational Proofs in Dirac Notation. Proc. ACM Program. Lang. 9(POPL): 1227-1259 (2025) - [c6]Yingte Xu, Li Zhou, Gilles Barthe:
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation. CAV (4) 2025: 53-76 - [i16]Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou:
Complete Quantum Relational Hoare Logics from Optimal Transport Duality. CoRR abs/2501.15238 (2025) - [i15]Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying:
Efficient Formal Verification of Quantum Error Correcting Programs. CoRR abs/2504.07732 (2025) - [i14]Yingte Xu, Li Zhou, Gilles Barthe:
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation. CoRR abs/2505.08633 (2025) - [i13]Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying:
Borrowing Dirty Qubits in Quantum Programs. CoRR abs/2508.17190 (2025) - 2024
- [i12]Yingte Xu, Gilles Barthe, Li Zhou:
Automating Equational Proofs in Dirac Notation. CoRR abs/2411.11617 (2024) - [i11]Mingsheng Ying, Li Zhou, Gilles Barthe:
Laws of Quantum Programming. CoRR abs/2412.19463 (2024) - 2023
- [j7]Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying:
CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang. 7(POPL): 833-865 (2023) - [i10]Yuan Feng, Li Zhou, Yingte Xu:
Refinement calculus of quantum programs with projective assertions. CoRR abs/2311.14215 (2023) - 2022
- [j6]Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng:
A proof system for disjoint parallel quantum programs. Theor. Comput. Sci. 897: 164-184 (2022) - [j5]Nengkun Yu, Li Zhou:
Comments on and Corrections to "When Is the Chernoff Exponent for Quantum Operations Finite?". IEEE Trans. Inf. Theory 68(6): 3989-3990 (2022) - [c5]Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying:
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. LICS 2022: 4:1-4:13 - [i9]Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying:
CoqQ: Foundational Verification of Quantum Programs. CoRR abs/2207.11350 (2022) - 2021
- [j4]Nengkun Yu, Li Zhou:
When is the Chernoff Exponent for Quantum Operations Finite? IEEE Trans. Inf. Theory 67(7): 4517-4523 (2021) - [c4]Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou:
EasyPQC: Verifying Post-Quantum Cryptography. CCS 2021: 2564-2586 - [c3]Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu:
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS 2021: 1-14 - [i8]Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu:
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR abs/2102.00329 (2021) - [i7]Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou:
EasyPQC: Verifying Post-Quantum Cryptography. IACR Cryptol. ePrint Arch. 2021: 1253 (2021) - 2020
- [j3]Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie:
Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang. 4(OOPSLA): 150:1-150:29 (2020) - [j2]Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou:
Relational proofs for quantum programs. Proc. ACM Program. Lang. 4(POPL): 21:1-21:29 (2020) - [j1]Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying:
Strassen's theorem for quantum couplings. Theor. Comput. Sci. 802: 67-76 (2020)
2010 – 2019
- 2019
- [c2]Li Zhou, Nengkun Yu, Mingsheng Ying:
An applied quantum Hoare logic. PLDI 2019: 1149-1162 - [i6]Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou:
Coupling Techniques for Reasoning about Quantum Programs. CoRR abs/1901.05184 (2019) - [i5]Nengkun Yu, Ching-Yi Lai, Li Zhou:
Protocols for Packet Quantum Network Intercommunication. CoRR abs/1903.10685 (2019) - [i4]Junyi Liu, Li Zhou, Mingsheng Ying:
Expected Runtime of Quantum Programs. CoRR abs/1911.12557 (2019) - [i3]Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie:
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. CoRR abs/1911.12855 (2019) - 2018
- [p1]Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying:
Q|SI⟩ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems 2018: 133-164 - [i2]Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying:
Quantum Coupling and Strassen Theorem. CoRR abs/1803.10393 (2018) - 2017
- [c1]Li Zhou, Mingsheng Ying:
Differential Privacy in Quantum Computation. CSF 2017: 249-262 - [i1]Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying:
Q|SI〉: A Quantum Programming Environment. CoRR abs/1710.09500 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-11 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
