Scholarly Index
Dirk Pattinson
Australian National University; 1,102 total citations; 68 total publications; best world rank #195
Australian National University
1,102Total citations
68Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 433 | AU 12 | 95.09 |
| Logic, Reasoning, and Knowledge | Lifetime | 481 | AU 20 | 94.32 |
| Formal Methods in Verification | Lifetime | 988 | AU 14 | 92.39 |
| Advanced Algebra and Logic | Lifetime | 985 | AU 21 | 88.64 |
| Logic, programming, and type systems | 2021-2025 | 195 | AU 1 | 75.14 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 235 | AU 5 | 75.28 |