Scholarly Index
Asta Halkjær From
University of Copenhagen; 56 total citations; 21 total publications; best world rank #100
University of Copenhagen
56Total citations
21Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 100 | DK 7 | 83.66 |
| Formal Methods in Verification | 2021-2025 | 261 | DK 7 | 79.82 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 336 | DK 9 | 68.99 |