Scholarly Index
Jonathan Immanuel Brachthäuser
University of Tübingen; 324 total citations; 35 total publications; best world rank #10
University of Tübingen
324Total citations
35Total publications
10H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 10 | DE 2 | 96.51 |
| Security and Verification in Computing | 2021-2025 | 891 | DE 75 | 59.09 |
| Formal Methods in Verification | 2021-2025 | 825 | DE 84 | 56.96 |