Li Zhou
Scholar

Li Zhou

Google Scholar ID: oEZ7iPkAAAAJ
Institute of Software, Chinese Academy of Sciences
Quantum computingFormal Verification
Google Scholar↗
Citations & Impact
All-time
Citations
730
 
H-index
15
 
i10-index
16
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
3 items
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
2026
Cited
0
A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
2026
Cited
0
Small Target Detection Based on Mask-Enhanced Attention Fusion of Visible and Infrared Remote Sensing Images
2026
Cited
0
Resume (English only)
Co-authors
16 total
Mingsheng Ying
Mingsheng Ying
University of Technology Syeney
Nengkun Yu
Nengkun Yu
Stony Brook University
Gilles Barthe
Gilles Barthe
MPI-SP and IMDEA Software Institute
Co-author 4
Co-author 4
Yufei Ding
Yufei Ding
University of California, San Diego
Yuan Xie
Yuan Xie
Chair Professor of Hong Kong University of Science and Technology (HKUST)
Yuan Feng
Yuan Feng
Tsinghua University
Pierre-Yves Strub
Pierre-Yves Strub
Research Scientist, PQShield