Scholar
Joel Ouaknine
Google Scholar ID: ZfE4iQ4AAAAJ
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,514
H-index
28
i10-index
75
Publications
20
Co-authors
0
Publications
1 items
On the $p$-adic Skolem Problem
2025
Cited
0
