A Systematic Framework for Grammar Testing. - Lixiao Zheng; Haiming Chen 001 (ACIS-ICIS, 2009)

A Sentence Generation Algorithm for Testing Grammars. - Lixiao Zheng; Duanyi Wu (COMPSAC (1), 2009)

Determinacy and rewriting of conjunctive queries over unary database schemas. - Lixiao Zheng; Haiming Chen 001 (SAC, 2011)

A Toolkit for Generating Sentences from Context-Free Grammars. - Zhiwu Xu 001; Lixiao Zheng; Haiming Chen 001 (Int. J. Softw. Informatics, 2011)

View determinacy for preserving selected information in data transformations. - Wenfei Fan; Floris Geerts; Lixiao Zheng (Inf. Syst., 2012)

Design and Implementation of WPF-based Mini OA System. - Cheng Wang; Zhixiao Lin; Fangsheng Guotang; Lixiao Zheng; Zhigang Zhu (3PGCIC, 2014)

Deciding determinism of unary languages. - Ping Lu 007; Feifei Peng; Haiming Chen 001; Lixiao Zheng (Inf. Comput., 2015)

Single-view determinacy and rewriting completeness for a fragment of XPath queries. - Lixiao Zheng; Shuai Ma 001; Xiangyu Luo; Tiejun Ma (Sci. China Inf. Sci., 2016)

An Algorithm for Learning Regular Expressions Based on Repeated String Detection. - Gang Lin; Lixiao Zheng; Yuanyang Wang (CSAI/ICIMT, 2018)

Symbolic model checking for discrete real-time systems. - Xiangyu Luo; Lijun Wu 001; Qingliang Chen; Haibo Li; Lixiao Zheng; Zuxi Chen (Sci. China Inf. Sci., 2018)

Research on Deadbeat Current Prediction Vector Control System of Axial Flux Permanent Magnet Synchronous Motor for Electric Bus Based on Efficiency Optimal Torque Distribution Method. - Jianfei Zhao; Lixiao Zheng; Shuang Wang; Minqi Hua (IEEE Access, 2019)

String Generation for Testing Regular Expressions. - Lixiao Zheng; Shuai Ma 001; Yuanyang Wang; Gang Lin (Comput. J., 2020)

Ensuring the Correctness of Regular Expressions: A Review. - Lixiao Zheng; Shuai Ma 001; Zuxi Chen; Xiangyu Luo (Int. J. Autom. Comput., 2021)

Incremental Witness Generation for Branching-Time Logic CTL. - Xiangyu Luo; Sen Liang; Lixiao Zheng; Zuxi Chen; Fan Yang 030 (IEEE Trans. Reliab., 2022)

Deducing Matching Strings for Real-World Regular Expressions. - Yixuan Yan; Weihao Su; Lixiao Zheng; Mengxi Wang; Haiming Chen 001; Chengyao Peng; Rongchen Li; Zixuan Chen (SETTA, 2023)

Parallel path detection for fraudulent accounts in banks based on graph analysis. - Zuxi Chen; ShiFan Zhang; XianLi Zeng; Meng Mei; Xiangyu Luo; Lixiao Zheng (PeerJ Comput. Sci., 2023)

Geometry-Based Feature Selection and Deep Aggregation Model for Architectural Scenery Recomposition Toward Education. - Lingjiao Fan; Shuangyang Cai; Chengbo He; Xinlong Li; Lixiao Zheng (IEEE Access, 2024)

Hyperclustering: High-Order Deep/Shallow Feature Clustering for Subway Shield Tunneling Water Leakage Detection. - Jianjun Xu; Xing Yuan; Lixiao Zheng; Da Lin (IEEE Access, 2025)