Scholarly Index
Alexander J. Summers
University of British Columbia; 442 total citations; 36 total publications; best world rank #175
University of British Columbia
442Total citations
36Total publications
10H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 175 | CA 5 | 77.18 |
| Formal Methods in Verification | 2021-2025 | 772 | CA 16 | 58.49 |