Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Chen, Zuxi
59
Ergebnisse:
Personensuche
X
Format
Online (59)
Medientypen
Artikel (Online) (34)
Buchkapitel (Online) (1)
OpenAccess-Volltexte (24)
Sprachen
englisch (52)
Sortierung: Relevanz
Sortierung: Jahr
?
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/..
1-15