| 2026 | CAV | Formal Verification of Quantum Ancilla Safety. | Jiqi Li, Jingyi Mei, Wang Fang, Ji Guan |
| 2026 | CAV | Model Checking Matrix Product States Against Linear Chain Logic. | Ming Xu, Yihao Chen, Ji Guan |
| 2026 | FM | QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits (Long Tool Paper). | Zihao Li, Ji Guan, Mingsheng Ying |
| 2025 | CCS | Optimal Mechanisms for Quantum Local Differential Privacy. | Ji Guan |
| 2024 | CAV | Measurement-Based Verification of Quantum Markov Chains. | Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying |
| 2024 | DATE | Approximation Algorithm for Noisy Quantum Circuit Simulation. | Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying |
| 2024 | FM | VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. | Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su |
| 2023 | CCS | Detecting Violations of Differential Privacy for Quantum Algorithms. | Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying |
| 2022 | CAV | Verifying Fairness in Quantum Machine Learning. | Ji Guan, Wang Fang, Mingsheng Ying |
| 2022 | TACAS | A Probabilistic Logic for Verifying Continuous-time Markov Chains. | Ji Guan, Nengkun Yu |
| 2021 | CAV | Robustness Verification of Quantum Classifiers. | Ji Guan, Wang Fang, Mingsheng Ying |
| 2021 | CONCUR | Model Checking Quantum Continuous-Time Markov Chains. | Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu |