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

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime297SE 896.93
Logic, programming, and type systemsLifetime809SE 2091.87