 | 2009 |
| 12 |  | Heng Guo,
Hanpin Wang,
Zhongyuan Xu,
Yongzhi Cao:
On Model Checking Boolean BI.
CSL 2009: 302-316 |
| 11 |  | Yongzhi Cao,
Guoqing Chen:
A Fuzzy Petri Nets Model for Computing With Words
CoRR abs/0910.3485: (2009) |
| 2008 |
| 10 |  | Yongzhi Cao:
A hierarchy of behavioral equivalences in the $\pi$-calculus with noisy channels
CoRR abs/0801.3117: (2008) |
| 2007 |
| 9 |  | Yongzhi Cao,
Mingsheng Ying,
Guoqing Chen:
Retraction and Generalized Extension of Computing With Words.
IEEE T. Fuzzy Systems 15(6): 1238-1250 (2007) |
| 8 |  | 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) |
| 2006 |
| 7 |  | Yongzhi Cao,
Mingsheng Ying,
Guoqing Chen:
Retraction and Generalized Extension of Computing with Words
CoRR abs/cs/0604070: (2006) |
| 6 |  | Yongzhi Cao,
Lirong Xia,
Mingsheng Ying:
Probabilistic Automata for Computing with Words
CoRR abs/cs/0604087: (2006) |
| 2005 |
| 5 |  | Yongzhi Cao,
Mingsheng Ying,
Guoqing Chen:
State-Based Control of Fuzzy Discrete Event Systems
CoRR abs/cs/0509099: (2005) |
| 4 |  | 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) |
| 2004 |
| 3 |  | Yongzhi Cao,
Mingsheng Ying:
Supervisory Control of Fuzzy Discrete Event Systems
CoRR cs.DM/0405040: (2004) |
| 2 |  | Yongzhi Cao,
Mingsheng Ying:
Observability and Decentralized Control of Fuzzy Discrete Event Systems
CoRR cs.DM/0405068: (2004) |
| 1 |  | Yongzhi Cao,
Mingsheng Ying:
Similarity-Based Supervisory Control of Discrete Event Systems
CoRR cs.DM/0410031: (2004) |