| |
| 2008 | ||
|---|---|---|
| 4 | EE | Xutao Du, Chunxiao Xing, Lizhu Zhou: Abstract Reachability Graph for Verifying Web Service Interfaces. ICSR 2008: 262-265 |
| 3 | EE | Xutao Du, Chunxiao Xing, Lizhu Zhou: Reachability analysis of Web service interfaces. IRI 2008: 40-45 |
| 2 | EE | Xutao Du, Chunxiao Xing, Lizhu Zhou: Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). QSIC 2008: 114-119 |
| 2003 | ||
| 1 | EE | Xutao Du, Zhoujun Li: A Proof Assistant for Mobile Processes. APPT 2003: 204-214 |
| 1 | Zhoujun Li | [1] |
| 2 | Chunxiao Xing (Chun-Xiao Xing) | [2] [3] [4] |
| 3 | Lizhu Zhou (Li-Zhu Zhou) | [2] [3] [4] |