| 2009 |
|---|
| 11 | EE | Mingsheng Ying,
Yuan Feng,
Runyao Duan,
Zheng-Feng Ji:
An algebra of quantum processes.
ACM Trans. Comput. Log. 10(3): (2009) |
| 10 | EE | 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 | EE | 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 | EE | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimulations for quantum processes.
Inf. Comput. 205(11): 1608-1639 (2007) |
| 7 | EE | Mingsheng Ying,
Jianxin Chen,
Yuan Feng,
Runyao Duan:
Commutativity of quantum weakest preconditions.
Inf. Process. Lett. 104(4): 152-158 (2007) |
| 6 | EE | 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 | EE | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimilarities between quantum processes
CoRR abs/cs/0601014: (2006) |
| 4 | EE | 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 | EE | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Proof rules for purely quantum programs
CoRR abs/cs/0507043: (2005) |
| 2 | EE | Xiaoming Sun,
Runyao Duan,
Mingsheng Ying:
The existence of quantum entanglement catalysts.
IEEE Transactions on Information Theory 51(1): 75-80 (2005) |
| 1 | EE | Yuan Feng,
Runyao Duan,
Mingsheng Ying:
Catalyst-assisted probabilistic entanglement transformation.
IEEE Transactions on Information Theory 51(3): 1090-1101 (2005) |
