Top1000 Scholar

Scholarly Index

Lars Birkedal

Aarhus University; 5,033 total citations; 193 total publications; best world rank #1

Aarhus University

5,033Total citations
193Total publications
37H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime56DK 198.86
Formal Methods in VerificationLifetime137DK 298.34
Logic, Reasoning, and KnowledgeLifetime149DK 197.69
Distributed systems and fault toleranceLifetime401DK 197.28
Security and Verification in ComputingLifetime230DK 196.53
Advanced Algebra and LogicLifetime723DK 391.18
Logic, programming, and type systems2021-20251DK 199.62
Distributed systems and fault tolerance2021-20258DK 197.64
Logic, Reasoning, and Knowledge2021-20256DK 197.04
Formal Methods in Verification2021-202517DK 197.52
Security and Verification in Computing2021-202524DK 195.96