Scholarly Index

Emanuele D’Osualdo

University of Konstanz; 78 total citations; 9 total publications; best world rank #139

University of Konstanz

78Total citations
9Total publications
6H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systems2021-2025139DE 1279.47
Distributed systems and fault tolerance2021-2025409DE 3070.67
Formal Methods in Verification2021-2025575DE 5264.71
Security and Verification in Computing2021-2025791DE 6262.14