E-LIB Suche - Ergebnisse für: Chen, Zuxi

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

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/..

7

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/..

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

Temporal patterns of organ dysfunction in COVID-19 patients..:

Yu, Jiafei ; Zhang, Kai ; Chen, Tianqi...
International Journal of Infectious Diseases. 144 (2024) - p. 107045 , 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/..