University of Technology, Sydney

Staff directory | Campus maps | Newsroom | What's on

Professor Mingsheng Ying

UTS Distinguished Professor
Research Director, Centre for Quantum Computation and Intelligent Systems

Email: Mingsheng.Ying"at"uts.edu.au
Phone: +61 2 9514 1873
Fax: +61 2 9514 4517
Room: CB11.10.212 (map)
Mailing address: PO Box 123, Broadway NSW 2007, Australia

Biography

Mingsheng Ying graduated from Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. He is a Distinguished Professor with and the Research Director of the Center for Quantum Computation and Intelligent Systems (QCIS), Faculty of Engineering and Information Technology, University of Technology Sydney, Australia, and Cheung Kong Professor with the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China.

Mingsheng Ying's research interests are quantum computation, programming theory, and foundations of artificial intelligence. He has published more than 100 papers in top international journals and conferences. He is the author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001).



Research Areas

1.  Quantum Computation; in particular, quantum programming, model-checking quantum systems

2.  Programming theory and formal methods

3.  Foundations of artificial intelligence (logic, uncertainty)

Research Grants

1.  2013.1-2015.12: Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems. Chief Investigators: Y. Feng and M. Ying. Partner Investigator: P. Panangaden and L. Zhang. Australian Research Council (ARC Discovery Projects). Total Amount: AUD 330,000.

2.  2011.1-2013.12: Process algebra approach to distributed quantum computation and secure quantum communication. Chief Investigators: Mingsheng Ying and Yuan Feng. Partner Investigator: R. Nagarajan. Australian Research Council(ARC Discovery Projects). Total Amount: AUD 300,000.

3.  2010.1-2011.12: UTS Early Career Researcher Grant Scheme. Faithful transmission of quantum Information with noisy channels. Runyao Duan, Sole Investigator.  Prof. Mingsheng Ying, Project Advisor. Total Amount: AUD 24,848

4.  2008.1-2011.12: Quantum software: theory and methodology.  National Natural Science Foundation of China (NSFC), Grant No.60621062. Prof. Mingsheng Ying, Chef-Investigator. Total Amount: CNY 2,000,000

5.  2006.12-2008.12: Quantum computational models. Hi-Tech Research & Development Program of China (863 Project), Grant No. 2006AA01Z102. Mingsheng Ying, Co-Principal Investigator. Total Amount: CNY 600,000

6.  2006.1-2007.12: Research on quantum programming languages. Tsinghua University, Grant No. 052220204.  Prof. Mingsheng Ying, Co-Investigator. Total Amount: CNY 150,000

7.  2004.1 - 2009.12: Intelligent information processing: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60321002. Prof. Mingsheng Ying, Chef-Investigator; Yuan Feng and Sanjiang Li: Co-Investigators. Total Amount: CNY 8,100,000

8.  2004.12-2006.6: Ph.D. Student Creative Foundation of Tsinghua University (for PhD student). Quantum catalysis and its applications. Sole Investigator. Project Advisor: Prof. Mingsheng Ying. Total Amount: CNY 40,000

Community Services

1.  Editorial Board, Artificial Intelligence, Elsevier, Amsterdam

2.  Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam

3.  Vice President, International Fuzzy Systems Association, elected in 2005

4.  Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association

5.  Chairman, Chinese Association of Fuzzy Systems and Mathematics

6.  Editorial Board, Sciences in China F: Information Science

7.  Area Editor (Formal Methods), Journal of Computer Science and Technology

8.  Area Editor (Quantum Computation), International Journal of Software and Informatics

9.  Editorial Board, Frontier of Computer Science and Softwares

10.  Editorial Board, Chinese Journal of Automation

11.  Editorial Board, Journal of Fuzzy Systems and Mathematics

12.  Member, Evaluation Committee, National Foundation of Natural Sciences, China

13.  Executive member of Council, Chinese Association of Mathematical Logic

14.  Member of the Academic Committee, National Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Science

Research Publications

All publications

1.  Y. Feng, Y. X. Deng, M. S. Ying. Symbolic bisimulation for quantum processes. ACM Transactions on Computational Logic, 15(2) (2014), 14:1-14:32. View Details

2.  N. K. Yu, R. Y. Duan, M. S. Ying: Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose. IEEE Transactions on Information Theory 60(4) (2014): 2069-2079. View Details

3.  Y. J. Li, N. K. Yu, M. S. Ying: Termination of nondeterministic quantum programs. Acta Informatica 51(1) (2014): 1-24. View Details

4.  M. S. Ying, Y. J. Li, N. K. Yu, and Y. Feng. Model-Checking Linear-Time Properties of Quantum Systems. ACM Transactions on Computational Logic, 15(3) (2014), 22:1-22:31. View Details

5.  S. G. Ying and M. S. Ying. Removing measurements from quantum walks, Physical Review A 87 (2013), art. No. 012337. View Details

6.  Y. Z. Cao, L. R. Xia, M. S. Ying: Probabilistic automata for computing with words. Journal of Computer and System Sciences 79(1) (2013): 152-172. View Details

7.  M. S. Ying, N. K. Yu, Y. Feng, and R. Y. Duan. Verification of quantum programs. Science of Computer Programming 78, (2013), 1679-1700. View Details

8.  Y. Feng, N. K. Yu, M. S. Ying. Model checking quantum Markov chains. Journal of Computer and System Sciences 79, (2013), 1181-1198. View Details

9.  C. L. Zhou, Mingsheng Ying: Approximating Markov processes through filtration. Theoretical Computer Science 446 (2012): 75-97. View Details

10.  N. K. Yu, R. Y. Duan, and M. S. Ying. Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States. Physical Review Letters (2012), 109(2): 020506. View Details

11.  Y. Feng, R. Y. Duan, and M. S. Ying. Bisimulation for Quantum Processes. ACM Transactions on Programming Languages and Systems (TOPLAS), (2012), vol. 34(4), no.17. View Details

12.  G. X. Su, M. S. Ying, C. Q. Zhang: Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. WICSA/ECSA 2012: 151-160 (2012). View Details

13.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Bisimulation for quantum processes. Accepted by the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2011). View Details

14.  Yangjia Li, Runyao Duan, and Mingsheng Ying. Local unambiguous discrimination with remaining entanglement. Physical Review A 2010, 82(3): 032339. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

15.  Runyao Duan, Yu Xin, and Mingsheng Ying. Locally indistinguishable subspaces spanned by three-qubit unextendible product bases. Physical Review A 2010, 81(3): 032329. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

16.  Nengkun Yu, Runyao Duan, and Mingsheng Ying. Optimal simulation of a perfect entangler. Physical Review A 2010, 81(3): 032328. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

17.  Runyao Duan, Yuan Feng, and Mingsheng Ying. The Perfect distinguishability of quantum operations. AQIS'10, 10'th Asian Conference on Quantum Information Science 2010, Tokyo, Japan, August 27—31, 2010. (Long talk). View Details

18.  Mingsheng Ying and Yuan Feng. Qunatum Loop Programs. Acta Informatica 2010, 47(4): 221-250. View Details

19.  Weiming Liu, Xiaotong Zhang, Sanjiang Li, and Mingsheng Ying. Reasoning about cardinal directions between extended objects. Artificial Intelligence 2010, 174(12-13):951-983. (Corresponding Author. This is the extension of our AAAI-08 paper). View Details

20.  Sanjiang Li. A layered graph representation for complex regions, in Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), pages 581-583, Toronto, Canada, May 9-13, 2010. View Details

21.  Mingsheng Ying. Quantum computation, quantum theory and AI. Artificial Intelligence 2010, 174(2):162-176. 15 pages. (Invited Field Review). (ARC ranked A*, 2008 ISI impact factor:) View Details

22.  Jianxin Chen and Mingsheng Ying. Ancilla-assisted discrimination of quantum gates. Quantum Information and Computation 2010, 10(1&2):160-177. 18 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

23.  Zhengfeng Ji, Jianxin Chen, Zhaohui Wei, and Mingsheng Ying. The LU-LC conjecture is false. Quantum Information and Computation 2010, 10(1&2):97-108. 12 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

24.  Mingsheng Ying, Runyao Duan, Yuan Feng and Zhengfeng Ji. Predicate transformer semantics of quantum programs, in S. Gay and I. Mackie (eds.), Semantic Techniques in Quantum Computation. Cambridge University Press 2009. View Details

25.  Guoxin Su, Mingsheng Ying and Chengqi Zhang. An ADL-approach to specifying and analyzing centralized-mode architectural connection. Lecture Notes in Computer Science (LNCS) 2010, Software Architecture, 6285:8-23. Book Chapter. View Details

26.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Perfect distinguishability of quantum operations, Physical Review Letters 2009, 103(21): 210501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

27.  Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. IEEE Transactions on Information Theory 2009, 55(3): 1320-1330. 11 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

28.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing. Quantum Information and Computation 2009, 9(11-12): 997-1012. 16 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

29.  Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji. An algebra of quantum processes. ACM Transactions on Computational Logic (TOCL) 2009, 10(3): 19. (ARC ranked A, 2008 ISI impact factor:2.766). View Details

30.  Mingsheng Ying and Yuan Feng. An algebraic language for distributed quantum computing. IEEE Transactions on Computers 2009, 58: 728-743. 15 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

31.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Local distinguishability of multipartite unitary operations. Physical Review Letters 2008, 100(2):020503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

32.  Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, and Mingsheng Ying. Parameter estimation of quantum channels. IEEE Transactions on Information Theory 2008, 54(11): 5172-5185. 14 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

33.  Runyao Duan, Yu Xin, and Mingsheng Ying. Locally indistinguishable subspaces spanned by three-qubit unextendible product bases. AQIS’08, 8'th Asian Conference on Quantum Information Science 2008, Seoul, South Korea, August 25-31, 2008. (Long talk). View Details

34.  Sanjiang Li and Mingsheng Ying. Soft constraint abstraction based on semiring homomorphism. Theoretical Computer Science (B) 2008, 403(2-3): 192-201. View Details

35.  Xiaotong Zhang, Weiming Liu, Sanjiang Li, and Mingsheng Ying. Reasoning with cardinal directions: an efficient algorithm, in Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, IL, 2008. (Corresponding Author). View Details

36.  Guoming Wang and Mingsheng Ying. Deterministic distributed dense coding with stabilizer states. Physical Review A 2008, 77(3):032306. 10 pages.(ARC ranked A, 2008 ISI impact factor:2.908). View Details

37.  Guoming Wang and Mingsheng Ying. Perfect many-to-one teleportation with stabilizer states.Physical Review A 2008, 77(3):032324. 12 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

38.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement is not necessary for perfect discrimination between unitary operations. Physical Review Letters 2007, 98(10): 100503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

39.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Physical Review Letters 2007, 98(23): 230502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

40.  Jianxin Chen, Runyao Duan, Zhengfeng Ji, Mingsheng Ying, and Jun Yu. Existence of universal entangler. Journal of Mathematical Physics 2007, 49(1):012103. 4 pages. (ARC ranked A, 2008 ISI impact factor:1.085). View Details

41.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Proof rules for purely quantum programs. Theoretical Computer Science 2007, 386:151-166. 16 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

42.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Probabilistic bisimilarities between quantum processes. Information and Computation 2007, 205:1608-1639. 32 pages. (ARC ranked B, 2008 ISI impact factor:1.504). View Details

43.  Mingsheng Ying, Jianxin Chen, Yuan Feng, and Runyao Duan. Commutativity of quantum weakest preconditions. Information Processing Letters 2007, 104(4):152-158. 7 pages. View Details

44.  Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. AQIS’07, 7'th Asian Conference on Quantum Information Science 2007, Kyoto, Japan, September 3 - 6, 2007. (Long talk). View Details

45.  Zhaohui Wei and Mingsheng Ying. Quantum adiabatic computation and adiabatic conditions. Physical Review A 2007, 76(2):024304. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

46.  Chi Zhang, Guoming Wang, and Mingsheng Ying. Discrimination between pure states and mixed states. Physical Review A 2007, 75(6):062306. View Details

47.  Guoming Wang and Mingsheng Ying. Multipartite unlockable bound entanglement in the stabilizer formalism. Physical Review A 2007, 75(5):052332. 7 pages.(ARC ranked A, 2008 ISI impact factor:2.908). View Details

48.  Lirong Xia, Jérôme Lang, and Mingsheng Ying. Sequential voting rules and multiple elections paradoxes. In Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK'2007), pages 279-288, June 25-27, 2007, Brussels, Belgium. View Details

49.  Lirong Xia, Jérôme Lang, Mingsheng Ying. Strongly Decomposable Voting Rules on Multiattribute Domains. In Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI'07), 776-781. View Details

50.  Mingsheng Ying. Quantum logic and automata theory. In G. Gabbay, D. Lehmann and K. Engesser(eds), Handbook of Quantum Logic and Quantum Structures, Elsevier, 2007, Amsterdam, pp. 619-754. View Details

51.  Zhaohui Wei and Mingsheng Ying. A relation between fidelity and quantum adiabatic evolution. Physics Letters A 2006, 356(4-5):312-315. 4 pages. (ARC ranked B, 2008 ISI impact factor:). View Details

52.  Yongzhi Cao, Mingsheng Ying, and Guoqing Chen. Retraction and Generalized Extension of Computing With Words. IEEE Transactions on Fuzzy Systems 2007, 15(6):1238-1250. View Details

53.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Identification and distance measures of measurement apparatus. Physical Review Letters 2006, 96(20):200401. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

54.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Partial recovery of quantum entanglement. IEEE Transactions on Information Theory 2006, 52 (7): 3080-3104. 25 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

55.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Boundary effect of deterministic dense coding. Physical Review A 2006, 73(3):034307. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

56.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Physical Review A 2006, 74(4):042312. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

57.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Some issues in quantum information theory. Journal of Computer Science and Technology 2006, 21(5): 776--789. 14 pages. View Details

58.  Chi Zhang, Yuan Feng, and Mingsheng Ying. Unambiguous discrimination of mixed quantum states. Physics Letters A 2006, 353: 300-305. 6 pages. (ARC ranked B, 2008 ISI impact factor:). View Details

59.  Zhaohui Wei, Zhengfeng Ji, and Mingsheng Ying. Majorization in quantum adiabatic algorithms. Physical Review A 2006, 74(4):042320. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

60.  Chi Zhang, Mingsheng Ying, and Bo Qiao. Universal programmable devices for unambiguous discrimination. Physical Review A 2006, 74(4):042308. 7 pages. (ARC ranked A, 2008 ISI impact factor:2.908) View Details

61.  Guoming Wang and Mingsheng Ying. Unambiguous discrimination among quantum operations. Physical Review A 2006, 73(4):042301. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

62.  Mingsheng Ying. Linguistic quantifiers modeled by Sugeno integrals. Artificial Intelligence 2006, 170(6-7):581-606. 25 pages. (ARC ranked A*, 2006 ISI impact factor:3.379). View Details

63.  Zhaohui Wei and Mingsheng Ying. A modified quantum adiabatic evolution for the Deutsch–Jozsa problem. Physics Letters A 2006, 354(4):271-273. 3 pages.(ARC ranked B, 2008 ISI impact factor:). View Details

64.  Xiaoming Sun, Runyao Duan, and Mingsheng Ying. The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory 2005, 51(1): 75-80. 6 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

65.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 2005, 51(3):1090-1101. 12 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

66.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Physical Review A 2005, 72(2): 024306. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

67.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Trade-off between multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(6): 062306. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

68.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(4): 042319. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

69.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Efficiency of deterministic entanglement transformation. Physical Review A 2005, 71(2): 022305. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

70.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Condition and capability of quantum state separation. Physical Review A 2005, 72(1): 012313. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

71.  Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Local cloning of two product states. Physical Review A 2005, 72(3): 032324. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

72.  Sanjiang Li and Mingsheng Ying, Yongming Li. On countable RCC models. Fundamenta Informaticae 2005, 65(4): 329-351. View Details

73.  Zhengfeng Ji, Hongen Cao, and Mingsheng Ying. Optimal conclusive discrimination of two states can be achieved locally. Physical Review A 2005, 71(3):032323. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

74.  Mingsheng Ying. A theory of computation based on quantum logic (I). Theoretical Computer Science 2005, 344(2-3):134-207. 74 pages. (ARC ranked A, 2008 ISI impact factor:). View Details

75.  Mingsheng Ying. Knowledge transformation and fusion in diagnostic systems. Artificial Intelligence 2005, 163(1):1-45. 45 pages. (ARC ranked A*, 2008 ISI impact factor:0.806) View Details

76.  Zhengfeng Ji, Runyao Duan, and Mingsheng Ying. Comparability of multipartite entanglement. Physics Letters A 2004, 330(6): 418-423. 6 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

77.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Unambiguous discrimination between mixed quantum states. Physical Review A 2004, 70(1): 012308. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

78.  Yuan Feng, Runyao Duan, and Mingsheng Ying. When catalysis is useful for probabilistic entanglement transformation. Physical Review A 2004, 69(6): 062310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

79.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A 2004, 323(1): 48-56. 9 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

80.  Runyao Duan, Yuan Feng, and Mingsheng Ying. An equivalence of entanglement-assisted transformation and multiple-copy entanglement transformation. Preprint. Unpublished. 2004. View Details

81.  Yuan Feng and Mingsheng Ying. Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology 2004, 19(3): 364-373. 14 pages. View Details

82.  Sanjiang Li and Mingsheng Ying. Generalized region connection calculus. Artificial Intelligence 2004, 160(1-2): 1-34. View Details

83.  Hongen Cao and Mingsheng Ying. Local discrimination of maximally entangled states in canonical form. Physics Letters A 2004, 333(3-4): 232-234. 3 pages. (ARC ranked B, 2008 ISI impact factor:2.174) View Details

84.  Daowen Qiu and Mingsheng Ying. Characterizations of quantum automata. Theoretical Computer Science 2004, 312(2-3):479-489. 11 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

85.  Sanjiang Li and Mingsheng Ying. Region connection calculus: its models and composition table, Artificial Intelligence 2003, 145(1-2): 121-146. View Details

86.  Sanjiang Li and Mingsheng Ying. Extensionality of the RCC8 composition table, Fundamenta Informaticae 2003, 55(3-4): 363-385. View Details

87.  Mingsheng Ying. Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica 2003, 39(5):315-389. View Details

88.  Yuan Feng, Shengyu Zhang, Runyao Duan, and Mingsheng Ying. Lower bound on inconclusive probability of unambiguous discrimination. Physical Review A 2002, 66(6):062313. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

89.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Probabilistic cloning and deleting of quantum states. Physical Review A 2002, 65(4): 042324. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

90.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Universal and Original-Preserving Quantum Copying is Impossible. Physics Letters A 2002, 297:1. 9 pages. (ARC ranked B, 2008 ISI impact factor: ). View Details

91.  Shengyu Zhang and Mingsheng Ying. Set discrimination of quantum states. Physical Review A 2002, 65(6):062322. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

92.  Mingsheng Ying. Additive models of probabilistic processes. Theoretical Computer Science 2002, 275(1-2): 481-519. 39 pages. (ARC ranked A, 2008 ISI impact factor:). View Details

93.  Mingsheng Ying and Huaiqing Wang. Lattice-theoretic models of conjectures, hypotheses and consequences. Artificial Intelligence 2002, 139(2):253-267. 15 pages. (ARC ranked A*, 2008 ISI impact factor:3.379). View Details

94.  Mingsheng Ying. Wootters–Zurek quantum-copying machine: the higher-dimensional case. Physics Letters A 2002, 299(2-3):107-115. (ARC ranked B, impact factor:). View Details

95.  Mingsheng Ying. Universal quantum-copying machines: a sufficient and necessary condition. Physics Letters A 2002,302(1):1-7. 7 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

96.  Mingsheng Ying. Bisimulation indexes and their applications. Theoretical Computer Science 2002, 275(1-2):1-68. 68 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

97.  Mingsheng Ying. A formal model for computing with words. IEEE Transactions on Fuzzy Systems 2002, 10(5):640 - 652. 13 pages. View Details

98.  Mingsheng Ying. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer-Verlag, New York, February 2001. Research Monograph. View Details

99.  Mingsheng Ying and Martin Wirsing. Recursive equations in higher-order process calculi. Theoretical Computer Science 2001, 266(1-2):839-852. 14 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

100.  Mingsheng Ying. Weak confluence and Ï„-inertness. Theoretical Computer Science 2000, 238(1-2):465-475. 11 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

101.  Mingsheng Ying. When is the ideal completion of abstract basis algebraic. Theoretical Computer Science 1996, 159(2):355-356.(ARC ranked A, 2008 ISI impact factor:). View Details

102.  Mingsheng Ying. On the method of neighborhood systems in fuzzy topology. Fuzzy Sets and Systems 1994, 68(2):227-238. 12 pages. (ARC ranked , 2008 ISI impact factor:). View Details

103.  Mingsheng Ying. A new approach for fuzzy topology (III). Fuzzy Sets and Systems 1993, 55(2):193-207. 15 pages. View Details

104.  Mingsheng Ying. Compactness in fuzzifying topology. Fuzzy Sets and Systems 1993, 55(1):79-92. 14 pages. View Details

105.  Mingsheng Ying. Fuzzifying uniform spaces. Fuzzy Sets and Systems 1993, 53(1): 93-104. 12 pages. View Details

106.  Mingsheng Ying. Fuzzifying topology based on complete residuated lattice-valued logic (I). Fuzzy Sets and Systems 1993, 56(3):337-373. 37 pages. View Details

107.  Mingsheng Ying. A new approach for fuzzy topology (II). Fuzzy Sets and Systems 1992, 47(2):221-232.12 pages. View Details

108.  Mingsheng Ying. A new approach for fuzzy topology (I). Fuzzy Sets and Systems 1991, 39(3):303-321. 9 pages. View Details

109.  Mingsheng Ying. The alternativity measures of fuzzy sets. Fuzzy Sets and Systems 1990, 37(1):105-110. 6 pages. View Details

110.  Mingsheng Ying. Reasonableness of the compositional rule of fuzzy inference. Fuzzy Sets and Systems 1990, 36(2):305-310. 6 pages. View Details

111.  Mingsheng Ying. On ε-fuzzy sets. Fuzzy Sets and Systems 1989, 31(1):123-129. View Details

112.  Mingsheng Ying. Fuzzy semilattices. Information Sciences 1987, 43(3):155-159. 5 pages. View Details

113.  Mingsheng Ying. First order fuzzy logic. In Proceedings of the 16th IEEE International Symposium on Multiple-Valued logic, Virginia, USA, 1986, pp. 242-247. 6 pages. View Details

Journal Articles

1.  Y. Feng, Y. X. Deng, M. S. Ying. Symbolic bisimulation for quantum processes. ACM Transactions on Computational Logic, 15(2) (2014), 14:1-14:32. View Details

2.  N. K. Yu, R. Y. Duan, M. S. Ying: Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose. IEEE Transactions on Information Theory 60(4) (2014): 2069-2079. View Details

3.  Y. J. Li, N. K. Yu, M. S. Ying: Termination of nondeterministic quantum programs. Acta Informatica 51(1) (2014): 1-24. View Details

4.  M. S. Ying, Y. J. Li, N. K. Yu, and Y. Feng. Model-Checking Linear-Time Properties of Quantum Systems. ACM Transactions on Computational Logic, 15(3) (2014), 22:1-22:31. View Details

5.  S. G. Ying and M. S. Ying. Removing measurements from quantum walks, Physical Review A 87 (2013), art. No. 012337. View Details

6.  Y. Z. Cao, L. R. Xia, M. S. Ying: Probabilistic automata for computing with words. Journal of Computer and System Sciences 79(1) (2013): 152-172. View Details

7.  M. S. Ying, N. K. Yu, Y. Feng, and R. Y. Duan. Verification of quantum programs. Science of Computer Programming 78, (2013), 1679-1700. View Details

8.  Y. Feng, N. K. Yu, M. S. Ying. Model checking quantum Markov chains. Journal of Computer and System Sciences 79, (2013), 1181-1198. View Details

9.  C. L. Zhou, Mingsheng Ying: Approximating Markov processes through filtration. Theoretical Computer Science 446 (2012): 75-97. View Details

10.  N. K. Yu, R. Y. Duan, and M. S. Ying. Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States. Physical Review Letters (2012), 109(2): 020506. View Details

11.  Y. Feng, R. Y. Duan, and M. S. Ying. Bisimulation for Quantum Processes. ACM Transactions on Programming Languages and Systems (TOPLAS), (2012), vol. 34(4), no.17. View Details

12.  Yangjia Li, Runyao Duan, and Mingsheng Ying. Local unambiguous discrimination with remaining entanglement. Physical Review A 2010, 82(3): 032339. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

13.  Runyao Duan, Yu Xin, and Mingsheng Ying. Locally indistinguishable subspaces spanned by three-qubit unextendible product bases. Physical Review A 2010, 81(3): 032329. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

14.  Nengkun Yu, Runyao Duan, and Mingsheng Ying. Optimal simulation of a perfect entangler. Physical Review A 2010, 81(3): 032328. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

15.  Mingsheng Ying and Yuan Feng. Qunatum Loop Programs. Acta Informatica 2010, 47(4): 221-250. View Details

16.  Weiming Liu, Xiaotong Zhang, Sanjiang Li, and Mingsheng Ying. Reasoning about cardinal directions between extended objects. Artificial Intelligence 2010, 174(12-13):951-983. (Corresponding Author. This is the extension of our AAAI-08 paper). View Details

17.  Sanjiang Li. A layered graph representation for complex regions, in Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), pages 581-583, Toronto, Canada, May 9-13, 2010. View Details

18.  Mingsheng Ying. Quantum computation, quantum theory and AI. Artificial Intelligence 2010, 174(2):162-176. 15 pages. (Invited Field Review). (ARC ranked A*, 2008 ISI impact factor:) View Details

19.  Jianxin Chen and Mingsheng Ying. Ancilla-assisted discrimination of quantum gates. Quantum Information and Computation 2010, 10(1&2):160-177. 18 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

20.  Zhengfeng Ji, Jianxin Chen, Zhaohui Wei, and Mingsheng Ying. The LU-LC conjecture is false. Quantum Information and Computation 2010, 10(1&2):97-108. 12 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

21.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Perfect distinguishability of quantum operations, Physical Review Letters 2009, 103(21): 210501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

22.  Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. IEEE Transactions on Information Theory 2009, 55(3): 1320-1330. 11 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

23.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing. Quantum Information and Computation 2009, 9(11-12): 997-1012. 16 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

24.  Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji. An algebra of quantum processes. ACM Transactions on Computational Logic (TOCL) 2009, 10(3): 19. (ARC ranked A, 2008 ISI impact factor:2.766). View Details

25.  Mingsheng Ying and Yuan Feng. An algebraic language for distributed quantum computing. IEEE Transactions on Computers 2009, 58: 728-743. 15 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

26.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Local distinguishability of multipartite unitary operations. Physical Review Letters 2008, 100(2):020503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

27.  Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, and Mingsheng Ying. Parameter estimation of quantum channels. IEEE Transactions on Information Theory 2008, 54(11): 5172-5185. 14 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

28.  Sanjiang Li and Mingsheng Ying. Soft constraint abstraction based on semiring homomorphism. Theoretical Computer Science (B) 2008, 403(2-3): 192-201. View Details

29.  Xiaotong Zhang, Weiming Liu, Sanjiang Li, and Mingsheng Ying. Reasoning with cardinal directions: an efficient algorithm, in Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, IL, 2008. (Corresponding Author). View Details

30.  Guoming Wang and Mingsheng Ying. Deterministic distributed dense coding with stabilizer states. Physical Review A 2008, 77(3):032306. 10 pages.(ARC ranked A, 2008 ISI impact factor:2.908). View Details

31.  Guoming Wang and Mingsheng Ying. Perfect many-to-one teleportation with stabilizer states.Physical Review A 2008, 77(3):032324. 12 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

32.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement is not necessary for perfect discrimination between unitary operations. Physical Review Letters 2007, 98(10): 100503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

33.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Physical Review Letters 2007, 98(23): 230502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

34.  Jianxin Chen, Runyao Duan, Zhengfeng Ji, Mingsheng Ying, and Jun Yu. Existence of universal entangler. Journal of Mathematical Physics 2007, 49(1):012103. 4 pages. (ARC ranked A, 2008 ISI impact factor:1.085). View Details

35.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Proof rules for purely quantum programs. Theoretical Computer Science 2007, 386:151-166. 16 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

36.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Probabilistic bisimilarities between quantum processes. Information and Computation 2007, 205:1608-1639. 32 pages. (ARC ranked B, 2008 ISI impact factor:1.504). View Details

37.  Mingsheng Ying, Jianxin Chen, Yuan Feng, and Runyao Duan. Commutativity of quantum weakest preconditions. Information Processing Letters 2007, 104(4):152-158. 7 pages. View Details

38.  Zhaohui Wei and Mingsheng Ying. Quantum adiabatic computation and adiabatic conditions. Physical Review A 2007, 76(2):024304. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

39.  Chi Zhang, Guoming Wang, and Mingsheng Ying. Discrimination between pure states and mixed states. Physical Review A 2007, 75(6):062306. View Details

40.  Guoming Wang and Mingsheng Ying. Multipartite unlockable bound entanglement in the stabilizer formalism. Physical Review A 2007, 75(5):052332. 7 pages.(ARC ranked A, 2008 ISI impact factor:2.908). View Details

41.  Zhaohui Wei and Mingsheng Ying. A relation between fidelity and quantum adiabatic evolution. Physics Letters A 2006, 356(4-5):312-315. 4 pages. (ARC ranked B, 2008 ISI impact factor:). View Details

42.  Yongzhi Cao, Mingsheng Ying, and Guoqing Chen. Retraction and Generalized Extension of Computing With Words. IEEE Transactions on Fuzzy Systems 2007, 15(6):1238-1250. View Details

43.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Identification and distance measures of measurement apparatus. Physical Review Letters 2006, 96(20):200401. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

44.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Partial recovery of quantum entanglement. IEEE Transactions on Information Theory 2006, 52 (7): 3080-3104. 25 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

45.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Boundary effect of deterministic dense coding. Physical Review A 2006, 73(3):034307. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

46.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Physical Review A 2006, 74(4):042312. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

47.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Some issues in quantum information theory. Journal of Computer Science and Technology 2006, 21(5): 776--789. 14 pages. View Details

48.  Chi Zhang, Yuan Feng, and Mingsheng Ying. Unambiguous discrimination of mixed quantum states. Physics Letters A 2006, 353: 300-305. 6 pages. (ARC ranked B, 2008 ISI impact factor:). View Details

49.  Zhaohui Wei, Zhengfeng Ji, and Mingsheng Ying. Majorization in quantum adiabatic algorithms. Physical Review A 2006, 74(4):042320. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

50.  Chi Zhang, Mingsheng Ying, and Bo Qiao. Universal programmable devices for unambiguous discrimination. Physical Review A 2006, 74(4):042308. 7 pages. (ARC ranked A, 2008 ISI impact factor:2.908) View Details

51.  Guoming Wang and Mingsheng Ying. Unambiguous discrimination among quantum operations. Physical Review A 2006, 73(4):042301. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

52.  Mingsheng Ying. Linguistic quantifiers modeled by Sugeno integrals. Artificial Intelligence 2006, 170(6-7):581-606. 25 pages. (ARC ranked A*, 2006 ISI impact factor:3.379). View Details

53.  Zhaohui Wei and Mingsheng Ying. A modified quantum adiabatic evolution for the Deutsch–Jozsa problem. Physics Letters A 2006, 354(4):271-273. 3 pages.(ARC ranked B, 2008 ISI impact factor:). View Details

54.  Xiaoming Sun, Runyao Duan, and Mingsheng Ying. The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory 2005, 51(1): 75-80. 6 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

55.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 2005, 51(3):1090-1101. 12 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

56.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Physical Review A 2005, 72(2): 024306. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

57.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Trade-off between multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(6): 062306. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

58.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(4): 042319. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

59.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Efficiency of deterministic entanglement transformation. Physical Review A 2005, 71(2): 022305. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

60.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Condition and capability of quantum state separation. Physical Review A 2005, 72(1): 012313. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

61.  Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Local cloning of two product states. Physical Review A 2005, 72(3): 032324. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

62.  Sanjiang Li and Mingsheng Ying, Yongming Li. On countable RCC models. Fundamenta Informaticae 2005, 65(4): 329-351. View Details

63.  Zhengfeng Ji, Hongen Cao, and Mingsheng Ying. Optimal conclusive discrimination of two states can be achieved locally. Physical Review A 2005, 71(3):032323. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

64.  Mingsheng Ying. A theory of computation based on quantum logic (I). Theoretical Computer Science 2005, 344(2-3):134-207. 74 pages. (ARC ranked A, 2008 ISI impact factor:). View Details

65.  Mingsheng Ying. Knowledge transformation and fusion in diagnostic systems. Artificial Intelligence 2005, 163(1):1-45. 45 pages. (ARC ranked A*, 2008 ISI impact factor:0.806) View Details

66.  Zhengfeng Ji, Runyao Duan, and Mingsheng Ying. Comparability of multipartite entanglement. Physics Letters A 2004, 330(6): 418-423. 6 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

67.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Unambiguous discrimination between mixed quantum states. Physical Review A 2004, 70(1): 012308. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

68.  Yuan Feng, Runyao Duan, and Mingsheng Ying. When catalysis is useful for probabilistic entanglement transformation. Physical Review A 2004, 69(6): 062310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

69.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A 2004, 323(1): 48-56. 9 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

70.  Runyao Duan, Yuan Feng, and Mingsheng Ying. An equivalence of entanglement-assisted transformation and multiple-copy entanglement transformation. Preprint. Unpublished. 2004. View Details

71.  Yuan Feng and Mingsheng Ying. Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology 2004, 19(3): 364-373. 14 pages. View Details

72.  Sanjiang Li and Mingsheng Ying. Generalized region connection calculus. Artificial Intelligence 2004, 160(1-2): 1-34. View Details

73.  Hongen Cao and Mingsheng Ying. Local discrimination of maximally entangled states in canonical form. Physics Letters A 2004, 333(3-4): 232-234. 3 pages. (ARC ranked B, 2008 ISI impact factor:2.174) View Details

74.  Daowen Qiu and Mingsheng Ying. Characterizations of quantum automata. Theoretical Computer Science 2004, 312(2-3):479-489. 11 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

75.  Sanjiang Li and Mingsheng Ying. Region connection calculus: its models and composition table, Artificial Intelligence 2003, 145(1-2): 121-146. View Details

76.  Sanjiang Li and Mingsheng Ying. Extensionality of the RCC8 composition table, Fundamenta Informaticae 2003, 55(3-4): 363-385. View Details

77.  Mingsheng Ying. Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica 2003, 39(5):315-389. View Details

78.  Yuan Feng, Shengyu Zhang, Runyao Duan, and Mingsheng Ying. Lower bound on inconclusive probability of unambiguous discrimination. Physical Review A 2002, 66(6):062313. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

79.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Probabilistic cloning and deleting of quantum states. Physical Review A 2002, 65(4): 042324. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

80.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Universal and Original-Preserving Quantum Copying is Impossible. Physics Letters A 2002, 297:1. 9 pages. (ARC ranked B, 2008 ISI impact factor: ). View Details

81.  Shengyu Zhang and Mingsheng Ying. Set discrimination of quantum states. Physical Review A 2002, 65(6):062322. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

82.  Mingsheng Ying. Additive models of probabilistic processes. Theoretical Computer Science 2002, 275(1-2): 481-519. 39 pages. (ARC ranked A, 2008 ISI impact factor:). View Details

83.  Mingsheng Ying and Huaiqing Wang. Lattice-theoretic models of conjectures, hypotheses and consequences. Artificial Intelligence 2002, 139(2):253-267. 15 pages. (ARC ranked A*, 2008 ISI impact factor:3.379). View Details

84.  Mingsheng Ying. Wootters–Zurek quantum-copying machine: the higher-dimensional case. Physics Letters A 2002, 299(2-3):107-115. (ARC ranked B, impact factor:). View Details

85.  Mingsheng Ying. Universal quantum-copying machines: a sufficient and necessary condition. Physics Letters A 2002,302(1):1-7. 7 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

86.  Mingsheng Ying. Bisimulation indexes and their applications. Theoretical Computer Science 2002, 275(1-2):1-68. 68 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

87.  Mingsheng Ying. A formal model for computing with words. IEEE Transactions on Fuzzy Systems 2002, 10(5):640 - 652. 13 pages. View Details

88.  Mingsheng Ying and Martin Wirsing. Recursive equations in higher-order process calculi. Theoretical Computer Science 2001, 266(1-2):839-852. 14 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

89.  Mingsheng Ying. Weak confluence and Ï„-inertness. Theoretical Computer Science 2000, 238(1-2):465-475. 11 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

90.  Mingsheng Ying. When is the ideal completion of abstract basis algebraic. Theoretical Computer Science 1996, 159(2):355-356.(ARC ranked A, 2008 ISI impact factor:). View Details

91.  Mingsheng Ying. On the method of neighborhood systems in fuzzy topology. Fuzzy Sets and Systems 1994, 68(2):227-238. 12 pages. (ARC ranked , 2008 ISI impact factor:). View Details

92.  Mingsheng Ying. A new approach for fuzzy topology (III). Fuzzy Sets and Systems 1993, 55(2):193-207. 15 pages. View Details

93.  Mingsheng Ying. Compactness in fuzzifying topology. Fuzzy Sets and Systems 1993, 55(1):79-92. 14 pages. View Details

94.  Mingsheng Ying. Fuzzifying uniform spaces. Fuzzy Sets and Systems 1993, 53(1): 93-104. 12 pages. View Details

95.  Mingsheng Ying. Fuzzifying topology based on complete residuated lattice-valued logic (I). Fuzzy Sets and Systems 1993, 56(3):337-373. 37 pages. View Details

96.  Mingsheng Ying. A new approach for fuzzy topology (II). Fuzzy Sets and Systems 1992, 47(2):221-232.12 pages. View Details

97.  Mingsheng Ying. A new approach for fuzzy topology (I). Fuzzy Sets and Systems 1991, 39(3):303-321. 9 pages. View Details

98.  Mingsheng Ying. The alternativity measures of fuzzy sets. Fuzzy Sets and Systems 1990, 37(1):105-110. 6 pages. View Details

99.  Mingsheng Ying. Reasonableness of the compositional rule of fuzzy inference. Fuzzy Sets and Systems 1990, 36(2):305-310. 6 pages. View Details

100.  Mingsheng Ying. On ε-fuzzy sets. Fuzzy Sets and Systems 1989, 31(1):123-129. View Details

101.  Mingsheng Ying. Fuzzy semilattices. Information Sciences 1987, 43(3):155-159. 5 pages. View Details

Conference Papers

1.  G. X. Su, M. S. Ying, C. Q. Zhang: Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. WICSA/ECSA 2012: 151-160 (2012).View Details

2.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Bisimulation for quantum processes. Accepted by the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2011). View Details

3.  Runyao Duan, Yuan Feng, and Mingsheng Ying. The Perfect distinguishability of quantum operations. AQIS'10, 10'th Asian Conference on Quantum Information Science 2010, Tokyo, Japan, August 27—31, 2010. (Long talk).View Details

4.  Runyao Duan, Yu Xin, and Mingsheng Ying. Locally indistinguishable subspaces spanned by three-qubit unextendible product bases. AQIS’08, 8'th Asian Conference on Quantum Information Science 2008, Seoul, South Korea, August 25-31, 2008. (Long talk).View Details

5.  Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. AQIS’07, 7'th Asian Conference on Quantum Information Science 2007, Kyoto, Japan, September 3 - 6, 2007. (Long talk).View Details

6.  Lirong Xia, Jérôme Lang, and Mingsheng Ying. Sequential voting rules and multiple elections paradoxes. In Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK'2007), pages 279-288, June 25-27, 2007, Brussels, Belgium.View Details

7.  Lirong Xia, Jérôme Lang, Mingsheng Ying. Strongly Decomposable Voting Rules on Multiattribute Domains. In Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI'07), 776-781.View Details

8.  Mingsheng Ying. First order fuzzy logic. In Proceedings of the 16th IEEE International Symposium on Multiple-Valued logic, Virginia, USA, 1986, pp. 242-247. 6 pages.View Details

Book Chapters

1.  Mingsheng Ying, Runyao Duan, Yuan Feng and Zhengfeng Ji. Predicate transformer semantics of quantum programs, in S. Gay and I. Mackie (eds.), Semantic Techniques in Quantum Computation. Cambridge University Press 2009. View Details

2.  Guoxin Su, Mingsheng Ying and Chengqi Zhang. An ADL-approach to specifying and analyzing centralized-mode architectural connection. Lecture Notes in Computer Science (LNCS) 2010, Software Architecture, 6285:8-23. Book Chapter. View Details

3.  Mingsheng Ying. Quantum logic and automata theory. In G. Gabbay, D. Lehmann and K. Engesser(eds), Handbook of Quantum Logic and Quantum Structures, Elsevier, 2007, Amsterdam, pp. 619-754. View Details

Books

1.   Mingsheng Ying. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer-Verlag, New York, February 2001. Research Monograph. View Details