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 | 154 | 2008 |
Perfect distinguishability of quantum operations R Duan, Y Feng, M Ying Physical Review Letters 103 (21), 210501, 2009 | 137 | 2009 |
Entanglement is not necessary for perfect discrimination between unitary operations R Duan, Y Feng, M Ying Physical review letters 98 (10), 100503, 2007 | 135 | 2007 |
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 | 117 | 2009 |
Characterizing locally indistinguishable orthogonal product states Y Feng, Y Shi IEEE transactions on information theory 55 (6), 2799-2806, 2009 | 114 | 2009 |
Unambiguous discrimination between mixed quantum states Y Feng, R Duan, M Ying Physical Review A—Atomic, Molecular, and Optical Physics 70 (1), 012308, 2004 | 111 | 2004 |
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 | 107 | 2007 |
Model checking quantum Markov chains Y Feng, N Yu, M Ying Journal of Computer and System Sciences 79 (7), 1181-1198, 2013 | 96 | 2013 |
An algebra of quantum processes M Ying, Y Feng, R Duan, Z Ji ACM Transactions on Computational Logic (TOCL) 10 (3), 1-36, 2009 | 83 | 2009 |
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 | 71* | 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 | 66 | 2001 |
Verification of quantum programs M Ying, N Yu, Y Feng, R Duan Science of Computer Programming 78 (9), 1679-1700, 2013 | 65 | 2013 |
Probabilistic bisimulations for quantum processes Y Feng, R Duan, Z Ji, M Ying Information and Computation 205 (11), 1608-1639, 2007 | 65* | 2007 |
Bisimulation for quantum processes Y Feng, R Duan, M Ying Acm Sigplan Notices 46 (1), 523-534, 2011 | 64 | 2011 |
Identification and distance measures of measurement apparatus Z Ji, Y Feng, R Duan, M Ying Physical Review Letters 96 (20), 200401, 2006 | 63 | 2006 |
Local distinguishability of multipartite unitary operations R Duan, Y Feng, M Ying Physical review letters 100 (2), 020503, 2008 | 60 | 2008 |
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 | 55 | 2020 |
Quantum loop programs M Ying, Y Feng Acta Informatica 47 (4), 221-250, 2010 | 55 | 2010 |
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 | 55 | 2005 |
Reachability probabilities of quantum Markov chains S Ying, Y Feng, N Yu, M Ying CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013 | 54 | 2013 |