 | 2009 |
|---|
| 6 |       | Xiaolei Gao:
The Design and Implementation of Z Language Editor.
ICA3PP 2009: 684-692 |
| 2008 |
|---|
| 5 | | Jianbin Zheng,
Xiaolei Gao,
Enqi Zhan,
Zhangcan Huang:
Algorithm of On-Line Handwriting Signature Verification Based on Discrete Fréchet Distance.
ISICA 2008: 461-469 |
| 2003 |
|---|
| 4 | | Xiaolei Gao,
Huaikou Miao,
Yihai Chen:
Structured Object-Z Software Specification Language.
GCC (1) 2003: 956-963 |
| 3 | | Xiaolei Gao,
Huaikou Miao,
Shaoying Liu,
Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram.
GCC (2) 2003: 970-977 |
| 2002 |
|---|
| 2 | | Jing Liu,
Huaikou Miao,
Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse.
ICFEM 2002: 69-79 |
| 1999 |
|---|
| 1 | | Huaikou Miao,
Xiaolei Gao,
Ling Liu:
An Approach to Testing the Nonexistence of Initial State in Z Specifications.
Asian Test Symposium 1999: 289-294 |
