Xiaolei Gao

Publication Activity (10 Years)

Years Active: 1999-2010
Publications (10 Years): 0

Publications

Xiaolei Gao
Implementation of Z Language Edit Tool in MS Word. ISPA (2010)
Xiaolei Gao
The Z Specification Refinement of Based on Tableau. FCS (2010)
Xiaolei Gao
The Design and Implementation of Z Language Editor. ICA3PP (2009)
Xiaolei Gao, Huaikou Miao
Proving Total Correctness of Refinement Based on Tableau. ISPA (2009)
Xiaolei Gao, Huaikou Miao
The Axiomatic Semantics of PDFD. FCST (2008)
Jianbin Zheng, Xiaolei Gao, Enqi Zhan, Zhangcan Huang
Algorithm of On-Line Handwriting Signature Verification Based on Discrete Fréchet Distance. ISICA (2008)
Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu
The Availability Semantics of Predicate Data Flow Diagram. GCC (2) (2003)
Xiaolei Gao, Huaikou Miao, Yihai Chen
Structured Object-Z Software Specification Language. GCC (1) (2003)
Jing Liu, Huaikou Miao, Xiaolei Gao
A Specification-Based Software Construction Framework for Reuse. ICFEM (2002)
Huaikou Miao, Xiaolei Gao, Ling Liu
An Approach to Testing the Nonexistence of Initial State in Z Specifications. Asian Test Symposium (1999)