Scholarly Index

Daniela Kaufmann

TU Wien; 160 total citations; 15 total publications; best world rank #197

TU Wien

160Total citations
15Total publications
6H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in Verification2021-2025197AT 684.34
Logic, programming, and type systems2021-2025282AT 1068.30