Yuan Feng
Yuan Feng
University of Technology Sydney and Tsinghua University
Verified email at tsinghua.edu.cn
Title
Cited by
Cited by
Year
Parameter estimation of quantum channels
Z Ji, G Wang, R Duan, Y Feng, M Ying
IEEE Transactions on Information Theory 54 (11), 5172-5185, 2008
1052008
Entanglement is not necessary for perfect discrimination between unitary operations
R Duan, Y Feng, M Ying
Physical review letters 98 (10), 100503, 2007
982007
Unambiguous discrimination between mixed quantum states
Y Feng, R Duan, M Ying
Physical Review A 70 (1), 012308, 2004
942004
Perfect distinguishability of quantum operations
R Duan, Y Feng, M Ying
Physical Review Letters 103 (21), 210501, 2009
792009
Distinguishability of quantum states by separable operations
R Duan, Y Feng, Y Xin, M Ying
IEEE transactions on information theory 55 (3), 1320-1330, 2009
792009
Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication
R Duan, Y Feng, Z Ji, M Ying
Physical review letters 98 (23), 230502, 2007
642007
Characterizing locally indistinguishable orthogonal product states
Y Feng, Y Shi
IEEE transactions on information theory 55 (6), 2799-2806, 2009
612009
An algebra of quantum processes
M Ying, Y Feng, R Duan, Z Ji
ACM Transactions on Computational Logic (TOCL) 10 (3), 1-36, 2009
602009
Upper bound for the success probability of unambiguous discrimination among quantum states
S Zhang, Y Feng, X Sun, M Ying
Physical Review A 64 (6), 062103, 2001
572001
Bisimulation for quantum processes
Y Feng, R Duan, M Ying
Acm Sigplan Notices 46 (1), 523-534, 2011
532011
Model checking quantum Markov chains
Y Feng, N Yu, M Ying
Journal of Computer and System Sciences 79 (7), 1181-1198, 2013
522013
Probabilistic bisimulations for quantum processes
Y Feng, R Duan, Z Ji, M Ying
Information and Computation 205 (11), 1608-1639, 2007
49*2007
Verification of quantum programs
M Ying, N Yu, Y Feng, R Duan
Science of Computer Programming 78 (9), 1679-1700, 2013
482013
Identification and distance measures of measurement apparatus
Z Ji, Y Feng, R Duan, M Ying
Physical review letters 96 (20), 200401, 2006
472006
Local distinguishability of multipartite unitary operations
R Duan, Y Feng, M Ying
Physical review letters 100 (2), 020503, 2008
462008
Proof rules for the correctness of quantum programs
Y Feng, R Duan, Z Ji, M Ying
Theoretical Computer Science 386 (1-2), 151-166, 2007
422007
Quantum loop programs
M Ying, Y Feng
Acta Informatica 47 (4), 221-250, 2010
372010
Multiple-copy entanglement transformation and entanglement catalysis
R Duan, Y Feng, X Li, M Ying
Physical Review A 71 (4), 042319, 2005
332005
Symbolic bisimulation for quantum processes
Y Feng, Y Deng, M Ying
ACM Transactions on Computational Logic (TOCL) 15 (2), 1-32, 2014
322014
Reachability probabilities of quantum Markov chains
S Ying, Y Feng, N Yu, M Ying
International Conference on Concurrency Theory, 334-348, 2013
322013
The system can't perform the operation now. Try again later.
Articles 1–20