Top1000 Scholar

Scholarly Index

Kuize Zhang

Xi'an Jiaotong University; 1,430 total citations; 86 total publications; best world rank #16

Xi'an Jiaotong University

1,430Total citations
86Total publications
19H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime636CN 2894.70
Petri Nets in System ModelingLifetime333CN 3893.77
Gene Regulatory Network AnalysisLifetime883CN 9591.47
Formal Methods in Verification2021-202516CN 597.54
Distributed systems and fault tolerance2021-202538CN 1694.52
Petri Nets in System Modeling2021-202517CN 1194.80
Security and Verification in Computing2021-2025280CN 5480.09
semigroups and automata theory2021-2025249CN 1463.14
Gene Regulatory Network Analysis2021-2025781CN 23064.30
Real-Time Systems Scheduling2021-2025448CN 8656.70