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 | 125 | 2008 |

Entanglement is not necessary for perfect discrimination between unitary operations R Duan, Y Feng, M Ying Physical review letters 98 (10), 100503, 2007 | 120 | 2007 |

Perfect distinguishability of quantum operations R Duan, Y Feng, M Ying Physical Review Letters 103 (21), 210501, 2009 | 118 | 2009 |

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 | 105 | 2009 |

Unambiguous discrimination between mixed quantum states Y Feng, R Duan, M Ying Physical Review A 70 (1), 012308, 2004 | 105 | 2004 |

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 | 98 | 2007 |

Characterizing locally indistinguishable orthogonal product states Y Feng, Y Shi IEEE transactions on information theory 55 (6), 2799-2806, 2009 | 89 | 2009 |

An algebra of quantum processes M Ying, Y Feng, R Duan, Z Ji ACM Transactions on Computational Logic (TOCL) 10 (3), 1-36, 2009 | 75 | 2009 |

Model checking quantum Markov chains Y Feng, N Yu, M Ying Journal of Computer and System Sciences 79 (7), 1181-1198, 2013 | 67 | 2013 |

Probabilistic bisimulations for quantum processes Y Feng, R Duan, Z Ji, M Ying Information and Computation 205 (11), 1608-1639, 2007 | 63* | 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 | 63 | 2001 |

Identification and distance measures of measurement apparatus Z Ji, Y Feng, R Duan, M Ying Physical Review Letters 96 (20), 200401, 2006 | 60 | 2006 |

Bisimulation for quantum processes Y Feng, R Duan, M Ying Acm Sigplan Notices 46 (1), 523-534, 2011 | 59 | 2011 |

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 | 58 | 2007 |

Local distinguishability of multipartite unitary operations R Duan, Y Feng, M Ying Physical review letters 100 (2), 020503, 2008 | 57 | 2008 |

Verification of quantum programs M Ying, N Yu, Y Feng, R Duan Science of Computer Programming 78 (9), 1679-1700, 2013 | 54 | 2013 |

Quantum loop programs M Ying, Y Feng Acta Informatica 47 (4), 221-250, 2010 | 45 | 2010 |

Reachability probabilities of quantum Markov chains S Ying, Y Feng, N Yu, M Ying International Conference on Concurrency Theory, 334-348, 2013 | 44 | 2013 |

Symbolic bisimulation for quantum processes Y Feng, Y Deng, M Ying ACM Transactions on Computational Logic (TOCL) 15 (2), 1-32, 2014 | 39 | 2014 |

Multiple-copy entanglement transformation and entanglement catalysis R Duan, Y Feng, X Li, M Ying Physical Review A 71 (4), 042319, 2005 | 39 | 2005 |