Scholarly Index
Ningning Xie
University of Toronto; 159 total citations; 30 total publications; best world rank #11
University of Toronto
159Total citations
30Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 11 | CA 2 | 96.36 |
| Formal Methods in Verification | 2021-2025 | 541 | CA 9 | 66.18 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 468 | CA 11 | 61.44 |