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)

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. - Zuxi Chen; Huixing Fang; Xiangyu Luo (TASE, 2019)

Study of Blockchains's Consensus Mechanism Based on Credit. - Yuhao Wang 004; Shaobin Cai; Changlong Lin; Zuxi Chen; Tian Wang 001; Zhenguo Gao; Changli Zhou (IEEE Access, 2019)

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)

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)