| * | 2009 |
|---|
| 8 | EE | Jie Zhou,
Yixiang Chen:
Modeling Instability in a New Framework of Interval Valued Process Algebra.
ACIS-ICIS 2009: 21-26 |
| 7 | EE | Yixiang Chen,
Min Zhang,
Hong Zhu,
Tianming Bu:
Average Transitive Trustworthy Degrees for Trustworthy Networks.
RSKT 2009: 682-689 |
| 6 | EE | Yanfang Ma,
Min Zhang,
Yixiang Chen:
Parameterized Bisimulation Infinite Evolution Mechanism.
TASE 2009: 299-300 |
| 2008 |
|---|
| 5 | EE | Hongyan Mao,
Yixiang Chen:
Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain.
EUC (2) 2008: 71-76 |
| 4 | EE | Yixiang Chen,
Guo-Qing Zhang,
Prakash Panangaden:
Preface.
Electr. Notes Theor. Comput. Sci. 212: 1 (2008) |
| 3 | EE | Yixiang Chen,
Hengyang Wu:
Semantics of sub-probabilistic programs.
Frontiers of Computer Science in China 2(1): 29-38 (2008) |
| 2 | EE | Yixiang Chen,
Hengyang Wu:
Domain semantics of possibility computations.
Inf. Sci. 178(12): 2661-2679 (2008) |
| 2001 |
|---|
| 1 | EE | Guoqiang Zhang,
Yixiang Chen:
Domains via Graphs.
J. Comput. Sci. Technol. 16(6): 505-521 (2001) |
