| 2022 | ICCD | Exploiting Quantum Assertions for Error Mitigation and Quantum Program Debugging. | Peiyi Li, Ji Liu, Yangjia Li, Huiyang Zhou |
| 2021 | ICALP | Quantum Relational Hoare Logic with Expectations. | Yangjia Li, Dominique Unruh |
| 2019 | CAV | Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. | Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan |
| 2018 | ATVA | What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. | Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
| 2018 | SETTA | Robust Non-termination Analysis of Numerical Software. | Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang |
| 2016 | FM | Validated Simulation-Based Verification of Delayed Differential Dynamics. | Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
| 2016 | FM | Approximate Bisimulation and Discretization of Hybrid CSP. | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
| 2014 | CONCUR | (Un)decidable Problems about Reachability of Quantum Systems. | Yangjia Li, Mingsheng Ying |