Top1000 Scholar

Scholarly Index

Rance Cleaveland

University of Maryland, College Park; 3,142 total citations; 115 total publications; best world rank #172

University of Maryland, College Park

3,142Total citations
115Total publications
26H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime172US 7998.00
Model-Driven Software Engineering TechniquesLifetime377US 8294.01
Logic, programming, and type systemsLifetime523US 19894.16
Petri Nets in System ModelingLifetime438US 10292.39
Software Testing and Debugging TechniquesLifetime896US 31392.96
Safety Systems Engineering in AutonomyLifetime222US 6088.54
Healthcare Technology and Patient MonitoringLifetime993US 46178.41
Formal Methods in Verification2021-2025497US 10568.10
Logic, programming, and type systems2021-2025695US 13244.62