Scholarly Index
Ondřej Lhoták
University of Waterloo; 2,225 total citations; 66 total publications; best world rank #434
University of Waterloo
2,225Total citations
66Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 434 | CA 12 | 95.08 |
| Software Testing and Debugging Techniques | Lifetime | 694 | CA 43 | 94.28 |
| Formal Methods in Verification | Lifetime | 749 | CA 26 | 93.99 |
| Logic, programming, and type systems | 2021-2025 | 915 | CA 16 | 32.91 |