Top1000 Scholar

Scholarly Index

Andreas Podelski

University of Freiburg; 3,441 total citations; 151 total publications; best world rank #187

University of Freiburg

3,441Total citations
151Total publications
29H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime187DE 1697.92
Logic, programming, and type systemsLifetime194DE 1997.28
Software Testing and Debugging TechniquesLifetime410DE 2196.31
Model-Driven Software Engineering TechniquesLifetime447DE 6493.21
Security and Verification in ComputingLifetime482DE 3093.64
Logic, programming, and type systems2021-2025297DE 2567.16
Formal Methods in Verification2021-2025580DE 5364.59