Xiaolei Gao

11 papers A 1C 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A conf
EEG-FSL: An EEG-Based Few-Shot Learning Framework for Music Recommendation.
CIKM
Ming He, Wenbo Luo, Yongjie Zheng, Junkai Zhang, Xiaolei Gao
2010 C conf
Implementation of Z Language Edit Tool in MS Word.
ISPA
Xiaolei Gao
2010 — conf
The Z Specification Refinement of Based on Tableau.
FCS
Xiaolei Gao
2009 C conf
Proving Total Correctness of Refinement Based on Tableau.
ISPA
Xiaolei Gao, Huaikou Miao
2009 C conf
The Design and Implementation of Z Language Editor.
ICA3PP
Xiaolei Gao
2008 — conf
Algorithm of On-Line Handwriting Signature Verification Based on Discrete Fréchet Distance.
ISICA
Jianbin Zheng, Xiaolei Gao, Enqi Zhan, Zhangcan Huang
2008 — conf
The Axiomatic Semantics of PDFD.
FCST
Xiaolei Gao, Huaikou Miao
2003 — conf
Structured Object-Z Software Specification Language.
GCC (1)
Xiaolei Gao, Huaikou Miao, Yihai Chen
2003 — conf
The Availability Semantics of Predicate Data Flow Diagram.
GCC (2)
Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu
2002 C conf
A Specification-Based Software Construction Framework for Reuse.
ICFEM
Jing Liu, Huaikou Miao, Xiaolei Gao
1999 — conf
An Approach to Testing the Nonexistence of Initial State in Z Specifications.
Asian Test Symposium
Huaikou Miao, Xiaolei Gao, Ling Liu