Top1000 Scholar

Scholarly Index

Gary T. Leavens

University of Central Florida; 5,786 total citations; 206 total publications; best world rank #57

University of Central Florida

5,786Total citations
206Total publications
35H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime57US 2898.83
Advanced Software Engineering MethodologiesLifetime99US 2898.72
Formal Methods in VerificationLifetime154US 7198.20
Model-Driven Software Engineering TechniquesLifetime157US 4296.77
Software Engineering ResearchLifetime452US 15297.37
Software Testing and Debugging TechniquesLifetime542US 21195.18
Security and Verification in ComputingLifetime691US 34691.36
Software Testing and Debugging Techniques2021-2025868US 15770.62
Software Reliability and Analysis Research2021-2025835US 7068.28