| 2008 |
|---|
| 8 | EE | Rujuan Liu,
Changjun Hu,
Chongchong Zhao,
Zhong Gao:
Verification for Time Consistency of Web Service Flow.
ACIS-ICIS 2008: 624-629 |
| 7 | EE | Rujuan Liu,
Guilan Dai,
Changjun Hu,
Chongchong Zhao:
A Verification Method for Temporal Consistency of Service Flow.
COMPSAC 2008: 1187-1192 |
| 6 | EE | Changjun Hu,
Feng Jiao,
Chongchong Zhao:
An Architectural Quality Assessment for Domain-Specific Software.
CSSE (2) 2008: 143-146 |
| 5 | EE | Feng Jiao,
Changjun Hu,
Chongchong Zhao:
A Software Complexity Metric for SCA Specification.
CSSE (2) 2008: 481-484 |
| 4 | EE | Rujuan Liu,
Changjun Hu,
Chongchong Zhao:
Model Checking for Web Service Flow Based on Annotated OWL-S.
SNPD 2008: 741-746 |
| 2007 |
|---|
| 3 | EE | Guilan Dai,
Xiaoying Bai,
Chongchong Zhao:
A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S.
GCC 2007: 346-353 |
| 2 | EE | Guilan Dai,
Xiaoying Bai,
Chongchong Zhao:
A Framework for Model Checking Web Service Compositions Based on BPEL4WS.
ICEBE 2007: 165-172 |
| 1 | EE | Xiaoming Zhang,
Changjun Hu,
Qian Zhao,
Chongchong Zhao:
Semantic Data Integration in Materials Science Based on Semantic Model.
eScience 2007: 320-327 |
