Scholar

Peter Müller

Google Scholar ID: ttxZRHEAAAAJ

ETH Zurich

Program VerificationFormal MethodsProgramming Methodology

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

8,954

H-index

48

i10-index

128

Publications

20

Co-authors

24

list available

Contact

No contact links provided.

Publications

1 items

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)

2026

Cited

0

Resume (English only)

Co-authors

24 total

Alexander J. Summers

The University of British Columbia

Gary T. Leavens

Professor, University of Central Florida

Sophia Drossopoulou

Professor, Imperial College London

Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University