| 2008 |
|---|
| 7 | EE | Guisheng Fan,
Huiqun Yu,
Liqiong Chen,
Dongmei Liu:
Analyzing BPEL Compositionality Based on Petri Nets.
COMPSAC 2008: 373-376 |
| 6 | EE | Guisheng Fan,
Huiqun Yu,
Dongmei Liu,
Liqiong Chen:
Modeling and Analyzing Time Constrains for Service Composition.
ICYCS 2008: 124-129 |
| 5 | EE | Dongmei Liu,
Sihan Qing,
Pengfei Li,
ChunYang Yuan:
A Practical Certified E-Mail System with Temporal Authentication Based on Transparent TSS.
SNPD 2008: 285-290 |
| 2007 |
|---|
| 4 | EE | Dongmei Liu,
Zhaoxia Wang:
A Method of X-Ray Image Recognition Based on Fuzzy Rule and Parallel Neural Networks.
ISNN (2) 2007: 1231-1239 |
| 2006 |
|---|
| 3 | | Huiqun Yu,
Dongmei Liu,
Zhiqing Shao,
Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z.
SEKE 2006: 11-16 |
| 2005 |
|---|
| 2 | EE | Huiqun Yu,
Dongmei Liu,
Xudong He,
Li Yang,
Shu Gao:
Secure Software Architectures Design by Aspect Orientation.
ICECCS 2005: 47-55 |
| 1 | | Huiqun Yu,
Dongmei Liu,
Li Yang,
Xudong He:
Formal Aspect-Oriented Modeling and Analysis by Aspect.
SEKE 2005: 169-174 |
