This page shows all presentations of this author published in EasyChair Smart Slide.
On the Skolem Problem and the Skolem Conjecture
Richard Lipton, Florian Luca, Joris Nieuwveld, Joel Ouaknine, David Purser and James Worrell
Algorithms, Complexity, Verification: from Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape
Joel Ouaknine
On the Monniaux Problem in Abstract Interpretation
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly and James Worrell
Sequential Relational Decomposition
Dror Fried, Axel Legay, Joel Ouaknine and Moshe Y Vardi
Polynomial Invariants for Affine Programs
Ehud Hrushovski, Joel Ouaknine, Amaury Pouly and James Worrell