Scholarly Index
Jørgen Villadsen
Technical University of Denmark; 1,316 total citations; 88 total publications; best world rank #40
Technical University of Denmark
1,316Total citations
88Total publications
13H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 40 | DK 4 | 91.01 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 146 | DK 5 | 82.14 |
| Formal Methods in Verification | 2021-2025 | 398 | DK 10 | 72.82 |