 | 2010 |
| 9 |  | Runyao Duan,
Markus Grassl,
Zheng-Feng Ji,
Bei Zeng:
Multi-Error-Correcting Amplitude Damping Codes
CoRR abs/1001.2356: (2010) |
| 8 |  | Zheng-Feng Ji,
Jianxin Chen,
Zhaohui Wei,
Mingsheng Ying:
The LU-LC conjecture is false.
Quantum Information & Computation 10(1&2): 97-108 (2010) |
| 2009 |
| 7 |  | Mingsheng Ying,
Yuan Feng,
Runyao Duan,
Zheng-Feng Ji:
An algebra of quantum processes.
ACM Trans. Comput. Log. 10(3): (2009) |
| 2008 |
| 6 |  | 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 |
| 5 |  | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimulations for quantum processes.
Inf. Comput. 205(11): 1608-1639 (2007) |
| 4 |  | 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 |
| 3 |  | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimilarities between quantum processes
CoRR abs/cs/0601014: (2006) |
| 2 |  | 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 |
| 1 |  | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Proof rules for purely quantum programs
CoRR abs/cs/0507043: (2005) |