Top1000 Scholar

Scholarly Index

Helmut Seidl

Technical University of Munich; 2,092 total citations; 123 total publications; best world rank #182

Technical University of Munich

2,092Total citations
123Total publications
25H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime315DE 2796.82
semigroups and automata theoryLifetime182DE 1296.01
Logic, programming, and type systemsLifetime459DE 4594.79
Algorithms and Data CompressionLifetime890DE 5592.24
Formal Methods in Verification2021-2025761DE 7658.77
semigroups and automata theory2021-2025379DE 3552.68
Logic, programming, and type systems2021-2025607DE 5950.15