I agree that this site is using cookies. You can find further informations here.
X
Chen, Zuxi
58  results:
Search for persons X
?
1

Developing CBTC system safety requirement hierarchy through..:

Chen, ZuXi ; Lin, HongKai ; Mei, Meng...
Heliyon.  10 (2024)  11 - p. e31776 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Parallel path detection for fraudulent accounts in banks ba..:

Chen, Zuxi ; Zhang, ShiFan ; Zeng, XianLi...
PeerJ Computer Science.  9 (2023)  - p. e1749 , 2023
Link: https://doi.org/10.7717/..
 
?
3

Incremental Witness Generation for Branching-Time Logic CTL:

Luo, Xiangyu ; Liang, Sen ; Zheng, Lixiao..
IEEE Transactions on Reliability.  71 (2022)  2 - p. 933-950 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Ensuring the Correctness of Regular Expressions: A Review:

Zheng, Li-Xiao ; Ma, Shuai ; Chen, Zu-Xi.
International Journal of Automation and Computing.  18 (2021)  4 - p. 521-535 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Optimized Step Semantics Encoding for Bounded Model Checkin..:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),
Chen, Zuxi ; Fang, Huixing ; Luo, Xiangyu - p. 93-98 , 2019
Link: https://doi.org/10.1109/..
 
?
6

Symbolic model checking for discrete real-time systems:

Luo, Xiangyu ; Wu, Lijun ; Chen, Qingliang...
Science China Information Sciences.  61 (2017)  5 - p. , 2017
Link: https://doi.org/10.1007/..
 
?
7

Efficient encoding for bounded model checking of timed auto..:

Chen, Zuxi ; Xu, Zhongwei ; Du, Junwei..
IEEJ Transactions on Electrical and Electronic Engineering.  12 (2017)  5 - p. 710-720 , 2017
Link: https://doi.org/10.1002/..
 
?
8

Lazy abstraction for timed automaton with interpolants:

Chen, Zuxi ; Xu, Zhongwei
IEEJ Transactions on Electrical and Electronic Engineering.  10 (2015)  S1 - p. , 2015
Link: https://doi.org/10.1002/..
 
?
9

THE GENERALIZED SINE-GORDEN EQUATIONS AND THEIR GEOMETRIC A..:

Chen, Zuxi ; Qian, Chunlin
Acta Mathematica Scientia.  3 (1983)  1 - p. 113-119 , 1983
Link: https://doi.org/10.1016/..
 
?
10

Parallel path detection for fraudulent accounts in banks ba..:

Zuxi Chen ; ShiFan Zhang ; XianLi Zeng...
https://peerj.com/articles/cs-1749.pdf.  , 2023
Link: https://doi.org/10.7717/..
 
?
11

Study of Blockchains's Consensus Mechanism Based on Credit:

Yuhao Wang ; Shaobin Cai ; Changlong Lin...
https://ieeexplore.ieee.org/document/8605507/.  , 2019
Link: https://doi.org/10.1109/..
 
?
12

Combining Theorem Proving and Model Checking in the Safety-..:

Sen Liang ; Xiangyu Luo ; Zuxi Chen
https://doi.org/10.1051/matecconf/201712804004.  , 2017
Link: https://doi.org/10.1051/..
 
?
13

Identifying influential nodes based on the disassortativity..:

Wang, Zuxi ; Huang, Ruixiang ; Yang, Dian...
Scientific Reports.  14 (2024)  1 - p. , 2024
Link: https://doi.org/10.1038/..
 
?
14

Multiple organs injury and myocardial energy metabolism dis..:

Zhang, Xiao-ting ; Zhang, Xu ; Wang, Meng-wei...
Toxicology.  503 (2024)  - p. 153752 , 2024
Link: https://doi.org/10.1016/..
 
?
15

Exploring the causal relationship between gut microbiota an..:

Feng, Zuxi ; Liao, Minjing ; Bai, Jun...
Frontiers in Microbiology.  15 (2024)  - p. , 2024
Link: https://doi.org/10.3389/..
 
1-15