Scholar
David Monniaux
Google Scholar ID: YoWhJ2kAAAAJ
Researcher in computer science, CNRS, VERIMAG
Program analysis
abstract interpretation
decision procedures
verified compilation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,942
H-index
31
i10-index
63
Publications
20
Co-authors
22
list available
Publications
2 items
The existence of polyhedral invariants is undecidable for linear systems
2026
Cited
0
Max-Policy Iteration, Revisited
2026
Cited
0
Co-authors
4 total
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
Jan Reineke
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
Nikolaj Bjorner
Microsoft Research
