Top1000 Scholar

Scholarly Index

Derek Dreyer

Max Planck Institute for Software Systems; 4,780 total citations; 135 total publications; best world rank #3

Max Planck Institute for Software Systems

4,780Total citations
135Total publications
39H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime47DE 199.01
Formal Methods in VerificationLifetime153DE 1598.21
Parallel Computing and Optimization TechniquesLifetime674DE 1897.57
Security and Verification in ComputingLifetime175DE 1197.15
Distributed systems and fault toleranceLifetime414DE 1897.22
Logic, Reasoning, and KnowledgeLifetime611DE 3793.18
Logic, programming, and type systems2021-20253DE 199.30
Security and Verification in Computing2021-202531DE 595.42
Distributed systems and fault tolerance2021-202558DE 891.28
Formal Methods in Verification2021-202562DE 693.83
Software Testing and Debugging Techniques2021-2025505DE 1980.44