Top1000 Scholar

Scholarly Index

Sayan Mitra

University of Illinois Urbana-Champaign; 2,725 total citations; 137 total publications; best world rank #311

University of Illinois Urbana-Champaign

2,725Total citations
137Total publications
27H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime336US 14296.63
Real-time simulation and control systemsLifetime576US 18394.46
Real-Time Systems SchedulingLifetime570US 18693.31
Petri Nets in System ModelingLifetime816US 17587.78
Safety Systems Engineering in AutonomyLifetime630US 14774.69
Modeling and Simulation SystemsLifetime529US 11371.64
Formal Methods in Verification2021-2025311US 7176.68
Simulation Techniques and Applications2021-2025513US 10637.45
Safety Systems Engineering in Autonomy2021-2025593US 8023.27