Scholarly Index
Frederik Krogsdal Jacobsen
Technical University of Denmark; 53 total citations; 13 total publications; best world rank #216
Technical University of Denmark
53Total citations
13Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 216 | DK 16 | 73.23 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 523 | DK 11 | 58.31 |
| Formal Methods in Verification | 2021-2025 | 897 | DK 19 | 54.80 |