Lixiao Zheng

According to our database, Lixiao Zheng authored at least 16 papers between 2009 and 2023.

Collaborative distances:

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

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

Deducing Matching Strings for Real-World Regular Expressions.

Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

Incremental Witness Generation for Branching-Time Logic CTL.

Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang

IEEE Trans. Reliab., 2022

2021

Ensuring the Correctness of Regular Expressions: A Review.

Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo

Int. J. Autom. Comput., 2021

2020

String Generation for Testing Regular Expressions.

Lixiao Zheng, Shuai Ma, Yuanyang Wang, Gang Lin

Comput. J., 2020

2019

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

2018

Symbolic model checking for discrete real-time systems.

Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen

Sci. China Inf. Sci., 2018

An Algorithm for Learning Regular Expressions Based on Repeated String Detection.

Gang Lin, Lixiao Zheng, Yuanyang Wang

Proceedings of the 2018 2nd International Conference on Computer Science and Artificial Intelligence, 2018

2016

Single-view determinacy and rewriting completeness for a fragment of XPath queries.

Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma

Sci. China Inf. Sci., 2016

2015

Deciding determinism of unary languages.

Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng

Inf. Comput., 2015

2014

Design and Implementation of WPF-based Mini OA System.

Cheng Wang, Zhixiao Lin, Fangsheng Guotang, Lixiao Zheng, Zhigang Zhu

Proceedings of the 2014 Ninth International Conference on P2P, 2014

2012

View determinacy for preserving selected information in data transformations.

Wenfei Fan, Floris Geerts, Lixiao Zheng

Inf. Syst., 2012

2011

A Toolkit for Generating Sentences from Context-Free Grammars.

Zhiwu Xu, Lixiao Zheng, Haiming Chen

Int. J. Softw. Informatics, 2011

Determinacy and rewriting of conjunctive queries over unary database schemas.

Lixiao Zheng, Haiming Chen

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2009

A Sentence Generation Algorithm for Testing Grammars.

Lixiao Zheng, Duanyi Wu

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

A Systematic Framework for Grammar Testing.

Lixiao Zheng, Haiming Chen

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009