Top1000 Scholar

Scholarly Index

Lutz Schröder

Friedrich-Alexander-Universität Erlangen-Nürnberg; 1,586 total citations; 122 total publications; best world rank #158

Friedrich-Alexander-Universität Erlangen-Nürnberg

1,586Total citations
122Total publications
18H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime479DE 4794.58
Logic, Reasoning, and KnowledgeLifetime495DE 3494.23
Formal Methods in VerificationLifetime903DE 8392.98
Logic, Reasoning, and Knowledge2021-2025158DE 1880.93
Logic, programming, and type systems2021-2025174DE 1577.27
Advanced Algebra and Logic2021-2025467DE 1263.96
Formal Methods in Verification2021-2025805DE 8257.53