 | 2009 |
| 15 |  | Mingsheng Ying,
Yuan Feng,
Runyao Duan,
Zheng-Feng Ji:
An algebra of quantum processes.
ACM Trans. Comput. Log. 10(3): (2009) |
| 14 |  | 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 |
| 13 |  | Lou Shuai,
Ding Zhenliang,
Yuan Feng,
Li Jing:
Image Restoration Based on Wavelet-Domain Contextual Hidden Markov Tree Model.
CSSE (6) 2008: 177-180 |
| 12 |  | Ming Zhang,
Chenglong Gong,
Yuan Feng,
Chao Liu:
Energy-Predicted Shortest Routing Tree Algorithm in Wireless Sensor Networks.
ISICA 2008: 117-124 |
| 11 |  | Haibo Xu,
Hui Tian,
Yuan Feng,
Youjun Gao,
Ping Zhang:
An Efficient Resource Management Scheme with Guaranteed QoS of Heterogeneous Services in MIMO-OFDM System.
WCNC 2008: 1838-1843 |
| 10 |  | 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 |
| 9 |  | Feng Hong,
Yuan Feng,
Minglu Li,
Zhongwen Guo:
Constructing Incentive Oriented Overlay on Mobile Peer-to-Peer Networks.
ICPP Workshops 2007: 52 |
| 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 |  | Yuan Feng,
Runyao Duan,
Mingsheng Ying:
Catalyst-assisted probabilistic entanglement transformation.
IEEE Transactions on Information Theory 51(3): 1090-1101 (2005) |
| 2004 |
| 1 |  | Yuan Feng,
Mingsheng Ying:
Process Algebra Approach to Reasoning About Concurrent Actions.
J. Comput. Sci. Technol. 19(3): 364- (2004) |