Scholarly Index
Mark Reynolds
The University of Western Australia; 3,163 total citations; 195 total publications; best world rank #334
The University of Western Australia
3,163Total citations
195Total publications
28H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 383 | AU 4 | 96.28 |
| Logic, programming, and type systems | Lifetime | 334 | AU 9 | 95.95 |
| Logic, Reasoning, and Knowledge | Lifetime | 341 | AU 14 | 95.69 |