Jol Ouaknine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
117
Venues
27
Active years
1999–2026
Best venue rank
A*
Where they publish
- A*LICS20 papers
- A*ICALP20 papers
- BMFCS13 papers
- BCONCUR13 papers
- BFOSSACS8 papers
- ASTACS7 papers
- A*CAV7 papers
- A*SODA5 papers
- ATACAS5 papers
- BIFM2 papers
- A*AAAI1 paper
- A*KR1 paper
- BISSAC1 paper
- BSAS1 paper
- CICTAC1 paper
- BRV1 paper
- BATVA1 paper
- BFCT1 paper
- BFMCAD1 paper
- CLATA1 paper
- A*STOC1 paper
- BCSL1 paper
- BWG1 paper
- NationalISAIM1 paper
- CMEMOCODE1 paper
- BVMCAI1 paper
- NationalPDPTA1 paper
Papers
117 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Temporal Properties of Conditional Independence in Dynamic Bayesian Networks. | Rajab Aghamov, Christel Baier, Jol Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard |
| 2026 | FOSSACS | The Value Problem for Weighted Timed Games with Two Clocks is Undecidable. | Quentin Guilmant, Jol Ouaknine, Isa Vialard |
| 2026 | LICS | On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. | Piotr Bacik, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, Emil Rugaard Wieser |
| 2026 | SODA | On the Complexity of the Skolem Problem at Low Orders. | Piotr Bacik, Jol Ouaknine, James Worrell |
| 2026 | STACS | On the p-adic Skolem Problem. | Piotr Bacik, Jol Ouaknine, David Purser, James Worrell |
| 2025 | KR | Model Checking Linear Temporal Logic with Standpoint Modalities. | Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Jakob Piribauer, Timm Spork |
| 2025 | LICS | Multiple Reachability in Linear Dynamical Systems. | Toghrul Karimov, Edon Kelmendi, Jol Ouaknine, James Worrell |
| 2025 | MFCS | On Large Zeros of Linear Recurrence Sequences. | Florian Luca, Jol Ouaknine, James Worrell |
| 2025 | MFCS | On Expansions of Monadic Second-Order Logic with Dynamical Predicates. | Joris Nieuwveld, Jol Ouaknine |
| 2025 | SODA | On the Decidability of Presburger Arithmetic Expanded with Powers. | Toghrul Karimov, Florian Luca, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2024 | CONCUR | Inaproximability in Weighted Timed Games. | Quentin Guilmant, Jol Ouaknine |
| 2024 | ICALP | The 2-Dimensional Constraint Loop Problem Is Decidable. | Quentin Guilmant, Engel Lefaucheux, Jol Ouaknine, James Worrell |
| 2024 | ICALP | On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. | Pavol Kebis, Florian Luca, Jol Ouaknine, Andrew Scoones, James Worrell |
| 2024 | LICS | On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. | Valrie Berth, Toghrul Karimov, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, James Worrell |
| 2024 | STACS | Nonnegativity Problems for Matrix Semigroups. | Julian D'Costa, Jol Ouaknine, James Worrell |
| 2023 | ICALP | Positivity Problems for Reversible Linear Recurrence Sequences. | George Kenison, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2023 | LICS | Reachability in Injective Piecewise Affine Maps. | Faraz Ghahremani, Edon Kelmendi, Jol Ouaknine |
| 2023 | LICS | The Power of Positivity. | Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2023 | TACAS | Model Checking Linear Dynamical Systems under Floating-point Rounding. | Engel Lefaucheux, Jol Ouaknine, David Purser, Mohammadamin Sharifi |
| 2022 | CONCUR | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2022 | LICS | On the Skolem Problem and the Skolem Conjecture. | Richard Lipton, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell |
| 2022 | MFCS | Skolem Meets Schanuel. | Yuri Bilu, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell |
| 2022 | MFCS | The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, James Worrell |
| 2022 | MFCS | Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. | Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jol Ouaknine, James Worrell |
| 2022 | MFCS | A Universal Skolem Set of Positive Lower Density. | Florian Luca, Jol Ouaknine, James Worrell |
| 2021 | CAV | Porous Invariants. | Engel Lefaucheux, Jol Ouaknine, David Purser, James Worrell |
| 2021 | CONCUR | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | ICALP | Decision Problems for Second-Order Holonomic Recurrences. | Eike Neumann, Jol Ouaknine, James Worrell |
| 2021 | LICS | Universal Skolem Sets. | Florian Luca, Jol Ouaknine, James Worrell |
| 2021 | MFCS | The Pseudo-Skolem Problem is Decidable. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell |
| 2021 | MFCS | On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. | Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jol Ouaknine, James Worrell |
| 2021 | MFCS | On Positivity and Minimality for Second-Order Holonomic Sequences. | George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Jol Ouaknine, Markus A. Whiteland, James Worrell |
| 2021 | MFCS | Holonomic Techniques, Periods, and Decision Problems (Invited Talk). | Jol Ouaknine |
| 2020 | CONCUR | Algebraic Invariants for Linear Hybrid Automata. | Rupak Majumdar, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2020 | CONCUR | On Ranking Function Synthesis and Termination for Polynomial Programs. | Eike Neumann, Jol Ouaknine, James Worrell |
| 2020 | ICALP | Invariants for Continuous Linear Dynamical Systems. | Shaull Almagor, Edon Kelmendi, Jol Ouaknine, James Worrell |
| 2020 | ISSAC | On the skolem problem and prime powers. | George Kenison, Richard Lipton, Jol Ouaknine, James Worrell |
| 2020 | MFCS | On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. | Toghrul Karimov, Jol Ouaknine, James Worrell |
| 2020 | STACS | How Fast Can You Escape a Compact Polytope? | Julian D'Costa, Engel Lefaucheux, Jol Ouaknine, James Worrell |
| 2019 | CONCUR | Program Invariants (Invited Talk). | Jol Ouaknine |
| 2019 | ICALP | On Reachability Problems for Low-Dimensional Matrix Semigroups. | Thomas Colcombet, Jol Ouaknine, Pavel Semukhin, James Worrell |
| 2019 | ICALP | Termination of Linear Loops over the Integers. | Mehran Hosseini, Jol Ouaknine, James Worrell |
| 2019 | STACS | The Semialgebraic Orbit Problem. | Shaull Almagor, Jol Ouaknine, James Worrell |
| 2019 | SAS | On the Monniaux Problem in Abstract Interpretation. | Nathanal Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2018 | CONCUR | Effective Divergence Analysis for Linear Recurrence Sequences. | Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Jol Ouaknine, James Worrell |
| 2018 | ICALP | O-Minimal Invariants for Linear Loops. | Shaull Almagor, Dmitry Chistikov, Jol Ouaknine, James Worrell |
| 2018 | ICTAC | Convex Language Semantics for Nondeterministic Probabilistic Automata. | Gerco van Heerdt, Justin Hsu, Jol Ouaknine, Alexandra Silva |
| 2018 | LICS | Sequential Relational Decomposition. | Dror Fried, Axel Legay, Jol Ouaknine, Moshe Y. Vardi |
| 2018 | LICS | Polynomial Invariants for Affine Programs. | Ehud Hrushovski, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2017 | ICALP | The Polytope-Collision Problem. | Shaull Almagor, Jol Ouaknine, James Worrell |
| 2017 | LICS | LICS 2017 foreword. | Jol Ouaknine |
| 2017 | STACS | Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. | Nathanal Fijalkow, Pierre Ohlmann, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2016 | CONCUR | Model Checking Flat Freeze LTL on One-Counter Automata. | Antonia Lechner, Richard Mayr, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2016 | ICALP | Proving the Herman-Protocol Conjecture. | Maria Bruna, Radu Grigore, Stefan Kiefer, Jol Ouaknine, James Worrell |
| 2016 | ICALP | On the Skolem Problem for Continuous Linear Dynamical Systems. | Ventsislav Chonev, Jol Ouaknine, James Worrell |
| 2016 | LICS | On Recurrent Reachability for Continuous Linear Dynamical Systems. | Ventsislav Chonev, Jol Ouaknine, James Worrell |
| 2016 | LICS | Solvability of Matrix-Exponential Equations. | Jol Ouaknine, Amaury Pouly, Joo Sousa Pinto, James Worrell |
| 2015 | FOSSACS | The Cyclic-Routing UAV Problem is PSPACE-Complete. | Hsi-Ming Ho, Jol Ouaknine |
| 2015 | LICS | On the Complexity of Linear Arithmetic with Divisibility. | Antonia Lechner, Jol Ouaknine, James Worrell |
| 2015 | SODA | The Polyhedron-Hitting Problem. | Ventsislav Chonev, Jol Ouaknine, James Worrell |
| 2015 | SODA | On Termination of Integer Linear Loops. | Jol Ouaknine, Joo Sousa Pinto, James Worrell |
| 2015 | STACS | On Matrix Powering in Low Dimensions. | Esther Galby, Jol Ouaknine, James Worrell |
| 2014 | FOSSACS | Foundations for Decision Problems in Separation Logic with General Inductive Predicates. | Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Jol Ouaknine |
| 2014 | ICALP | On the Complexity of Temporal-Logic Path Checking. | Daniel Bundala, Jol Ouaknine |
| 2014 | ICALP | On the Positivity Problem for Simple Linear Recurrence Sequences, . | Jol Ouaknine, James Worrell |
| 2014 | ICALP | Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences. | Jol Ouaknine, James Worrell |
| 2014 | MFCS | Advances in Parametric Real-Time Reasoning. | Daniel Bundala, Jol Ouaknine |
| 2014 | SODA | Positivity Problems for Low-Order Linear Recurrence Sequences. | Jol Ouaknine, James Worrell |
| 2014 | RV | Online Monitoring of Metric Temporal Logic. | Hsi-Ming Ho, Jol Ouaknine, James Worrell |
| 2013 | ATVA | Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2013 | CAV | SeLoger: A Tool for Graph-Based Reasoning in Separation Logic. | Christoph Haase, Samin Ishtiaq, Jol Ouaknine, Matthew J. Parkinson |
| 2013 | FCT | Decision Problems for Linear Recurrence Sequences. | Jol Ouaknine |
| 2013 | FMCAD | Verifying multi-threaded software with impact. | Bjrn Wachter, Daniel Kroening, Jol Ouaknine |
| 2013 | LATA | Discrete Linear Dynamical Systems. | Jol Ouaknine |
| 2013 | LICS | Expressive Completeness for Metric Temporal Logic. | Paul Hunter, Jol Ouaknine, James Worrell |
| 2013 | MFCS | Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian. | Ranko Lazic, Jol Ouaknine, James Worrell |
| 2013 | STOC | The orbit problem in higher dimensions. | Ventsislav Chonev, Jol Ouaknine, James Worrell |
| 2012 | CAV | Recent Developments in FDR. | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
| 2012 | CAV | APEX: An Analyzer for Open Probabilistic Programs. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2012 | FOSSACS | Branching-Time Model Checking of Parametric One-Counter Automata. | Stefan Gller, Christoph Haase, Jol Ouaknine, James Worrell |
| 2012 | FOSSACS | On the Complexity of the Equivalence Problem for Probabilistic Automata. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2012 | LICS | On the Magnitude of Completeness Thresholds in Bounded Model Checking. | Daniel Bundala, Jol Ouaknine, James Worrell |
| 2011 | CAV | Language Equivalence for Probabilistic Automata. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2011 | CAV | Linear Completeness Thresholds for Bounded Model Checking. | Daniel Kroening, Jol Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell |
| 2011 | CONCUR | Tractable Reasoning in a Fragment of Separation Logic. | Byron Cook, Christoph Haase, Jol Ouaknine, Matthew J. Parkinson, James Worrell |
| 2011 | CONCUR | Static Livelock Analysis in CSP. | Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
| 2011 | CSL | The Church Synthesis Problem with Metric. | Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2011 | ICALP | On Reachability for Hybrid Automata over Bounded Time. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2011 | ICALP | On Stabilization in Herman's Algorithm. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, James Worrell, Lijun Zhang |
| 2011 | WG | On Searching for Small Kochen-Specker Vector Systems. | Felix Arends, Jol Ouaknine, Charles W. Wampler |
| 2010 | ICALP | Model Checking Succinct and Parametric One-Counter Automata. | Stefan Gller, Christoph Haase, Jol Ouaknine, James Worrell |
| 2010 | ICALP | Towards a Theory of Time-Bounded Verification. | Jol Ouaknine, James Worrell |
| 2010 | LICS | Alternating Timed Automata over Bounded Time. | Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2009 | CONCUR | Reachability in Succinct and Parametric One-Counter Automata. | Christoph Haase, Stephan Kreutzer, Jol Ouaknine, James Worrell |
| 2009 | CONCUR | Time-Bounded Verification. | Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2008 | ICALP | On Expressiveness and Complexity in Real-Time Model Checking. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell |
| 2008 | STACS | On Termination for Faulty Channel Machines. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, Philippe Schnoebelen, James Worrell |
| 2008 | TACAS | On Automated Verification of Probabilistic Programs. | Axel Legay, Andrzej S. Murawski, Jol Ouaknine, James Worrell |
| 2007 | LICS | The Cost of Punctuality. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell |
| 2007 | TACAS | Deciding Bit-Vector Arithmetic with Abstraction. | Randal E. Bryant, Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
| 2006 | FOSSACS | On Metric Temporal Logic and Faulty Turing Machines. | Jol Ouaknine, James Worrell |
| 2006 | ISAIM | Sudoku as a SAT Problem. | Ins Lynce, Jol Ouaknine |
| 2006 | TACAS | Safety Metric Temporal Logic Is Fully Decidable. | Jol Ouaknine, James Worrell |
| 2005 | CONCUR | On Probabilistic Program Equivalence and Refinement. | Andrzej S. Murawski, Jol Ouaknine |
| 2005 | ICALP | Decidability and Complexity Results for Timed Automata via Channel Machines. | Parosh Aziz Abdulla, Johann Deneux, Jol Ouaknine, James Worrell |
| 2005 | IFM | State/Event Software Verification for Branching-Time Specifications. | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Jol Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
| 2005 | LICS | On the Decidability of Metric Temporal Logic. | Jol Ouaknine, James Worrell |
| 2004 | CAV | Abstraction-Based Satisfiability Solving of Presburger Arithmetic. | Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman |
| 2004 | FOSSACS | Duality for Labelled Markov Processes. | Michael W. Mislove, Jol Ouaknine, Dusko Pavlovic, James Worrell |
| 2004 | IFM | State/Event-Based Software Model Checking. | Sagar Chaki, Edmund M. Clarke, Jol Ouaknine, Natasha Sharygina, Nishant Sinha |
| 2004 | LICS | On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. | Jol Ouaknine, James Worrell |
| 2004 | MEMOCODE | Automated, compositional and iterative deadlock detection. | Sagar Chaki, Edmund M. Clarke, Jol Ouaknine, Natasha Sharygina |
| 2004 | VMCAI | Completeness and Complexity of Bounded Model Checking. | Edmund M. Clarke, Daniel Kroening, Jol Ouaknine, Ofer Strichman |
| 2003 | FOSSACS | An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. | Franck van Breugel, Michael W. Mislove, Jol Ouaknine, James Worrell |
| 2003 | LICS | Revisiting Digitization, Robustness, and Decidability for Timed Automata. | Jol Ouaknine, James Worrell |
| 2002 | TACAS | Digitisation and Full Abstraction for Dense-Time Model Checking. | Jol Ouaknine |
| 1999 | PDPTA | Model-Checking Temporal Behaviour in CSP. | Jol Ouaknine, George M. Reed |