Scholarly Index

Samuel Gruetter

ETH Zurich; 150 total citations; 8 total publications; best world rank #344

ETH Zurich

150Total citations
8Total publications
4H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systems2021-2025344CH 1064.27
Formal Methods in Verification2021-2025693CH 1360.76