Mingsheng Ying

Yongzhi Cao, Lirong Xia, Mingsheng Ying: Probabilistic automata for computing with words. J. Comput. Syst. Sci. 79(1): 152-172 (2013)

Mingsheng Ying, Yuan Feng, Nengkun Yu: Quantum Information-Flow Security: Noninterference and Access Control. CoRR abs/1301.6804 (2013)

Chunlai Zhou, Mingsheng Ying: Approximating Markov processes through filtration. Theor. Comput. Sci. 446: 75-97 (2012)

Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for Quantum Processes. ACM Trans. Program. Lang. Syst. 34(4): 17 (2012)

Nengkun Yu, Mingsheng Ying: Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR 2012: 69-83

Guoxin Su, Mingsheng Ying, Chengqi Zhang: Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. WICSA/ECSA 2012: 151-160

Yangjia Li, Nengkun Yu, Mingsheng Ying: Termination of Nondeterministic Quantum Programs. CoRR abs/1201.0891 (2012)

Yuan Feng, Yuxin Deng, Mingsheng Ying: Symbolic bisimulation for quantum processes. CoRR abs/1202.3484 (2012)

Yuan Feng, Nengkun Yu, Mingsheng Ying: Model checking quantum Markov chains. CoRR abs/1205.2187 (2012)

Nengkun Yu, Mingsheng Ying: Reachability and Termination Analysis of Concurrent Quantum Programs. CoRR abs/1206.1935 (2012)

Mingsheng Ying, Nengkun Yu, Yuan Feng: Defining Quantum Control Flow. CoRR abs/1209.4379 (2012)

Guoxin Su, Mingsheng Ying, Chengqi Zhang: Session Communication and Integration. CoRR abs/1210.2125 (2012)

Yuan Feng, Runyao Duan, Mingsheng Ying: Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. Quantum Information & Computation 9(11): 997-1012 (2011)

Mingsheng Ying: Floyd-hoare logic for quantum programs. ACM Trans. Program. Lang. Syst. 33(6): 19 (2011)

Mingsheng Ying, Yuan Feng: A Flowchart Language for Quantum Programming. IEEE Trans. Software Eng. 37(4): 466-485 (2011)

Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou: Translating First-Order Theories into Logic Programs. IJCAI 2011: 1126-1131

Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes. POPL 2011: 523-534

Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan: Verification of Quantum Programs. CoRR abs/1106.4063 (2011)

Mingsheng Ying, Yuan Feng: Quantum loop programs. Acta Inf. 47(4): 221-250 (2010)

Mingsheng Ying: Quantum computation, quantum theory and AI. Artif. Intell. 174(2): 162-176 (2010)

Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying: Reasoning about cardinal directions between extended objects. Artif. Intell. 174(12-13): 951-983 (2010)

Zheng-Feng Ji, Jianxin Chen, Zhaohui Wei, Mingsheng Ying: The LU-LC conjecture is false. Quantum Information & Computation 10(1&2): 97-108 (2010)

Jianxin Chen, Mingsheng Ying: Ancilla-assisted discrimination of quantum gates. Quantum Information & Computation 10(1&2): 160-177 (2010)

Heng Zhang, Mingsheng Ying: Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. AAAI 2010

Mingsheng Ying: Foundations of Quantum Programming (Extended Abstract). APLAS 2010: 16-20

Guoxin Su, Mingsheng Ying, Chengqi Zhang: An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. ECSA 2010: 8-23

Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes. CoRR abs/1007.2584 (2010)

Guoqing Chen, Mingsheng Ying, Yingming Liu: Dealing with uncertainty and fuzziness in intelligent systems. Int. J. Intell. Syst. 24(3): 223-225 (2009)

Mingsheng Ying, Yuan Feng: An Algebraic Language for Distributed Quantum Computing. IEEE Trans. Computers 58(6): 728-743 (2009)

Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying: Distinguishability of Quantum States by Separable Operations. IEEE Transactions on Information Theory 55(3): 1320-1330 (2009)

Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji: An algebra of quantum processes. ACM Trans. Comput. Log. 10(3) (2009)

Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying: Reasoning about Cardinal Directions between Extended Objects. CoRR abs/0909.0138 (2009)

Sanjiang Li, Mingsheng Ying: Soft constraint abstraction based on semiring homomorphism. Theor. Comput. Sci. 403(2-3): 192-201 (2008)

Zheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying: Parameter Estimation of Quantum Channels. IEEE Transactions on Information Theory 54(11): 5172-5185 (2008)

Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying: Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI 2008: 387-392

Yingming Liu, Mingsheng Ying, Guoqing Chen: On fundamentals of fuzzy logic and soft computing and some applications. Fuzzy Sets and Systems 158(9): 927-928 (2007)

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11): 1608-1639 (2007)

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan: Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104(4): 152-158 (2007)

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for the correctness of quantum programs. Theor. Comput. Sci. 386(1-2): 151-166 (2007)

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

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

Lirong Xia, Jérôme Lang, Mingsheng Ying: Strongly Decomposable Voting Rules on Multiattribute Domains. AAAI 2007: 776-781

Lirong Xia, Jérôme Lang, Mingsheng Ying: Sequential voting rules and multiple elections paradoxes. TARK 2007: 279-288

Sanjiang Li, Mingsheng Ying: Soft constraint abstraction based on semiring homomorphism. CoRR abs/0705.0734 (2007)

Mingsheng Ying: Linguistic quantifiers modeled by Sugeno integrals. Artif. Intell. 170(6-7): 581-606 (2006)

Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying: Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21(5): 776-789 (2006)

Yongzhi Cao, Mingsheng Ying: Similarity-based supervisory control of discrete-event systems. IEEE Trans. Automat. Contr. 51(2): 325-330 (2006)

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimilarities between quantum processes. CoRR abs/cs/0601014 (2006)

Yongzhi Cao, Mingsheng Ying, Guoqing Chen: Retraction and Generalized Extension of Computing with Words. CoRR abs/cs/0604070 (2006)

Yongzhi Cao, Lirong Xia, Mingsheng Ying: Probabilistic Automata for Computing with Words. CoRR abs/cs/0604087 (2006)

Mingsheng Ying: pi-calculus with noisy channels. Acta Inf. 41(9): 525-593 (2005)

Mingsheng Ying: Knowledge transformation and fusion in diagnostic systems. Artif. Intell. 163(1): 1-45 (2005)

Sanjiang Li, Mingsheng Ying, Yongming Li: On countable RCC models. Fundam. Inform. 65(4): 329-351 (2005)

Mingsheng Ying: A theory of computation based on quantum logic (I). Theor. Comput. Sci. 344(2-3): 134-207 (2005)

Xiaoming Sun, Runyao Duan, Mingsheng Ying: The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory 51(1): 75-80 (2005)

Yuan Feng, Runyao Duan, Mingsheng Ying: Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 51(3): 1090-1101 (2005)

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

Mingsheng Ying: A theory of computation based on quantum logic (I). GrC 2005: 91

Yongming Li, Sanjiang Li, Mingsheng Ying: Relational reasoning in the region connection calculus. CoRR abs/cs/0505041 (2005)

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for purely quantum programs. CoRR abs/cs/0507043 (2005)

Yongzhi Cao, Mingsheng Ying, Guoqing Chen: State-Based Control of Fuzzy Discrete Event Systems. CoRR abs/cs/0509099 (2005)

Sanjiang Li, Mingsheng Ying: Generalized Region Connection Calculus. Artif. Intell. 160(1-2): 1-34 (2004)

Yuan Feng, Mingsheng Ying: Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. 19(3): 364-373 (2004)

Daowen Qiu, Mingsheng Ying: Characterizations of quantum automata. Theor. Comput. Sci. 312(2-3): 479-489 (2004)

Yongzhi Cao, Mingsheng Ying: Supervisory Control of Fuzzy Discrete Event Systems. CoRR cs.DM/0405040 (2004)

Yongzhi Cao, Mingsheng Ying: Observability and Decentralized Control of Fuzzy Discrete Event Systems. CoRR cs.DM/0405068 (2004)

Yongzhi Cao, Mingsheng Ying: Similarity-Based Supervisory Control of Discrete Event Systems. CoRR cs.DM/0410031 (2004)

Mingsheng Ying: A Theory of Computation Based on Quantum Logic (I). CoRR cs.LO/0403041 (2004)

Mingsheng Ying: Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Inf. 39(5): 315-389 (2003)

Sanjiang Li, Mingsheng Ying: Region Connection Calculus: Its models and composition table. Artif. Intell. 145(1-2): 121-146 (2003)

Sanjiang Li, Mingsheng Ying: Extensionality of the RCC8 Composition Table. Fundam. Inform. 55(3-4): 363-385 (2003)

Mingsheng Ying, Huaiqing Wang: Lattice-theoretic models of conjectures, hypotheses and consequences. Artif. Intell. 139(2): 253-267 (2002)

Mingsheng Ying: Bisimulation indexes and their applications. Theor. Comput. Sci. 275(1-2): 1-68 (2002)

Mingsheng Ying: Additive models of probabilistic processes. Theor. Comput. Sci. 275(1-2): 481-519 (2002)

Mingsheng Ying: Implication operators in fuzzy logic. IEEE T. Fuzzy Systems 10(1): 88-91 (2002)

Mingsheng Ying: A formal model of computing with words. IEEE T. Fuzzy Systems 10(5): 640-652 (2002)

Mingsheng Ying: Topology in process calculus - approximate correctness and infinite evolution of concurrent programs. Springer 2001, isbn 978-0-387-95092-1, pp. I-VIII, 1-220

Mingsheng Ying, Martin Wirsing: Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001)

Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying: Approximate Reasoning Based on Similarity. Math. Log. Q. 46(1): 77-86 (2000)

Mingsheng Ying: Weak confluence and tau-inertness. Theor. Comput. Sci. 238(1-2): 465-475 (2000)

Mingsheng Ying, Martin Wirsing: Approximate Bisimilarity. AMAST 2000: 309-322

Mingsheng Ying: Phase semantics for a pure noncommutative linear propositional logic. J. Comput. Sci. Technol. 14(2): 135-139 (1999)

Mingsheng Ying: Topology in process calculus (I): Limit behaviour of agents. J. Comput. Sci. Technol. 14(4): 328-336 (1999)

Mingsheng Ying: A Shorter Proof to Uniqueness of Solutions of Equations. Theor. Comput. Sci. 216(1-2): 395-397 (1999)

Mingsheng Ying: Perturbation of fuzzy reasoning. IEEE T. Fuzzy Systems 7(5): 625-629 (1999)

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

Mingsheng Ying: Putting consistent theories together in institutions. J. Comput. Sci. Technol. 10(3): 260-266 (1995)

Mingsheng Ying: Institutions of variable truth values: An approach in the ordered style. J. Comput. Sci. Technol. 10(3): 267-273 (1995)

Mingsheng Ying: A Logic for Approximate Reasoning. J. Symb. Log. 59(3): 830-837 (1994)

Mingsheng Ying: Fuzzy semilattices. Inf. Sci. 43(3): 155-159 (1987)