Xiaolei Gao

According to our database, Xiaolei Gao authored at least 10 papers between 1999 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Implementation of Z Language Edit Tool in MS Word.

Xiaolei Gao

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

The Z Specification Refinement of Based on Tableau.

Xiaolei Gao

Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

2009

Proving Total Correctness of Refinement Based on Tableau.

Xiaolei Gao, Huaikou Miao

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2009

The Design and Implementation of Z Language Editor.

Xiaolei Gao

Proceedings of the Algorithms and Architectures for Parallel Processing, 2009

2008

Algorithm of On-Line Handwriting Signature Verification Based on Discrete Fréchet Distance.

Jianbin Zheng, Xiaolei Gao, Enqi Zhan, Zhangcan Huang

Proceedings of the Advances in Computation and Intelligence, Third International Symposium, 2008

The Axiomatic Semantics of PDFD.

Xiaolei Gao, Huaikou Miao

Proceedings of the Japan-China Joint Workshop on Frontier of Computer Science and Technology, 2008

2003

The Availability Semantics of Predicate Data Flow Diagram.

Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Structured Object-Z Software Specification Language.

Xiaolei Gao, Huaikou Miao, Yihai Chen

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

2002

A Specification-Based Software Construction Framework for Reuse.

Jing Liu, Huaikou Miao, Xiaolei Gao

Proceedings of the Formal Methods and Software Engineering, 2002

1999

An Approach to Testing the Nonexistence of Initial State in Z Specifications.

Huaikou Miao, Xiaolei Gao, Ling Liu

Proceedings of the 8th Asian Test Symposium (ATS '99), 1999