Top1000 Scholar

Scholarly Index

Ranjit Jhala

University of California San Diego; 8,639 total citations; 129 total publications; best world rank #34

University of California San Diego

8,639Total citations
129Total publications
41H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime82US 4998.83
Security and Verification in ComputingLifetime89US 5298.29
Software Testing and Debugging TechniquesLifetime143US 7098.50
Logic, programming, and type systemsLifetime120US 5598.14
Software Engineering ResearchLifetime864US 27195.33
Software Reliability and Analysis ResearchLifetime812US 24593.71
Web Application Security VulnerabilitiesLifetime508US 17262.63
Logic, programming, and type systems2021-202534US 592.11
Security and Verification in Computing2021-2025170US 5886.36
Formal Methods in Verification2021-2025256US 5780.19
Model-Driven Software Engineering Techniques2021-2025260US 1861.00