Scholarly Index
Nir Piterman
Chalmers University of Technology; 3,158 total citations; 98 total publications; best world rank #297
Chalmers University of Technology
3,158Total citations
98Total publications
26H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 297 | SE 8 | 96.93 |
| Logic, programming, and type systems | Lifetime | 809 | SE 20 | 91.87 |