| 2026 | CAV | How Many Quantum Circuit Identities Are Needed to Generate All Others? | Yuantian Ding, Nengkun Yu, Xiaokang Qiu |
| 2026 | ICDCS | Rethinking Quantum Network Design Using a Verification-Based Quantum Transmission Protocol. | Yiming Zeng, Zhengyu Wu, Xuan Du Trinh, Yuanyuan Yang, Nengkun Yu, Aruna Balasubramanian |
| 2026 | STOC | Approximation Does Not Help in Quantum Unitary Time-Reversal. | Kean Chen, Nengkun Yu, Zhicheng Zhang |
| 2025 | QCE | Towards Efficient Verification of Computation in Quantum Devices. | Keren Li, Peng Yan, Hanru Jiang, Nengkun Yu |
| 2025 | STOC | Pauli Measurements Are Not Optimal for Single-Copy Tomography. | Jayadev Acharya, Abhilash Dharmavarapu, Yuhan Liu, Nengkun Yu |
| 2024 | CAV | Approximate Relational Reasoning for Quantum Programs. | Peng Yan, Hanru Jiang, Nengkun Yu |
| 2023 | UAI | Accelerating Voting by Quantum Computation. | Ao Liu, Qishen Han, Lirong Xia, Nengkun Yu |
| 2022 | SAS | Towards Efficient Reasoning of Quantum Programs. | Nengkun Yu |
| 2022 | TACAS | A Probabilistic Logic for Verifying Continuous-time Markov Chains. | Ji Guan, Nengkun Yu |
| 2021 | CONCUR | Model Checking Quantum Continuous-Time Markov Chains. | Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu |
| 2021 | ISIT | Discrimination of quantum states under locality constraints in the many-copy setting. | Hao-Chung Cheng, Andreas J. Winter, Nengkun Yu |
| 2021 | LICS | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu |
| 2021 | PLDI | Quantum abstract interpretation. | Nengkun Yu, Jens Palsberg |
| 2019 | PLDI | An applied quantum Hoare logic. | Li Zhou, Nengkun Yu, Mingsheng Ying |
| 2018 | STOC | Capacity approaching coding for low noise interactive quantum communication. | Debbie W. Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu |
| 2017 | STOC | Exponential separation of quantum communication and classical information. | Anurag Anshu, Dave Touchette, Penghui Yao, Nengkun Yu |
| 2016 | ISIT | Quantum capacities for entanglement networks. | Shawn X. Cui, Zheng-Feng Ji, Nengkun Yu, Bei Zeng |
| 2016 | STOC | Sample-optimal tomography of quantum states. | Jeongwan Haah, Aram W. Harrow, Zheng-Feng Ji, Xiaodi Wu, Nengkun Yu |
| 2013 | CONCUR | Reachability Probabilities of Quantum Markov Chains. | Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying |
| 2013 | ISAAC | Determinantal Complexities and Field Extensions. | Youming Qiao, Xiaoming Sun, Nengkun Yu |
| 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 |