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

Professor Ying graduated from 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. His research interests are quantum computation and quantum information, formal methods and logics in computer science, and foundations of artificial intelligence. He has published more than 100 papers in various international journals. He is the author of the book "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs"(Springer-Verlag, 2001).


Research Areas

1.  Quantum Computation and Information

2.  Formal methods (process algebra), Semantics of programming languages

3.  Fundations 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.  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

2.  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

3.  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

4.  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

5.  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

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

7.  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

8.  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

9.  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

10.  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

11.  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

12.  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

13.  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

14.  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

15.  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

16.  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

17.  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

18.  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

19.  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

20.  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

21.  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

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

23.  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

24.  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

25.  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

26.  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

27.  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

28.  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

29.  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

30.  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

31.  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

32.  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

33.  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

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

35.  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

36.  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

37.  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

38.  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

39.  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

40.  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

41.  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

42.  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

43.  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

44.  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

45.  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

46.  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

47.  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

48.  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

49.  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

50.  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

51.  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

52.  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

53.  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

54.  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

55.  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

56.  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

57.  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

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

59.  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

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

61.  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

62.  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

63.  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

64.  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

65.  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

66.  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

67.  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

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

69.  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

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

71.  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

72.  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

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

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

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

76.  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

77.  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

78.  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

79.  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

80.  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

81.  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

82.  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

83.  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

84.  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

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

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

87.  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

88.  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

89.  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

90.  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

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

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

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

94.  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

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

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

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

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

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

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

101.  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.  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

2.  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

3.  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

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

5.  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

6.  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

7.  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

8.  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

9.  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

10.  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

11.  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

12.  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

13.  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

14.  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

15.  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

16.  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

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

18.  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

19.  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

20.  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

21.  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

22.  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

23.  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

24.  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

25.  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

26.  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

27.  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

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

29.  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

30.  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

31.  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

32.  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

33.  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

34.  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

35.  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

36.  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

37.  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

38.  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

39.  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

40.  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

41.  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

42.  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

43.  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

44.  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

45.  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

46.  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

47.  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

48.  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

49.  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

50.  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

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

52.  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

53.  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

54.  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

55.  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

56.  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

57.  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

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

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

60.  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

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

62.  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

63.  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

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

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

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

67.  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

68.  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

69.  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

70.  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

71.  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

72.  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

73.  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

74.  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

75.  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

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

77.  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

78.  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

79.  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

80.  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

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

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

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

84.  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

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

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

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

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

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

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

Conference Papers

1.  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

2.  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

3.  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

4.  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

5.  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

6.  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

7.  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