Top1000 Scholar

Scholarly Index

Majid Zamani

University of Colorado Boulder; 3,522 total citations; 201 total publications; best world rank #8

University of Colorado Boulder

3,522Total citations
201Total publications
26H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime252US 11097.28
Petri Nets in System ModelingLifetime144US 4196.59
Real-Time Systems SchedulingLifetime781US 23791.54
Control and Stability of Dynamical SystemsLifetime430US 8789.51
Formal Methods in Verification2021-20258US 398.90
Petri Nets in System Modeling2021-202510US 296.27
Advanced Control Systems Optimization2021-2025303US 3692.78
Fault Detection and Control Systems2021-2025882US 4988.92
Control Systems and Identification2021-2025350US 4381.93
Security and Verification in Computing2021-2025333US 11378.02
Embedded Systems Design Techniques2021-2025291US 8176.60
Gene Regulatory Network Analysis2021-2025589US 15269.32
Software Reliability and Analysis Research2021-2025782US 6569.96
Logic, programming, and type systems2021-2025315US 6066.20
Safety Systems Engineering in Autonomy2021-2025164US 2063.34
Radiation Effects in Electronics2021-2025984US 18664.32
Real-Time Systems Scheduling2021-2025419US 7058.17
Control and Stability of Dynamical Systems2021-2025289US 2059.04
Machine Learning and Algorithms2021-2025473US 13451.29