Top1000 Scholar

Scholarly Index

Kai Cai

Osaka Metropolitan University; 3,523 total citations; 170 total publications; best world rank #47

Osaka Metropolitan University

3,523Total citations
170Total publications
29H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Petri Nets in System ModelingLifetime128JP 496.73
Formal Methods in VerificationLifetime483JP 895.62
Distributed systems and fault toleranceLifetime749JP 895.40
Distributed Control Multi-Agent SystemsLifetime751JP 794.32
Petri Nets in System Modeling2021-202547JP 187.87
Distributed systems and fault tolerance2021-2025222JP 380.40
Formal Methods in Verification2021-2025283JP 1178.16
Security and Verification in Computing2021-2025600JP 868.01
Simulation Techniques and Applications2021-2025379JP 347.44
Business Process Modeling and Analysis2021-2025848JP 443.55