| 2026 | ASPLOS | Borrowing Dirty Qubits in Quantum Programs. | Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying |
| 2026 | FM | QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits (Long Tool Paper). | Zihao Li, Ji Guan, Mingsheng Ying |
| 2025 | DATE | Image Computation for Quantum Transition Systems. | Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying |
| 2025 | ICCAD | Quantum State Preparation Based on LimTDD. | Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying |
| 2025 | ICML | Quantum Speedup for Hypergraph Sparsification. | Chenghua Liu, Minbo Gao, Zhengfeng Ji, Mingsheng Ying |
| 2025 | INFOCOM | Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks. | Huiping Lin, Ruixuan Deng, Chris Z. Yao, Zhengfeng Ji, Mingsheng Ying |
| 2024 | CAV | QReach: A Reachability Analysis Tool for Quantum Markov Chains. | Aochu Dai, Mingsheng Ying |
| 2024 | CAV | Measurement-Based Verification of Quantum Markov Chains. | Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying |
| 2024 | DAC | SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. | Wang Fang, 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 |
| 2023 | QCE | Decision Diagrams for Symbolic Verification of Quantum Circuits. | Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying |
| 2022 | CAV | Verifying Fairness in Quantum Machine Learning. | Ji Guan, Wang Fang, Mingsheng Ying |
| 2022 | ICCAD | Equivalence Checking of Dynamic Quantum Circuits. | Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying |
| 2022 | LICS | Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. | Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying |
| 2022 | PLDI | Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. | Yuxiang Peng, Mingsheng Ying, Xiaodi Wu |
| 2021 | CAV | Robustness Verification of Quantum Classifiers. | Ji Guan, Wang Fang, Mingsheng Ying |
| 2021 | DAC | Approximate Equivalence Checking of Noisy Quantum Circuits. | Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li |
| 2021 | FM | Model Checking for Verification of Quantum Circuits. | Mingsheng Ying |
| 2021 | LICS | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu |
| 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 |
| 2019 | PLDI | An applied quantum Hoare logic. | Li Zhou, Nengkun Yu, Mingsheng Ying |
| 2017 | POPL | Invariants of quantum programs: characterisations and generation. | Mingsheng Ying, Shenggang Ying, Xiaodi Wu |
| 2015 | CONCUR | Toward Automatic Verification of Quantum Cryptographic Protocols. | Yuan Feng, Mingsheng Ying |
| 2014 | CONCUR | (Un)decidable Problems about Reachability of Quantum Systems. | Yangjia Li, Mingsheng Ying |
| 2013 | CONCUR | Reachability Probabilities of Quantum Markov Chains. | Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying |
| 2013 | MFCS | Reachability Analysis of Recursive Quantum Markov Chains. | Yuan Feng, Nengkun Yu, Mingsheng Ying |
| 2012 | CONCUR | Reachability and Termination Analysis of Concurrent Quantum Programs. | Nengkun Yu, Mingsheng Ying |
| 2011 | IJCAI | Translating First-Order Theories into Logic Programs. | Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou |
| 2011 | POPL | Bisimulation for quantum processes. | Yuan Feng, Runyao Duan, Mingsheng Ying |
| 2010 | AAAI | Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. | Heng Zhang, Mingsheng Ying |
| 2010 | APLAS | Foundations of Quantum Programming (Extended Abstract). | Mingsheng Ying |
| 2010 | ECSA | An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. | Guoxin Su, Mingsheng Ying, Chengqi Zhang |
| 2008 | AAAI | Reasoning with Cardinal Directions: An Efficient Algorithm. | Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying |
| 2007 | AAAI | Strongly Decomposable Voting Rules on Multiattribute Domains. | Lirong Xia, Jrme Lang, Mingsheng Ying |
| 2007 | TARK | Sequential voting rules and multiple elections paradoxes. | Lirong Xia, Jrme Lang, Mingsheng Ying |
| 2005 | GRC | A theory of computation based on quantum logic (I). | Mingsheng Ying |