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
On the Monniaux Problem in Abstract Interpretation
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly and James Worrell
Polynomial Invariants for Affine Programs
Ehud Hrushovski, Joel Ouaknine, Amaury Pouly and James Worrell