Zuxi Chen

According to our database, Zuxi Chen authored at least 6 papers between 2018 and 2023.

Collaborative distances:

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

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

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

2019

Study of Blockchains's Consensus Mechanism Based on Credit.

Yuhao Wang, Shaobin Cai, Changlong Lin, Zuxi Chen, Tian Wang, Zhenguo Gao, Changli Zhou

IEEE Access, 2019

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.

Zuxi Chen, Huixing Fang, Xiangyu Luo

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 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