Scholarly Index
Michael Norrish
Australian National University; 3,300 total citations; 73 total publications; best world rank #240
Australian National University
3,300Total citations
73Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 516 | AU 13 | 94.24 |
| Security and Verification in Computing | Lifetime | 858 | AU 20 | 89.33 |
| Logic, programming, and type systems | 2021-2025 | 240 | AU 3 | 71.33 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 295 | AU 6 | 71.09 |
| Formal Methods in Verification | 2021-2025 | 521 | AU 3 | 67.08 |