Bohua Zhan
Author
Alternate names Bo‐Hua Zhan, B Zhan, Bohua Zhan
Institution Huawei Technologies (China)
Past institutions Huawei Technologies (China), Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, State Key Laboratory of Computer Science +4 more
ORCID: Yes
H-index: 9
I10-index: 8
Works count: 72
Citations count: 344
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
2019 · Junyi Liu, Bohua Zhan, et al. · Lecture notes in computer science
On the security of HY-key authentication scheme
1999 · Bohua Zhan, Z Li, et al. · Computer Communications
Learning Nondeterministic Real-Time Automata
2021 · Jie An, Bohua Zhan, et al. · ACM Transactions on Embedded Computing Systems