Top1000 Scholar

Scholarly Index

Jasmin Christian Blanchette

Ludwig-Maximilians-Universität München; 1,013 total citations; 80 total publications; best world rank #86

Ludwig-Maximilians-Universität München

1,013Total citations
80Total publications
16H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime517DE 4994.24
Formal Methods in VerificationLifetime937DE 8592.71
Logic, Reasoning, and KnowledgeLifetime805DE 4991.45
Mathematics, Computing, and Information ProcessingLifetime176DE 1481.71
Logic, programming, and type systems2021-202586DE 884.64
Logic, Reasoning, and Knowledge2021-2025117DE 1484.01
Formal Methods in Verification2021-2025314DE 2576.44