| 2009 |
|---|
| 7 | EE | Mingsheng Ying,
Yuan Feng,
Runyao Duan,
Zheng-Feng Ji:
An algebra of quantum processes.
ACM Trans. Comput. Log. 10(3): (2009) |
| 2008 |
|---|
| 6 | 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 |
|---|
| 5 | EE | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimulations for quantum processes.
Inf. Comput. 205(11): 1608-1639 (2007) |
| 4 | 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 |
|---|
| 3 | EE | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Probabilistic bisimilarities between quantum processes
CoRR abs/cs/0601014: (2006) |
| 2 | 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 |
|---|
| 1 | EE | Yuan Feng,
Runyao Duan,
Zheng-Feng Ji,
Mingsheng Ying:
Proof rules for purely quantum programs
CoRR abs/cs/0507043: (2005) |
