An Approach to Testing the Nonexistence of Initial State in Z Specifications. - Huaikou Miao; Xiaolei Gao; Ling Liu (Asian Test Symposium, 1999)

A Specification-Based Software Construction Framework for Reuse. - Jing Liu; Huaikou Miao; Xiaolei Gao (ICFEM, 2002)

Structured Object-Z Software Specification Language. - Xiaolei Gao; Huaikou Miao; Yihai Chen (GCC (1), 2003)

The Availability Semantics of Predicate Data Flow Diagram. - Xiaolei Gao; Huaikou Miao; Shaoying Liu; Ling Liu (GCC (2), 2003)

The Axiomatic Semantics of PDFD. - Xiaolei Gao; Huaikou Miao (FCST, 2008)

Algorithm of On-Line Handwriting Signature Verification Based on Discrete Fréchet Distance. - Jianbin Zheng; Xiaolei Gao; Enqi Zhan; Zhangcan Huang (ISICA, 2008)

The Design and Implementation of Z Language Editor. - Xiaolei Gao (ICA3PP, 2009)

Proving Total Correctness of Refinement Based on Tableau. - Xiaolei Gao; Huaikou Miao (ISPA, 2009)

The Z Specification Refinement of Based on Tableau. - Xiaolei Gao (FCS, 2010)

Implementation of Z Language Edit Tool in MS Word. - Xiaolei Gao (ISPA, 2010)