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