Scholarly Index
Harald Søndergaard
University of Melbourne; 1,569 total citations; 94 total publications; best world rank #675
University of Melbourne
1,569Total citations
94Total publications
19H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 795 | AU 12 | 93.67 |
| Logic, programming, and type systems | Lifetime | 675 | AU 17 | 93.00 |
| Student Assessment and Feedback | Lifetime | 802 | AU 91 | 81.89 |