Scholarly Index
Christoph Matheja
Technical University of Denmark; 426 total citations; 17 total publications; best world rank #78
Technical University of Denmark
426Total citations
17Total publications
9H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 78 | DK 5 | 86.28 |
| Formal Methods in Verification | 2021-2025 | 281 | DK 8 | 78.21 |