Scholarly Index
Arie Gurfinkel
University of Waterloo; 1,495 total citations; 81 total publications; best world rank #384
University of Waterloo
1,495Total citations
81Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 384 | CA 12 | 96.28 |
| Software Testing and Debugging Techniques | Lifetime | 709 | CA 44 | 94.18 |
| Logic, programming, and type systems | Lifetime | 751 | CA 25 | 92.37 |
| Model-Driven Software Engineering Techniques | Lifetime | 773 | CA 41 | 89.49 |