Top1000 Scholar

Scholarly Index

Dominique Devriese

KU Leuven; 1,255 total citations; 91 total publications; best world rank #15

KU Leuven

1,255Total citations
91Total publications
18H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Security and Verification in ComputingLifetime453BE 1194.02
Logic, programming, and type systemsLifetime560BE 893.85
Web Application Security VulnerabilitiesLifetime921BE 1243.94
Logic, programming, and type systems2021-202515BE 195.24
Security and Verification in Computing2021-2025151BE 587.43
Logic, Reasoning, and Knowledge2021-2025177BE 479.78
Formal Methods in Verification2021-2025336BE 375.23