Scholarly Index

Peter Thiemann

University of Freiburg; 1,444 total citations; 163 total publications; best world rank #192

University of Freiburg

1,444Total citations
163Total publications
21H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime192DE 1897.29
Formal Methods in VerificationLifetime697DE 6494.34
Model-Driven Software Engineering TechniquesLifetime729DE 10890.06
Logic, programming, and type systems2021-2025353DE 3163.85