Scholarly Index

Ziyue Ma

Xidian University; 1,110 total citations; 83 total publications; best world rank #7

Xidian University

1,110Total citations
83Total publications
17H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Petri Nets in System ModelingLifetime286CN 3394.48
Formal Methods in VerificationLifetime671CN 3194.48
Business Process Modeling and AnalysisLifetime974CN 5892.54
Formal Methods in Verification2021-20259CN 498.82
Petri Nets in System Modeling2021-20257CN 697.67
Distributed systems and fault tolerance2021-202547CN 1893.18
Business Process Modeling and Analysis2021-2025137CN 1484.20
Security and Verification in Computing2021-2025445CN 9873.80
Flexible and Reconfigurable Manufacturing Systems2021-2025448CN 5676.66
Model-Driven Software Engineering Techniques2021-2025250CN 1961.64