Top1000 Scholar

Scholarly Index

Tobias Nipkow

Technical University of Munich; 2,932 total citations; 133 total publications; best world rank #93

Technical University of Munich

2,932Total citations
133Total publications
28H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime93DE 598.43
Hermeneutics and Narrative IdentityLifetime360DE 2493.18
Formal Methods in VerificationLifetime233DE 2097.55
Logic, Reasoning, and KnowledgeLifetime191DE 1097.28
Aging, Elder Care, and Social IssuesLifetime905DE 2791.51
Security and Verification in ComputingLifetime845DE 6089.47
Mathematics, Computing, and Information ProcessingLifetime313DE 3073.90
Logic, Reasoning, and Knowledge2021-2025436DE 4362.95
Logic, programming, and type systems2021-2025375DE 3462.70
Formal Methods in Verification2021-2025946DE 10053.17