Top1000 Scholar

Scholarly Index

Péter Müller

ETH Zurich; 2,421 total citations; 159 total publications; best world rank #13

ETH Zurich

2,421Total citations
159Total publications
24H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime277CH 696.35
Security and Verification in ComputingLifetime317CH 1095.48
Formal Methods in VerificationLifetime558CH 1695.19
Logic, programming, and type systems2021-202513CH 195.85
Security and Verification in Computing2021-2025117CH 589.24
Formal Methods in Verification2021-2025182CH 485.08
Distributed systems and fault tolerance2021-2025312CH 1575.36