Lixiao Zheng

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 10

Top Topics

Deterministic Finite Automata

Conformant Planning

Regular Expressions

Top Venues

Sci. China Inf. Sci.

IEEE Trans. Reliab.

Int. J. Autom. Comput.

Publications

Zuxi Chen, ShiFan Zhang, XianLi Zeng, Meng Mei, Xiangyu Luo, Lixiao Zheng
Parallel path detection for fraudulent accounts in banks based on graph analysis. PeerJ Comput. Sci. 9 (2023)
Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen
Deducing Matching Strings for Real-World Regular Expressions. SETTA (2023)
Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang
Incremental Witness Generation for Branching-Time Logic CTL. IEEE Trans. Reliab. 71 (2) (2022)
Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo
Ensuring the Correctness of Regular Expressions: A Review. Int. J. Autom. Comput. 18 (4) (2021)
Lixiao Zheng, Shuai Ma, Yuanyang Wang, Gang Lin
String Generation for Testing Regular Expressions. Comput. J. 63 (1) (2020)
Jianfei Zhao, Lixiao Zheng, Shuang Wang, Minqi Hua
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. IEEE Access 7 (2019)
Gang Lin, Lixiao Zheng, Yuanyang Wang
An Algorithm for Learning Regular Expressions Based on Repeated String Detection. CSAI/ICIMT (2018)
Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen
Symbolic model checking for discrete real-time systems. Sci. China Inf. Sci. 61 (5) (2018)
Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma
Single-view determinacy and rewriting completeness for a fragment of XPath queries. Sci. China Inf. Sci. 59 (9) (2016)
Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng
Deciding determinism of unary languages. Inf. Comput. 245 (2015)
Cheng Wang, Zhixiao Lin, Fangsheng Guotang, Lixiao Zheng, Zhigang Zhu
Design and Implementation of WPF-based Mini OA System. 3PGCIC (2014)
Wenfei Fan, Floris Geerts, Lixiao Zheng
View determinacy for preserving selected information in data transformations. Inf. Syst. 37 (1) (2012)
Lixiao Zheng, Haiming Chen
Determinacy and rewriting of conjunctive queries over unary database schemas. SAC (2011)
Zhiwu Xu, Lixiao Zheng, Haiming Chen
A Toolkit for Generating Sentences from Context-Free Grammars. Int. J. Softw. Informatics 5 (4) (2011)
Zhiwu Xu, Lixiao Zheng, Haiming Chen
A Toolkit for Generating Sentences from Context-Free Grammars. SEFM (2010)
Lixiao Zheng, Haiming Chen
A Systematic Framework for Grammar Testing. ACIS-ICIS (2009)
Lixiao Zheng, Duanyi Wu
A Sentence Generation Algorithm for Testing Grammars. COMPSAC (1) (2009)