Mingsheng Ying

	2009
53		Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji: An algebra of quantum processes. ACM Trans. Comput. Log. 10(3): (2009)
52		Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying: Reasoning about Cardinal Directions between Extended Objects CoRR abs/0909.0138: (2009)
51		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)
50		Guoqing Chen, Mingsheng Ying, Yingming Liu: Dealing with uncertainty and fuzziness in intelligent systems. Int. J. Intell. Syst. 24(3): 223-225 (2009)
	2008
49		Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying: Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI 2008: 387-392
48		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)
47		Sanjiang Li, Mingsheng Ying: Soft constraint abstraction based on semiring homomorphism. Theor. Comput. Sci. 403(2-3): 192-201 (2008)
	2007
46		Lirong Xia, Jérôme Lang, Mingsheng Ying: Strongly Decomposable Voting Rules on Multiattribute Domains. AAAI 2007: 776-781
45		Lirong Xia, Jérôme Lang, Mingsheng Ying: Sequential voting rules and multiple elections paradoxes. TARK 2007: 279-288
44		Sanjiang Li, Mingsheng Ying: Soft constraint abstraction based on semiring homomorphism CoRR abs/0705.0734: (2007)
43		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)
42		Yongzhi Cao, Mingsheng Ying, Guoqing Chen: Retraction and Generalized Extension of Computing With Words. IEEE T. Fuzzy Systems 15(6): 1238-1250 (2007)
41		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)
40		Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11): 1608-1639 (2007)
39		Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan: Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104(4): 152-158 (2007)
38		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)
	2006
37		Mingsheng Ying: Linguistic quantifiers modeled by Sugeno integrals. Artif. Intell. 170(6-7): 581-606 (2006)
36		Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimilarities between quantum processes CoRR abs/cs/0601014: (2006)
35		Yongzhi Cao, Mingsheng Ying, Guoqing Chen: Retraction and Generalized Extension of Computing with Words CoRR abs/cs/0604070: (2006)
34		Yongzhi Cao, Lirong Xia, Mingsheng Ying: Probabilistic Automata for Computing with Words CoRR abs/cs/0604087: (2006)
33		Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying: Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21(5): 776-789 (2006)
	2005
32		Mingsheng Ying: A theory of computation based on quantum logic (I). GrC 2005: 91
31		Mingsheng Ying: pi-calculus with noisy channels. Acta Inf. 41(9): 525-593 (2005)
30		Mingsheng Ying: Knowledge transformation and fusion in diagnostic systems. Artif. Intell. 163(1): 1-45 (2005)
29		Yongming Li, Sanjiang Li, Mingsheng Ying: Relational reasoning in the region connection calculus CoRR abs/cs/0505041: (2005)
28		Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for purely quantum programs CoRR abs/cs/0507043: (2005)
27		Yongzhi Cao, Mingsheng Ying, Guoqing Chen: State-Based Control of Fuzzy Discrete Event Systems CoRR abs/cs/0509099: (2005)
26		Sanjiang Li, Mingsheng Ying, Yongming Li: On countable RCC models. Fundam. Inform. 65(4): 329-351 (2005)
25		Xiaoming Sun, Runyao Duan, Mingsheng Ying: The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory 51(1): 75-80 (2005)
24		Yuan Feng, Runyao Duan, Mingsheng Ying: Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 51(3): 1090-1101 (2005)
23		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)
22		Mingsheng Ying: A theory of computation based on quantum logic (I). Theor. Comput. Sci. 344(2-3): 134-207 (2005)
	2004
21		Sanjiang Li, Mingsheng Ying: Generalized Region Connection Calculus. Artif. Intell. 160(1-2): 1-34 (2004)
20		Yongzhi Cao, Mingsheng Ying: Supervisory Control of Fuzzy Discrete Event Systems CoRR cs.DM/0405040: (2004)
19		Yongzhi Cao, Mingsheng Ying: Observability and Decentralized Control of Fuzzy Discrete Event Systems CoRR cs.DM/0405068: (2004)
18		Yongzhi Cao, Mingsheng Ying: Similarity-Based Supervisory Control of Discrete Event Systems CoRR cs.DM/0410031: (2004)
17		Mingsheng Ying: A Theory of Computation Based on Quantum Logic (I) CoRR cs.LO/0403041: (2004)
16		Yuan Feng, Mingsheng Ying: Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. 19(3): 364- (2004)
15		Daowen Qiu, Mingsheng Ying: Characterizations of quantum automata. Theor. Comput. Sci. 312(2-3): 479-489 (2004)
	2003
14		Mingsheng Ying: Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Inf. 39(5): 315-389 (2003)
13		Sanjiang Li, Mingsheng Ying: Region Connection Calculus: Its models and composition table. Artif. Intell. 145(1-2): 121-146 (2003)
12		Sanjiang Li, Mingsheng Ying: Extensionality of the RCC8 Composition Table. Fundam. Inform. 55(3-4): 363-385 (2003)
	2002
11		Mingsheng Ying, Huaiqing Wang: Lattice-theoretic models of conjectures, hypotheses and consequences. Artif. Intell. 139(2): 253-267 (2002)
10		Mingsheng Ying: Bisimulation indexes and their applications. Theor. Comput. Sci. 275(1-2): 1-68 (2002)
9		Mingsheng Ying: Additive models of probabilistic processes. Theor. Comput. Sci. 275(1-2): 481-519 (2002)
	2001
8		Mingsheng Ying, Martin Wirsing: Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001)
	2000
7		Mingsheng Ying, Martin Wirsing: Approximate Bisimilarity. AMAST 2000: 309-322
6		Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying: Approximate Reasoning Based on Similarity. Math. Log. Q. 46(1): 77-86 (2000)
5		Mingsheng Ying: Weak confluence and tau-inertness. Theor. Comput. Sci. 238(1-2): 465-475 (2000)
	1999
4		Mingsheng Ying: A Shorter Proof to Uniqueness of Solutions of Equations. Theor. Comput. Sci. 216(1-2): 395-397 (1999)
	1997
3		Mingsheng Ying, Bernadette Bouchon-Meunier: Quantifiers, modifiers and qualifiers in fuzzy logic. Journal of Applied Non-Classical Logics 7(3): (1997)
	1994
2		Mingsheng Ying: A Logic for Approximate Reasoning. J. Symb. Log. 59(3): 830-837 (1994)
	1987
1		Mingsheng Ying: Fuzzy semilattices. Inf. Sci. 43(3): 155-159 (1987)

Coauthor Index

1	Loredana Biacino	[6]
2	Bernadette Bouchon-Meunier (Bernadette Bouchon)	[3]
3	Yongzhi Cao	[18] [19] [20] [23] [27] [34] [35] [41] [42]
4	Guoqing Chen	[27] [35] [41] [42] [43] [50]
5	Jianxin Chen	[39]
6	Runyao Duan	[24] [25] [28] [33] [36] [38] [39] [40] [48] [51] [53]
7	Yuan Feng	[16] [24] [28] [33] [36] [38] [39] [40] [48] [51] [53]
8	Giangiacomo Gerla	[6]
9	Zheng-Feng Ji	[28] [33] [36] [38] [40] [48] [53]
10	Jérôme Lang	[45] [46]
11	Sanjiang Li	[12] [13] [21] [26] [29] [44] [47] [49] [52]
12	Yongming Li	[26] [29]
13	Weiming Liu	[49] [52]
14	Yingming Liu	[43] [50]
15	Daowen Qiu	[15]
16	Xiaoming Sun	[25]
17	Guoming Wang	[48]
18	Huaiqing Wang	[11]
19	Martin Wirsing	[7] [8]
20	Lirong Xia	[34] [45] [46]
21	Yu Xin	[51]
22	Xiaotong Zhang	[49] [52]

Colors in the list of coauthors