Scholar
Peter Habermehl
Google Scholar ID: ScJoVIIAAAAJ
Professor of Computer Science, IRIF, University Paris Cité
Computer Science
Formal Methods
Verification
Automata Theory
Regular model-checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,657
H-index
30
i10-index
39
Publications
20
Co-authors
16
list available
Publications
2 items
Passive Learning of Symbolic Automata over Monotonic Algebras
2026
Cited
0
Data-driven Verification of Procedural Programs with Integer Arrays
2025
Cited
0
Co-authors
13 total
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Radu Iosif
CNRS/VERIMAG
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Martin Leucker
Professor of Computer Science, University of Lübeck
Lukas Holik
Brno University of Tehcnology
Mohamed Faouzi Atig
Uppsala University
Helmut Seidl
Professor für Informatik, School of CIT, TU München
