UTS: Publications - Quantum Computation Laboratory

University of Technology, Sydney

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

Research Publications

2011

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

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

Journal Articles

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

2010

Journal Articles

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

Conference Papers

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

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

2009

Journal Articles

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

Conference Papers

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

2008

Journal Articles

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

Conference Papers

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

2007

Journal Articles

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

Conference Papers

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

Book Chapters

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

2006

Journal Articles

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

Conference Papers

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

2005

Journal Articles

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

2004

Journal Articles

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

2003

Journal Articles

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

2002

Journal Articles

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

2001

Journal Articles

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

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

2000

Journal Articles

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

1999

Journal Articles

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

1998

Journal Articles

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

1997

Journal Articles

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

1996

Journal Articles

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

1994

Journal Articles

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

1993

Journal Articles

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

1992

Journal Articles

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

1991

Journal Articles

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

1990

Journal Articles

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

1989

Journal Articles

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

1988

Journal Articles

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

Conference Papers

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

1987

Journal Articles

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

1986

Conference Papers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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