EasyChair Smart SlideDocs/Log in
Author: Joel Ouaknine

This page shows all presentations of this author published in EasyChair Smart Slide.

The 2-Dimensional Constraint Loop Problem Is Decidable

The 2-Dimensional Constraint Loop Problem Is Decidable

Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine and James Worell

On the Skolem Problem and the Skolem Conjecture

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

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

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

Sequential Relational Decomposition

Dror Fried, Axel Legay, Joel Ouaknine and Moshe Y Vardi

Polynomial Invariants for Affine Programs

Polynomial Invariants for Affine Programs

Ehud Hrushovski, Joel Ouaknine, Amaury Pouly and James Worrell

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair