Scholarly Index

P. Madhusudan

University of Illinois Urbana-Champaign; 3,890 total citations; 106 total publications; best world rank #158

University of Illinois Urbana-Champaign

3,890Total citations
106Total publications
32H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime165US 7698.09
Logic, programming, and type systemsLifetime158US 7197.58
Software Testing and Debugging TechniquesLifetime424US 17596.16
Security and Verification in ComputingLifetime393US 20994.67
Web Application Security VulnerabilitiesLifetime491US 16363.60
Formal Methods in Verification2021-2025526US 11466.97
Logic, programming, and type systems2021-2025401US 7861.28
Machine Learning and Algorithms2021-2025388US 10656.59
Logic, Reasoning, and Knowledge2021-2025660US 9151.69