Joël Ouaknine - Selected Publications#

M. Hosseini, J. Ouaknine, and J. Worrell. Termination of affine loops over the integers.
Proceedings of ICALP, LIPIcs 132, 2019.

E. Hrushovski, J. Ouaknine, A. Pouly, and J. Worrell. Polynomial invariants for affine programs.
Proceedings of LICS, 2018.
(Invited to Journal of the ACM, accepted March 2020 with minor corrections.)

S. Almagor, D. Chistikov, J. Ouaknine, and J. Worrell. O-minimal invariants for linear loops.
Proceedings of ICALP, LIPIcs 107, 2018.

V. Chonev, J. Ouaknine, and J. Worrell. On the Skolem Problem for continuous linear dynamical systems.
Proceedings of ICALP, LIPIcs 55, 2016.

V. Chonev, J. Ouaknine, and J. Worrell. On recurrent reachability for continuous linear dynamical systems.
Proceedings of LICS, 2016.

J. Ouaknine, A. Pouly, J. Sousa Pinto, and J. Worrell. Solvability of matrix-exponential equations.
Proceedings of LICS, 2016.

V. Chonev, J. Ouaknine, and J. Worrell. On the complexity of the Orbit Problem.
Journal of the ACM 63(3), 2016.
(Designated "Notable Article" by ACM Computing Reviews 21st Annual Best of Computing (2016).)

J. Ouaknine and J. Worrell. Ultimate Positivity is decidable for simple linear recurrence sequences.
Proceedings of ICALP, LNCS 8573, 2014.
(Winner of Best Paper Award.)

J. Ouaknine and J. Worrell. Positivity problems for low-order linear recurrence sequences.
Proceedings of SODA, 2014.

V. Chonev, J. Ouaknine, and J. Worrell. The Orbit Problem in higher dimensions.
Proceedings of STOC, 2013.