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

2.  Weiming Liu, Shengsheng Wang, Sanjiang Li, Dayou Liu. Qualitative constraint solving involving landmarks, in Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP-2011), Perugia, Italy from 12-16th September 2011 (to appear)

3.  Heng Zhang, Yan Zhang, Mingsheng Ying and Yi Zhou. Translating first-order theories into logic programs. Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, pp. 1126-1131. View Details

1.  Jianxin Chen, Xie Chen, Runyao Duan, Zhengfeng Ji, and Bei Zeng. No-go theorem for one-way quantum computing on naturally occurring two-level systems, Accepted by Physical Review A (Rapid Communications), 2011. View Details

2.  Runyao Duan, Simone Severini, and Andreas Winter. Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function. Preprint. Submitted, 2010. View Details

3.  Mingsheng Ying. Floyd-Hoare logic for quantum programs, 49 pages. ACM Transactions on Programming Languages and Systems (accepted). View Details

4.  Weiming Liu, Sanjiang Li. Reasoning about Cardinal Directions between Extended Objects: The NP-Hardness Result. Artificial Intelligence, (accepted on July 27, 2011) View Details

5.  Weiming Liu, Sanjiang Li. On standard models of fuzzy Region Connection Calculus. International Journal of Approximate Reasoning, (accepted on July 1, 2011)

6.  Mingsheng Ying and Yuan Feng. A flow chart language for quantum programming. IEEE Transactions on Software Engineering, 37(4)(2011)466-485. View Details

7.  Nengkun Yu, Runyao Duan, and Mingsheng Ying. Any 2⊗n subspace is locally distinguishable. Physical Review A 84, 012304 (2011) [3 pages]. View Details

1.  Runyao Duan and Yaoyun Shi. When is there a multipartite maximum entangled state? Quantum Information and Computation 2010, 10(11-12): 925-935. 11 pages. (ARC ranked A, 2008 ISI impact factor:3.379). 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.  Xie Chen, Runyao Duan, Zhengfeng Ji, and Bei Zeng. Quantum state reduction for universal measurement based computation. Physical Review Letters 2010, 105(2): 020502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

4.  Eric Chitambar, Runyao Duan, and Yaoyun Shi. Multipartite-to-bipartite entanglement transformations and polynomial identity testing. Physical Review A 2010, 81(5): 052310. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

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

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

7.  Nengkun Yu, Cheng Guo, Eric Chitambar, and Runyao Duan. Tensor rank of the tripartite state |W\rangle^{\otimes n}. Physical Review A 2010, 81(1): 014301. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

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

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

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

11.  Sanjiang Li and Anthony G Cohn. Reasoning with topological and directional spatial information. Computational Intelligence (accepted on 28 September 2010). View Details

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

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

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

15.  Lin Chen, Eric Chitambar, Runyao Duan, Zhengfeng Ji, and Andreas Winter. Tensor rank and stochastic entanglement catalysis for multipartite pure states. Physical Review Letters 2010, 105(20): 200501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

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

2.  Runyao Duan and Yaoyun Shi. When is there a multipartite maximum entangled state? AQIS’10, 10'th Asian Conference on Quantum Information Science 2010, Tokyo, Japan, August 27—31, 2010. (Short talk). View Details

3.  Runyao Duan, Markus Grassl, Zhengfeng Ji, and Bei Zeng. Multi-error-correcting amplitude damping codes. 2010 IEEE International Symposium on Information Theory (ISIT 2010), Austin, Texas, USA, June 13-18, 2010. View Details

4.  Sanjiang Li, Weiming Liu. Topological relations between convex regions, in Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10), pages 321-326, Atlanta, Georgia, USA, July 11-15, 2010. View Details

5.  M. Duckham, L.-J. Guan, S. Li, and J. Renz. Spatial and topological granularity of region relations monitored by Geosensor Networks, to appear in: Sixth international conference on Geographic Information Science (GIScience'10), Zurich, Switzerland, September 2010. View Details

6.  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 Chapters. View Details

7.  Matt Duckham, Myeong Hun Jeong, Sanjiang Li, Jochen Renz. Decentralized querying of topological relations between regions without using localization. To appear in Proceedings of the 18th ACM SIGSPATIAL International conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS 2010), November 2-5 2010, San Jose, California. View Details

8.  Heng Zhang and Mingsheng Ying. Decidable fragments of first-order language under stable model semantics and circumscription, in Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10), pages 375-380, Atlanta, Georgia, USA, July 11-15, 2010. (ERA 2010 ranked A). View Details

9.  Matt Duckham, Myeong Hun Jeong, Sanjiang Li, Jochen Renz. Decentralized querying of topological relations between regions without using localization. To appear in Proceedings of the 18th ACM SIGSPATIAL International conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS 2010), November 2-5 2010, San Jose, California. View Details

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

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

2.  Eric Chitambar and Runyao Duan. Nonlocal Entanglement Transformations Achievable by Separable Operations. Physical Review Letters 2009, 103(11): 110502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

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

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

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

6.  Yuan Feng and Yaoyun Shi. Characterizing locally distinguishable orthogonal product states. IEEE Transactions on Information Theory 2009, 55(3): 2799-2806. 7 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

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

1.  Runyao Duan. Super-activation of zero-error capacity of noisy quantum channels. AQIS’09, 9'th Asian Conference on Quantum Information Science 2009, Nanjing, China, August 26-29, 2009. (Long talk). View Details

2.  Weiming Liu, Sanjiang Li, and Jochen Renz. Combining RCC-8 with qualitative direction calculi: algorithms and complexity, in: Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, CA, July 2009. View Details

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

2.  Runyao Duan and Yaoyun Shi. Entanglement between two uses of a noisy multipartite quantum channel enables perfect transmission of classical information. Physical Review Letters 2008, 101(2): 020501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

3.  Eric Chitambar, Runyao Duan, and Yaoyun Shi. Tripartite Entanglement Transformations and Tensor Rank. Physical Review Letters 2008, 101(14): 140502. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

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

5.  Yu Xin and Runyao Duan. Local distinguishability of orthogonal 2\otimes 3 pure states. Physical Review A 2008, 77(1):012315. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

6.  Xiaodi Wu and Runyao Duan. Exact quantum search by parallel unitary discrimination schemes. Physical Review A 2008, 78(1): 012303. 8 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

7.  Xiaoshan Gao, Dantong Ouyang, Jigui Sun, Sanjiang Li, Tianshun Yao, Ruzhan Lu, Chunyi Shi, Zhangang Han, Jue Wang, Cungen Cao, and Ruqian Lu. AI in china: a survey. IEEE Intelligent Systems 2008, 23(6): 26-32. View Details

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

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

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

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

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

2.  Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, and Sanjiang Li. Combining binary constraint networks in qualitative reasoning, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece, July 2008. View Details

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

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

3.  Yu Xin and Runyao Duan. Conditions for entanglement transformation between a class of multipartite pure states with generalized Schmidt decompositions. Physical Review A 2007, 76(4): 044301. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

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

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

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

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

8.  Sanjiang Li and Bernhard Nebel. Qualitative spatial representation and reasoning: a hierarchical approach. The Computer Journal 2007, 50(4): 391-402. View Details

9.  Sanjiang Li. A representation theorem for minmax regret policies. Artificial Intelligence 2007, 171(1): 19-24. View Details

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

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

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

13.  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:xxx). View Details

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

15.  Yongzhi Cao, Mingsheng Ying, and Guoqing Chen. State-Based Control of Fuzzy Discrete-Event Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics 2007, 37(2):410-424. 15 pages. View Details

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

2.  Sanjiang Li. Combining topological and directional information for spatial reasoning, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 435-440, AAAI Press, 2007. View Details

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

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

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

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

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

3.  Yuan Feng, Runyao Duan, and Zhengfeng Ji. Optimal dense coding with arbitrary pure entangled states. Physical Review A 2006, 74(1):012310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

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

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

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

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

8.  Sanjiang Li. A complete classification of topological relations using 9-intersection method. International Journal of Geographical Information Science 2006, 20(6): 589-610. View Details

9.  Sanjiang Li and Yongming Li. On the complemented disk algebra. Journal of Logic and Algebraic Programming, 2006 66(2): 195-211. View Details

10.  Sanjiang Li. On topological consistency and realization. Constraints 2006, 11(1): 31-51. View Details

11.  Sanjiang Li and Huaiqing Wang. RCC8 binary constraint network can be consistently extended. Artificial Intelligence 2006, 170(1): 1-18. View Details

12.  Lirong Xia and Sanjiang Li. On minimal models of the region connection calculus. Fundamenta Informaticae 2006, 69(4): 427-446. View Details

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

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

15.  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) Cited 9 times. View Details

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

17.  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:xxx). View Details

18.  Yongzhi Cao and Mingsheng Ying. Similarity-based supervisory control of discrete-event systems. IEEE Transactions on Automatic Control 2006, 51(2):325 - 330. 6 pages. View Details

19.  Yongzhi Cao and Mingsheng Ying. Observability and decentralized control of fuzzy discrete-event systems. IEEE Transactions on Fuzzy Systems 2006, 14(2): 202-216. 15 pages. View Details

1.  Sanjiang Li. Combining topological and directional information: first results, Knowledge science, Engineering, and Management 2006(KSEM'06), Lecture Notes in Computer Science(LNCS), 4092: 252-264, 2006. View Details

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

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

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

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

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

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

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

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

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

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

11.  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:xxx) . View Details

12.  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:xxx). View Details

13.  Mingsheng Ying. π-calculus with noisy channels. Acta Informatica 2005, 39(5):315-389. 75 pages. View Details

14.  Yongzhi Cao and Mingsheng Ying. Supervisory control of fuzzy discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics 2005, 35(2):366 - 371. 6 pages. View Details

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

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

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

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

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

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

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

8.  Sanjiang Li and Maokang Luo. A note on stratified L-real line and unit L-interval. Fuzzy Sets and Systems 2004, 147(2): 327-332. View Details

9.  Yongming Li and Sanjiang Li. A fuzzy sets theoretic approach to approximate spatial reasoning, IEEE Transactions on Fuzzy Systems 2004, 12(6): 745-754. View Details

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

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

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

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

3.  Sanjiang Li and Maokang Luo. A negative answer to T. Kubiak's problem. Fuzzy Sets and Systems 2003, 133(3): 131-133. View Details

4.  Sanjiang Li and Maokang Luo. Generalized Lowen functors. Fuzzy Sets and Systems 2003, 133(3): 99-111. View Details

5.  Sanjiang Li and Maokang Luo. FNS is not isomorphic to FTS, Fuzzy Sets and Systems 2003, 136(1): 127-131. View Details

6.  Sanjiang Li and Dexue Zhang. A non-topologically generated Hutton-Lowen uniformizable space. Quaestiones Mathematicae 2003, 26(4): 471-477. View Details

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

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

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

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

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

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

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

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

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

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

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

11.  Mingsheng Ying. Implication operators in fuzzy logic. IEEE Transactions on Fuzzy Systems, 10(1):88-91. 4 pages. View Details

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

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

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

2.  Loredana Biacino, Giangiacomo Gerla, and Mingsheng Ying. Approximate reasoning based on similarity. Mathematical Logic Quarterly 2000, 46(1):77-86. 10 pages. View Details

3.  Mingsheng Ying. Automata theory based on quantum logic (II). International Journal of Theoretical Physics 2000, 39(11):2545-2557. 13 pages. View Details

4.  Mingsheng Ying. Automata Theory Based on Quantum Logic (I). International Journal of Theoretical Physics 2000, 39(4):985-995. 11 pages. International Journal of Theoretical Physics, 2000, Volume 39, Number 4, Pages 985-995 View Details

1.  Mingsheng Ying. Perturbation of fuzzy reasoning. IEEE Transactions on Fuzzy Systems 1999, 7(5):625-629. 5 pages. View Details

2.  Mingsheng Ying. A shorter proof to uniqueness of solutions. Theoretical Computer Science 1999, 216(1-2):395-397. 3 pages. View Details

1.  Mingsheng Ying and Bernadette Bouchon-Meunier. Approximate reasoning with linguistic modifiers. Journal of Intelligent Systems 1998, 13(5): 403–418. 16 pages. View Details

1.  Mingsheng Ying and Bernadette Bouchon-Meunier. Quantifiers, modifiers and qualifiers in fuzzy logic. Journal of Applied Non-Classical Logics 1997, 7(3):335-342. 8 pages. View Details

1.  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:) Mingsheng Ying. View Details

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

2.  Mingsheng Ying. A logic for approximate reasoning. Journal of Symbolic Logic 1994, 59(3):830 - 837. 8 pages. View Details

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

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

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

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

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

2.  Mingsheng Ying. The fundamental theorem of ultraproduct in Pavelka's logic. Mathematical Logic Quarterly 1992, 38(1):197-201. 5 pages. View Details

3.  Mingsheng Ying. Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values. Mathematical Logic Quarterly 1992, 38(1):521-524. 4 pages. View Details

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

2.  Mingsheng Ying. Deduction theorem for many-valued inference. Mathematical Logic Quarterly 1991, 37(33-35):533–537. 5 pages. View Details

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

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

3.  Mingsheng Ying. On probabilistic normed spaces under $\tau_{T,L}$. International journal of Mathematics and Mathematical Sciences 1990, 13(4):731-736. 6 pages. View Details

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

2.  Mingsheng Ying. On a class of non-causal triangle functions. Mathematical Proceedings of Cambridge Philosophical Society 1989, 106(3):467-469. 3 pages. View Details

1.  Mingsheng Ying. Some notes on multi-dimensional fuzzy reasoning. Cybernetics and Systems 1988, 19(4):281-293. 13 pages. View Details

2.  Mingsheng Ying. On standard models for fuzzy modal logic. Fuzzy Sets and Systems 1988, 26(3): 357-363. 7 pages. View Details

1.  Mingsheng Ying. Interpreting linguistically quantified propositions. In Proceedings of 18th IEEE International Symposium on Multiple-Valued Logic, Palma de Marlloca, Span, 1988, pp.248-254. View Details

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

2.  Mingsheng Ying. A counter-example of Gottwald's theorem. Fuzzy Sets and Systems 1987, 23(3):399-400. 2 pages. View Details

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