Top1000 Scholar

Scholarly Index

Robbert Krebbers

Radboud University Nijmegen; 1,912 total citations; 64 total publications; best world rank #2

Radboud University Nijmegen

1,912Total citations
64Total publications
22H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime348NL 1995.82
Formal Methods in VerificationLifetime644NL 2594.65
Security and Verification in ComputingLifetime480NL 893.69
Logic, programming, and type systems2021-20252NL 199.60
Distributed systems and fault tolerance2021-202512NL 196.96
Security and Verification in Computing2021-202520NL 396.50
Formal Methods in Verification2021-202540NL 295.59
Parallel Computing and Optimization Techniques2021-2025346NL 788.71
Logic, Reasoning, and Knowledge2021-2025737NL 3248.02