 | 2011 |
| 20 |  | Runyao Duan,
Simone Severini,
Andreas Winter:
Zero-error communication via quantum channels and a quantum Lovász θ-function.
ISIT 2011: 64-68 |
| 19 |  | Yuan Feng,
Runyao Duan,
Mingsheng Ying:
Bisimulation for quantum processes.
POPL 2011: 523-534 |
| 18 |  | Mingsheng Ying,
Nengkun Yu,
Yuan Feng,
Runyao Duan:
Verification of Quantum Programs
CoRR abs/1106.4063: (2011) |
| 17 |  | Yuan Feng,
Runyao Duan,
Mingsheng Ying:
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting.
Quantum Information & Computation 9(11): 997-1012 (2011) |
| 2010 |
| 16 |  | Runyao Duan,
Markus Grassl,
Z. Ji,
Bei Zeng:
Multi-error-correcting amplitude damping codes.
ISIT 2010: 2672-2676 |
| 15 |  | Runyao Duan,
Markus Grassl,
Zheng-Feng Ji,
Bei Zeng:
Multi-Error-Correcting Amplitude Damping Codes
CoRR abs/1001.2356: (2010) |
| 14 |  | Runyao Duan,
Simone Severini,
Andreas Winter:
Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function
CoRR abs/1002.2514: (2010) |
| 13 |  | Yuan Feng,
Runyao Duan,
Mingsheng Ying:
Bisimulation for quantum processes
CoRR abs/1007.2584: (2010) |
| 12 |  | Runyao Duan,
Yaoyun Shi:
When is there a multipartite maximum entangled state?
Quantum Information & Computation 10(11&12): 925-935 (2010) |
| 2009 |
| 11 |  | Mingsheng Ying,
Yuan Feng,
Runyao Duan,
Zheng-Feng Ji:
An algebra of quantum processes.
ACM Trans. Comput. Log. 10(3): (2009) |
| 10 |  | Runyao Duan,
Yuan Feng,
Yu Xin,
Mingsheng Ying:
Distinguishability of Quantum States by Separable Operations.
IEEE Transactions on Information Theory 55(3): 1320-1330 (2009) |
| 2008 |
| 9 |  | Zheng-Feng Ji,
Guoming Wang,
Runyao Duan,
Yuan Feng,
Mingsheng Ying:
Parameter Estimation of Quantum Channels.
IEEE Transactions on Information Theory 54(11): 5172-5185 (2008) |
| 2007 |
| 8 |  | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimulations for quantum processes.
Inf. Comput. 205(11): 1608-1639 (2007) |
| 7 |  | Mingsheng Ying,
Jianxin Chen,
Yuan Feng,
Runyao Duan:
Commutativity of quantum weakest preconditions.
Inf. Process. Lett. 104(4): 152-158 (2007) |
| 6 |  | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Proof rules for the correctness of quantum programs.
Theor. Comput. Sci. 386(1-2): 151-166 (2007) |
| 2006 |
| 5 |  | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimilarities between quantum processes
CoRR abs/cs/0601014: (2006) |
| 4 |  | Runyao Duan,
Zheng-Feng Ji,
Yuan Feng,
Mingsheng Ying:
Some Issues in Quantum Information Theory.
J. Comput. Sci. Technol. 21(5): 776-789 (2006) |
| 2005 |
| 3 |  | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Proof rules for purely quantum programs
CoRR abs/cs/0507043: (2005) |
| 2 |  | Xiaoming Sun,
Runyao Duan,
Mingsheng Ying:
The existence of quantum entanglement catalysts.
IEEE Transactions on Information Theory 51(1): 75-80 (2005) |
| 1 |  | Yuan Feng,
Runyao Duan,
Mingsheng Ying:
Catalyst-assisted probabilistic entanglement transformation.
IEEE Transactions on Information Theory 51(3): 1090-1101 (2005) |