Top1000 Scholar

Scholarly Index

Michaël Leuschel

Heinrich Heine University Düsseldorf; 1,964 total citations; 171 total publications; best world rank #306

Heinrich Heine University Düsseldorf

1,964Total citations
171Total publications
24H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime306DE 2596.88
Logic, programming, and type systemsLifetime338DE 3695.90
Software Testing and Debugging TechniquesLifetime523DE 2695.35
Model-Driven Software Engineering TechniquesLifetime429DE 6193.37
Formal Methods in Verification2021-2025632DE 6062.98
Logic, programming, and type systems2021-2025381DE 3662.44