Scholarly Index
Patrick Bahr
IT University of Copenhagen; 253 total citations; 43 total publications; best world rank #172
IT University of Copenhagen
253Total citations
43Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 172 | DK 11 | 77.43 |
| Formal Methods in Verification | 2021-2025 | 419 | DK 11 | 71.96 |