Follow
Yuan Feng
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
1532008
Perfect distinguishability of quantum operations
R Duan, Y Feng, M Ying
Physical Review Letters 103 (21), 210501, 2009
1372009
Entanglement is not necessary for perfect discrimination between unitary operations
R Duan, Y Feng, M Ying
Physical review letters 98 (10), 100503, 2007
1352007
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
1162009
Characterizing locally indistinguishable orthogonal product states
Y Feng, Y Shi
IEEE transactions on information theory 55 (6), 2799-2806, 2009
1132009
Unambiguous discrimination between mixed quantum states
Y Feng, R Duan, M Ying
Physical Review A—Atomic, Molecular, and Optical Physics 70 (1), 012308, 2004
1112004
Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations<? format?> and Classical Communication
R Duan, Y Feng, Z Ji, M Ying
Physical Review Letters 98 (23), 230502, 2007
1062007
Model checking quantum Markov chains
Y Feng, N Yu, M Ying
Journal of Computer and System Sciences 79 (7), 1181-1198, 2013
962013
An algebra of quantum processes
M Ying, Y Feng, R Duan, Z Ji
ACM Transactions on Computational Logic (TOCL) 10 (3), 1-36, 2009
832009
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
70*2007
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
662001
Probabilistic bisimulations for quantum processes
Y Feng, R Duan, Z Ji, M Ying
Information and Computation 205 (11), 1608-1639, 2007
65*2007
Verification of quantum programs
M Ying, N Yu, Y Feng, R Duan
Science of Computer Programming 78 (9), 1679-1700, 2013
642013
Bisimulation for quantum processes
Y Feng, R Duan, M Ying
Acm Sigplan Notices 46 (1), 523-534, 2011
642011
Identification and distance measures of measurement apparatus
Z Ji, Y Feng, R Duan, M Ying
Physical Review Letters 96 (20), 200401, 2006
622006
Local distinguishability of multipartite unitary operations
R Duan, Y Feng, M Ying
Physical review letters 100 (2), 020503, 2008
592008
Quantum loop programs
M Ying, Y Feng
Acta Informatica 47 (4), 221-250, 2010
552010
Multiple-copy entanglement transformation and entanglement catalysis
R Duan, Y Feng, X Li, M Ying
Physical Review A—Atomic, Molecular, and Optical Physics 71 (4), 042319, 2005
552005
Reachability probabilities of quantum Markov chains
S Ying, Y Feng, N Yu, M Ying
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
542013
Quantum circuit transformation based on simulated annealing and heuristic search
X Zhou, S Li, Y Feng
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
532020
The system can't perform the operation now. Try again later.
Articles 1–20