Scholarly Index
Neelakantan R. Krishnaswami
Chinese University of Hong Kong; 815 total citations; 39 total publications; best world rank #353
Chinese University of Hong Kong
815Total citations
39Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 353 | CN 5 | 95.80 |
| Formal Methods in Verification | Lifetime | 806 | CN 34 | 93.57 |
| Logic, Reasoning, and Knowledge | Lifetime | 884 | CN 15 | 90.78 |