EasyChair Smart SlideDocs/Log in
Author: James Worrell

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

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

Polynomial Invariants for Affine Programs

Polynomial Invariants for Affine Programs

Ehud Hrushovski, Joel Ouaknine, Amaury Pouly and James Worrell

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