Proof rules for purely quantum programs - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (CoRR, 2005)

Probabilistic bisimilarities between quantum processes - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (CoRR, 2006)

Some Issues in Quantum Information Theory. - Runyao Duan; Zheng-Feng Ji; Yuan Feng 001; Mingsheng Ying (J. Comput. Sci. Technol., 2006)

Probabilistic bisimulations for quantum processes. - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (Inf. Comput., 2007)

Proof rules for the correctness of quantum programs. - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (Theor. Comput. Sci., 2007)

Parameter Estimation of Quantum Channels. - Zheng-Feng Ji; Guoming Wang; Runyao Duan; Yuan Feng 001; Mingsheng Ying (IEEE Trans. Inf. Theory, 2008)

An algebra of quantum processes. - Mingsheng Ying; Yuan Feng 001; Runyao Duan; Zheng-Feng Ji (ACM Trans. Comput. Log., 2009)

Multi-error-correcting amplitude damping codes. - Runyao Duan; Markus Grassl; Zhengfeng Ji; Bei Zeng (ISIT, 2010)

QIP = PSPACE. - Rahul Jain 001; Zhengfeng Ji; Sarvagya Upadhyay; John Watrous (Commun. ACM, 2010)

The LU-LC conjecture is false. - Zheng-Feng Ji; Jianxin Chen; Zhaohui Wei; Mingsheng Ying (Quantum Inf. Comput., 2010)

Symmetries of Codeword Stabilized Quantum Codes. - Salman Beigi; Jianxin Chen; Markus Grassl; Zhengfeng Ji; Qiang Wang 012; Bei Zeng (TQC, 2013)

Binary Constraint System Games and Locally Commutative Reductions. - Zhengfeng Ji (CoRR, 2013)

Quantum capacities for entanglement networks. - Shawn X. Cui; Zheng-Feng Ji; Nengkun Yu; Bei Zeng (ISIT, 2016)

Compression of quantum multi-prover interactive proofs. - Zhengfeng Ji (STOC, 2017)

Pseudorandom States, Non-Cloning Theorems and Quantum Money. - Zhengfeng Ji; Yi-Kai Liu 001; Fang Song 001 (CoRR, 2017)

Sample-Optimal Tomography of Quantum States. - Jeongwan Haah; Aram W. Harrow; Zhengfeng Ji; Xiaodi Wu 001; Nengkun Yu (IEEE Trans. Inf. Theory, 2017)

Quantum proof systems for iterated exponential time, and beyond. - Joseph F. Fitzsimons; Zhengfeng Ji; Thomas Vidick; Henry Yuen (Electron. Colloquium Comput. Complex., 2018)

Pseudorandom Quantum States. - Zhengfeng Ji; Yi-Kai Liu 001; Fang Song 001 (IACR Cryptol. ePrint Arch., 2018)

General Linear Group Action on Tensors: A Candidate for Post-Quantum Cryptography. - Zhengfeng Ji; Youming Qiao; Fang Song 001; Aaram Yun (IACR Cryptol. ePrint Arch., 2019)

Classical Verification of Quantum Proofs. - Zhengfeng Ji (Theory Comput., 2019)

Quantum soundness of the classical low individual degree test. - Zhengfeng Ji; Anand Natarajan 001; Thomas Vidick; John Wright 004; Henry Yuen (CoRR, 2020)

Symbolic Verification of Quantum Circuits. - Mingsheng Ying; Zhengfeng Ji (CoRR, 2020)

A three-player coherent state embezzlement game. - Zhengfeng Ji; Debbie W. Leung; Thomas Vidick (Quantum, 2020)

Zero-Knowledge Proof Systems for QMA. - Anne Broadbent; Zhengfeng Ji; Fang Song 001; John Watrous (SIAM J. Comput., 2020)

Quantum soundness of testing tensor codes. - Zhengfeng Ji; Anand Natarajan 001; Thomas Vidick; John Wright 004; Henry Yuen (FOCS, 2021)

Approximating Permanent of Random Matrices with Vanishing Mean: Made Better and Simpler. - Zhengfeng Ji; Zhihan Jin; Pinyan Lu (SODA, 2021)

MIP* = RE. - Zhengfeng Ji; Anand Natarajan 001; Thomas Vidick; John Wright 004; Henry Yuen (Commun. ACM, 2021)

Quantum Parameterized Complexity. - Michael J. Bremner; Zhengfeng Ji; Ryan L. Mann; Luke Mathieson; Mauro E. S. Morales; Alexis T. E. Shaw (CoRR, 2022)

Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis. - Michael J. Bremner; Zhengfeng Ji; Xingjian Li 006; Luke Mathieson; Mauro E. S. Morales (CoRR, 2022)

Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games. - Minbo Gao; Zhengfeng Ji; Tongyang Li; Qisheng Wang (NeurIPS, 2023)

Quantum Maximum Entropy Inference and Hamiltonian Learning. - Minbo Gao; Zhengfeng Ji; Fuchao Wei (CoRR, 2024)

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams. - Ziyuan Wang; Bin Cheng; Longxiang Yuan; Zhengfeng Ji (CAV (4), 2025)

Quantum Speedup for Sampling Random Spanning Trees. - Simon Apers; Minbo Gao; Zhengfeng Ji; Chenghua Liu (ICALP, 2025)

Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks. - Huiping Lin; Ruixuan Deng; Chris Z. Yao; Zhengfeng Ji; Mingsheng Ying (INFOCOM, 2025)

Quantum Network Optimization: From Optimal Routing to Fair Resource Allocation. - Zhaozhen Wang; Xingang Shi; Zhengfeng Ji; Xia Yin 001 (Proc. ACM Meas. Anal. Comput. Syst., 2025)

LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations. - Xin Hong; Aochu Dai; Dingchao Gao; Sanjiang Li; Zhengfeng Ji; Mingsheng Ying (CoRR, 2025)

Quantum Speedup for Hypergraph Sparsification. - Chenghua Liu; Minbo Gao; Zhengfeng Ji; Mingsheng Ying (CoRR, 2025)