Yangjia Li
Author
Alternate name Yangjia Li
Institution Guangdong University of Technology
Past institutions Institute of Software, Guangdong University of Technology, Chinese Academy of Sciences, University of Chinese Academy of Sciences, University of Tartu +4 more
ORCID: Yes
H-index: 11
I10-index: 13
Works count: 31
Citations count: 332
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
2019 · Junyi Liu, Bohua Zhan, et al. · Lecture notes in computer science
Model-Checking Linear-Time Properties of Quantum Systems
2014 · Mingsheng Ying, Yangjia Li, et al. · ACM Transactions on Computational Logic
Reachability Analysis for Solvable Dynamical Systems
2017 · Ting Gan, Mingshuai Chen, et al. · IEEE Transactions on Automatic Control