Följ
Yuan Feng
Titel
Citeras av
Citeras av
År
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
1492008
Perfect distinguishability of quantum operations
R Duan, Y Feng, M Ying
Physical Review Letters 103 (21), 210501, 2009
1332009
Entanglement is not necessary for perfect discrimination between unitary operations
R Duan, Y Feng, M Ying
Physical review letters 98 (10), 100503, 2007
1332007
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
1132009
Characterizing locally indistinguishable orthogonal product states
Y Feng, Y Shi
IEEE transactions on information theory 55 (6), 2799-2806, 2009
1072009
Unambiguous discrimination between mixed quantum states
Y Feng, R Duan, M Ying
Physical Review A 70 (1), 012308, 2004
1062004
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
1032007
Model checking quantum Markov chains
Y Feng, N Yu, M Ying
Journal of Computer and System Sciences 79 (7), 1181-1198, 2013
912013
An algebra of quantum processes
M Ying, Y Feng, R Duan, Z Ji
ACM Transactions on Computational Logic (TOCL) 10 (3), 1-36, 2009
812009
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
Probabilistic bisimulations for quantum processes
Y Feng, R Duan, Z Ji, M Ying
Information and Computation 205 (11), 1608-1639, 2007
64*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
642001
Bisimulation for quantum processes
Y Feng, R Duan, M Ying
Acm Sigplan Notices 46 (1), 523-534, 2011
632011
Verification of quantum programs
M Ying, N Yu, Y Feng, R Duan
Science of Computer Programming 78 (9), 1679-1700, 2013
622013
Local distinguishability of multipartite unitary operations
R Duan, Y Feng, M Ying
Physical review letters 100 (2), 020503, 2008
592008
Identification and distance measures of measurement apparatus
Z Ji, Y Feng, R Duan, M Ying
Physical Review Letters 96 (20), 200401, 2006
592006
Quantum loop programs
M Ying, Y Feng
Acta Informatica 47 (4), 221-250, 2010
532010
Reachability probabilities of quantum Markov chains
S Ying, Y Feng, N Yu, M Ying
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
502013
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
492020
Symbolic bisimulation for quantum processes
Y Feng, Y Deng, M Ying
ACM Transactions on Computational Logic (TOCL) 15 (2), 1-32, 2014
472014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20