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

Catalyst-assisted probabilistic entanglement transformation. - Yuan Feng 001; Runyao Duan; Mingsheng Ying (IEEE Trans. Inf. Theory, 2005)

The existence of quantum entanglement catalysts. - Xiaoming Sun 001; Runyao Duan; Mingsheng Ying (IEEE Trans. Inf. Theory, 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)

Partial Recovery of Quantum Entanglement. - Runyao Duan; Yuan Feng 001; Mingsheng Ying (IEEE Trans. Inf. Theory, 2006)

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

Commutativity of quantum weakest preconditions. - Mingsheng Ying; Jianxin Chen; Yuan Feng 001; Runyao Duan (Inf. Process. Lett., 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)

Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. - Yuan Feng 001; Runyao Duan; Mingsheng Ying (Quantum Inf. Comput., 2009)

Distinguishability of Quantum States by Separable Operations. - Runyao Duan; Yuan Feng 001; Yu Xin; Mingsheng Ying (IEEE Trans. Inf. Theory, 2009)

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)

Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function - Runyao Duan; Simone Severini; Andreas J. Winter 002 (CoRR, 2010)

When is there a multipartite maximum entangled state? - Runyao Duan; Yaoyun Shi (Quantum Inf. Comput., 2010)

Zero-error communication via quantum channels and a quantum Lovász θ-function. - Runyao Duan; Simone Severini; Andreas J. Winter 002 (ISIT, 2011)

Some bounds on the minimum number of queries required for quantum channel perfect discrimination. - Cheng Lu; Jianxin Chen; Runyao Duan (Quantum Inf. Comput., 2012)

Bisimulation for Quantum Processes. - Yuan Feng 001; Runyao Duan; Mingsheng Ying (ACM Trans. Program. Lang. Syst., 2012)

Verification of quantum programs. - Mingsheng Ying; Nengkun Yu; Yuan Feng 001; Runyao Duan (Sci. Comput. Program., 2013)

Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number. - Runyao Duan; Simone Severini; Andreas J. Winter 002 (IEEE Trans. Inf. Theory, 2013)

Zero-Error Classical Channel Capacity and Simulation Cost Assisted by Quantum Non-Signalling Correlations. - Runyao Duan; Andreas J. Winter 002 (CoRR, 2014)

When Do Local Operations and Classical Communication Suffice for Two-Qubit State Discrimination? - Eric Chitambar; Runyao Duan; Min-Hsiu Hsieh (IEEE Trans. Inf. Theory, 2014)

Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. - Nengkun Yu; Runyao Duan; Mingsheng Ying (IEEE Trans. Inf. Theory, 2014)

A new property of the Lovász number and duality relations between graph parameters. - Antonio Acín; Runyao Duan; Ana Belén Sainz; Andreas J. Winter 002 (CoRR, 2015)

Activated zero-error classical capacity of quantum channels in the presence of quantum no-signalling correlations. - Runyao Duan; Xin Wang 022 (CoRR, 2015)

Parallel distinguishability of quantum operations. - Runyao Duan; Cheng Guo; Chi-Kwong Li; Yinan Li (ISIT, 2016)

A semidefinite programming upper bound of quantum capacity. - Xin Wang 022; Runyao Duan (ISIT, 2016)

On the quantum no-signalling assisted zero-error classical simulation cost of non-commutative bipartite graphs. - Xin Wang 022; Runyao Duan (ISIT, 2016)

No-Signalling-Assisted Zero-Error Capacity of Quantum Channels and an Information Theoretic Interpretation of the Lovász Number. - Runyao Duan; Andreas J. Winter 002 (IEEE Trans. Inf. Theory, 2016)

On Zero-Error Communication via Quantum Channels in the Presence of Noiseless Feedback. - Runyao Duan; Simone Severini; Andreas J. Winter 002 (IEEE Trans. Inf. Theory, 2016)

Semidefinite programming converse bounds for classical communication over quantum channels. - Xin Wang 022; Wei Xie; Runyao Duan (ISIT, 2017)

Q|SI〉: A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (CoRR, 2017)

A new property of the Lovász number and duality relations between graph parameters. - Antonio Acín; Runyao Duan; David E. Roberson; Ana Belén Sainz; Andreas J. Winter 002 (Discret. Appl. Math., 2017)

On the one-shot zero-error classical capacity of classical-quantum channels assisted by quantum non-signalling correlations. - Ching-Yi Lai; Runyao Duan (Quantum Inf. Comput., 2017)

Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary Channels. - Nengkun Yu; Runyao Duan; Quanhua Xu (IEEE Trans. Inf. Theory, 2017)

Q|SI⟩ : A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (Symposium on Real-Time and Hybrid Systems, 2018)

Quantum Divide-and-Conquer Anchoring for Separable Non-negative Matrix Factorization. - Yuxuan Du; Tongliang Liu; Yinan Li; Runyao Duan; Dacheng Tao (IJCAI, 2018)

Converse Bounds for Classical Communication Over Quantum Broadcast Channels and Quantum Multi-Access Channels. - Wei Xie; Xin Wang 022; Runyao Duan (ISIT, 2018)

Separation Between Quantum Lovász Number and Entanglement-Assisted Zero-Error Classical Capacity. - Xin Wang 022; Runyao Duan (IEEE Trans. Inf. Theory, 2018)

Semidefinite Programming Strong Converse Bounds for Classical Capacity. - Xin Wang 022; Wei Xie; Runyao Duan (IEEE Trans. Inf. Theory, 2018)

Implementing termination analysis on quantum programming. - Shusen Liu 002; Kan He; Runyao Duan (Sci. China Inf. Sci., 2019)

Distinguishing unitary gates on the IBM quantum processor. - Shusen Liu 002; Yinan Li; Runyao Duan (Sci. China Inf. Sci., 2019)

Non-Asymptotic Entanglement Distillation. - Kun Fang 001; Xin Wang 022; Marco Tomamichel; Runyao Duan (IEEE Trans. Inf. Theory, 2019)

Semidefinite Programming Converse Bounds for Quantum Communication. - Xin Wang 022; Kun Fang 001; Runyao Duan (IEEE Trans. Inf. Theory, 2019)

Quantum Adiabatic Theorem Revisited. - Runyao Duan (CoRR, 2020)

Quantum NETwork: from theory to practice. - Kun Fang 001; Jingtian Zhao; Xiufan Li; Yifei Li; Runyao Duan (Sci. China Inf. Sci., 2023)