Joël Ouaknine

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 127

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions. HSCC (2024)
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
The 2-Dimensional Constraint Loop Problem Is Decidable. ICALP (2024)
Julian D'Costa, Joël Ouaknine, James Worrell
Nonnegativity Problems for Matrix Semigroups. STACS (2024)
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
On the Decidability of Presburger Arithmetic Expanded with Powers. CoRR (2024)
Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. CoRR (2024)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Multiple Reachability in Linear Dynamical Systems. CoRR (2024)
Quentin Guilmant, Joël Ouaknine
Inaproximability in Weighted Timed Games. CONCUR (2024)
Gorav Jindal, Joël Ouaknine
On the Counting Complexity of the Skolem Problem. CoRR (2024)
Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. ICALP (2024)
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
The 2-Dimensional Constraint Loop Problem is Decidable. CoRR (2024)
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. LICS (2024)
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. CoRR (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers. CoRR (2024)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
Model Checking Linear Dynamical Systems under Floating-point Rounding. TACAS (1) (2023)
Ventsislav Chonev, Joël Ouaknine, James Worrell
On the Zeros of Exponential Polynomials. J. ACM 70 (4) (2023)
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
The Monadic Theory of Toric Words. CoRR (2023)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
On the 𝑝-adic zeros of the Tribonacci sequence. Math. Comput. 93 (347) (2023)
Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
Reachability in Injective Piecewise Affine Maps. LICS (2023)
George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
Positivity Problems for Reversible Linear Recurrence Sequences. ICALP (2023)
Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell
Skolem Meets Bateman-Horn. CoRR (2023)
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
The Power of Positivity. LICS (2023)
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
On Strongest Algebraic Program Invariants. J. ACM 70 (5) (2023)
Julian D'Costa, Joël Ouaknine, James Worrell
Nonnegativity Problems for Matrix Semigroups. CoRR (2023)
Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
Reachability in Injective Piecewise Affine Maps. CoRR (2023)
Florian Luca, Joël Ouaknine, James Worrell
Transcendence of Sturmian Numbers over an Algebraic Base. CoRR (2023)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
Skolem Meets Schanuel. CoRR (2022)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. MFCS (2022)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. CoRR (2022)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS (2022)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
Model Checking Linear Dynamical Systems under Floating-point Rounding. CoRR (2022)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18 (1) (2022)
Florian Luca, Joël Ouaknine, James Worrell
Algebraic Model Checking for Discrete Linear Dynamical Systems. FORMATS (2022)
Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
On the Skolem Problem and the Skolem Conjecture. LICS (2022)
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
What's decidable about linear loops? Proc. ACM Program. Lang. 6 (POPL) (2022)
Florian Luca, Joël Ouaknine, James Worrell
A Universal Skolem Set of Positive Lower Density. MFCS (2022)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR (2022)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
What's Decidable about Discrete Linear Dynamical Systems? CoRR (2022)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
Skolem Meets Schanuel. MFCS (2022)
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Trans. Comput. Log. 23 (2) (2022)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
What's Decidable About Discrete Linear Dynamical Systems? Principles of Systems Design (2022)
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. CoRR (2022)
Shaull Almagor, Joël Ouaknine, James Worrell
First-Order Orbit Queries. Theory Comput. Syst. 65 (4) (2021)
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. 5 (POPL) (2021)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
The Pseudo-Skolem Problem is Decidable. MFCS (2021)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Porous Invariants. CAV (2) (2021)
Mikolaj Bojanczyk, Thomas Brihaye, Christoph Haase, Slawomir Lasota, Joël Ouaknine, Igor Potapov
Preface. Inf. Comput. 277 (2021)
Eike Neumann, Joël Ouaknine, James Worrell
Decision Problems for Second-Order Holonomic Recurrences. ICALP (2021)
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
On Positivity and Minimality for Second-Order Holonomic Sequences. MFCS (2021)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR (2021)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. MFCS (2021)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Porous Invariants. CoRR (2021)
Joël Ouaknine
Holonomic Techniques, Periods, and Decision Problems (Invited Talk). MFCS (2021)
Florian Luca, Joël Ouaknine, James Worrell
Universal Skolem Sets. LICS (2021)
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CoRR (2021)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. CoRR (2021)
Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
How Fast Can You Escape a Compact Polytope? STACS (2020)
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
Invariants for Continuous Linear Dynamical Systems. ICALP (2020)
Toghrul Karimov, Joël Ouaknine, James Worrell
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. CoRR (2020)
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
Algebraic Invariants for Linear Hybrid Automata. CONCUR (2020)
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
Invariants for Continuous Linear Dynamical Systems. CoRR (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. CoRR (2020)
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
On the skolem problem and prime powers. ISSAC (2020)
Toghrul Karimov, Joël Ouaknine, James Worrell
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. MFCS (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. FSTTCS (2020)
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
On the Skolem Problem and Prime Powers. CoRR (2020)
Eike Neumann, Joël Ouaknine, James Worrell
On Ranking Function Synthesis and Termination for Polynomial Programs. CONCUR (2020)
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Deciding ω-Regular Properties on Linear Recurrence Sequences. CoRR (2020)
Joël Ouaknine
Holonomic Techniques, Periods, and Decision Problems (Invited Talk). FSTTCS (2020)
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
On Positivity and Minimality for Second-Order Holonomic Sequences. CoRR (2020)
Joël Ouaknine
Program Invariants (Invited Talk). CONCUR (2019)
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
On the decidability of reachability in linear time-invariant systems. HSCC (2019)
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
On the Decidability of Membership in Matrix-exponential Semigroups. J. ACM 66 (3) (2019)
Shaull Almagor, Joël Ouaknine, James Worrell
The Semialgebraic Orbit Problem. STACS (2019)
Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell
On reachability problems for low dimensional matrix semigroups. CoRR (2019)
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
Algebraic Invariants for Linear Hybrid Automata. CoRR (2019)
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory Comput. Syst. 63 (5) (2019)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. CoRR (2019)
Mehran Hosseini, Joël Ouaknine, James Worrell
Termination of Linear Loops over the Integers. ICALP (2019)
Hsi-Ming Ho, Joël Ouaknine, James Worrell
On the Expressiveness and Monitoring of Metric Temporal Logic. Log. Methods Comput. Sci. 15 (2) (2019)
Shaull Almagor, Joël Ouaknine, James Worrell
The Semialgebraic Orbit Problem. CoRR (2019)
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
On the Monniaux Problem in Abstract Interpretation. CoRR (2019)
Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell
On Reachability Problems for Low-Dimensional Matrix Semigroups. ICALP (2019)
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
On the Monniaux Problem in Abstract Interpretation. SAS (2019)
Mehran Hosseini, Joël Ouaknine, James Worrell
On Termination of Integer Linear Loops. CoRR (2019)
Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
Cyclic-routing of Unmanned Aerial Vehicles. J. Comput. Syst. Sci. 103 (2019)
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
Model Checking Flat Freeze LTL on One-Counter Automata. Log. Methods Comput. Sci. 14 (4) (2018)
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Convex Language Semantics for Nondeterministic Probabilistic Automata. ICTAC (2018)
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Polynomial Invariants for Affine Programs. CoRR (2018)
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
O-Minimal Invariants for Linear Loops. ICALP (2018)
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
Effective Divergence Analysis for Linear Recurrence Sequences. CONCUR (2018)
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
On the Decidability of Reachability in Linear Time-Invariant Systems. CoRR (2018)
Joël Ouaknine, Igor Potapov, James Worrell
Reachability Problems 2014: Special issue. Theor. Comput. Sci. 735 (2018)
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
Effective Divergence Analysis for Linear Recurrence Sequences. CoRR (2018)
Hsi-Ming Ho, Joël Ouaknine, James Worrell
On the Expressiveness and Monitoring of Metric Temporal Logic. CoRR (2018)
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Polynomial Invariants for Affine Programs. LICS (2018)
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
O-Minimal Invariants for Linear Loops. CoRR (2018)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. LICS (2018)
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Convex Language Semantics for Nondeterministic Probabilistic Automata. CoRR (2018)
Daniel Bundala, Joël Ouaknine
On parametric timed automata and one-counter machines. Inf. Comput. 253 (2017)
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. CoRR (2017)

Joël Ouaknine.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joël Ouaknine