| A new approach for fuzzy topology (I) M Ying Fuzzy sets and systems 39 (3), 303-321, 1991 | 515 | 1991 |
| Floyd--hoare logic for quantum programs M Ying ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (6), 1-49, 2012 | 222 | 2012 |
| A logic for approximate reasoning M Ying The Journal of Symbolic Logic 59 (3), 830-837, 1994 | 207 | 1994 |
| Foundations of quantum programming M Ying Elsevier, 2024 | 191 | 2024 |
| A formal model of computing with words M Ying IEEE Transactions on Fuzzy Systems 10 (5), 640-652, 2002 | 170 | 2002 |
| Four locally indistinguishable ququad-ququad orthogonal maximally entangled states N Yu, R Duan, M Ying Physical Review Letters 109 (2), 020506, 2012 | 163 | 2012 |
| 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 | 162 | 2008 |
| A new approach for fuzzy topology (II) M Ying Fuzzy sets and systems 47 (2), 221-232, 1992 | 160 | 1992 |
| Region connection calculus: Its models and composition table S Li, M Ying Artificial Intelligence 145 (1-2), 121-146, 2003 | 157 | 2003 |
| Quantum computation, quantum theory and AI M Ying Artificial Intelligence 174 (2), 162-176, 2010 | 151 | 2010 |
| Perfect distinguishability of quantum operations R Duan, Y Feng, M Ying Physical Review Letters 103 (21), 210501, 2009 | 144 | 2009 |
| Entanglement is not necessary for perfect discrimination between unitary operations R Duan, Y Feng, M Ying Physical review letters 98 (10), 100503, 2007 | 143 | 2007 |
| Fuzzy Logic and Soft Computing G Chen, M Ying, KY Cai Springer Science & Business Media, 2012 | 136* | 2012 |
| Unambiguous discrimination among quantum operations G Wang, M Ying Physical Review A 73 (4), 042301, 2006 | 128 | 2006 |
| A new approach for fuzzy topology (III) M Ying Fuzzy Sets and Systems 55 (2), 193-207, 1993 | 127* | 1993 |
| Distinguishability of quantum states by separable operations R Duan, Y Feng, Y Xin, M Ying Information Theory, IEEE Transactions on 55 (3), 1320-1330, 2009 | 123 | 2009 |
| Observability and decentralized control of fuzzy discrete-event systems Y Cao, M Ying IEEE Transactions on Fuzzy Systems 14 (2), 202-216, 2006 | 120 | 2006 |
| Projection-based runtime assertions for testing and debugging quantum programs G Li, L Zhou, N Yu, Y Ding, M Ying, Y Xie Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 114 | 2020 |
| Unambiguous discrimination between mixed quantum states Y Feng, R Duan, M Ying Physical Review A 70 (1), 012308, 2004 | 113 | 2004 |
| Formal verification of quantum algorithms using quantum Hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 112* | 2019 |
Yuan FengTsinghua UniversityVerificeret mail på tsinghua.edu.cn