James Worrell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
127
Venues
19
Active years
1998–2026
Best venue rank
A*
Where they publish
Papers
127 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Differential Tree Automata. | Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell |
| 2026 | SODA | On the Complexity of the Skolem Problem at Low Orders. | Piotr Bacik, Jol Ouaknine, James Worrell |
| 2026 | SODA | Algebraic Closure of Matrix Sets Recognized by 1-VASS. | Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi, James Worrell |
| 2026 | STACS | On the p-adic Skolem Problem. | Piotr Bacik, Jol Ouaknine, David Purser, James Worrell |
| 2025 | CONCUR | Explainability is a Game for Probabilistic Bisimilarity Distances. | Emily Vlasman, Anto Nanah Ji, James Worrell, Franck van Breugel |
| 2025 | CSL | Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. | Andrew Scoones, Mahsa Shirmohammadi, James Worrell |
| 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 | SODA | On the Decidability of Presburger Arithmetic Expanded with Powers. | Toghrul Karimov, Florian Luca, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2024 | CASC | On Rational Recursion for Holonomic Sequences. | Bertrand Teguia Tabuguia, James Worrell |
| 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 | The Skolem Landscape (Invited Talk). | James Worrell |
| 2023 | ICALP | Positivity Problems for Reversible Linear Recurrence Sequences. | George Kenison, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2023 | ISSAC | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. | George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2023 | LICS | Multiplicity Problems on Algebraic Series and Context-Free Grammars. | Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2023 | LICS | The Power of Positivity. | Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 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 | IJCAI | Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. | Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell |
| 2022 | ISSAC | The Membership Problem for Hypergeometric Sequences with Rational Parameters. | Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell |
| 2022 | ISSAC | On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices. | Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell |
| 2022 | LICS | Identity Testing for Radical Expressions. | Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, 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 | ISSAC | Cyclotomic Identity Testing and Applications. | Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, 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 |
| 2020 | CONCUR | Coverability in 1-VASS with Disequality Tests. | Shaull Almagor, Nathann Cohen, Guillermo A. Prez, Mahsa Shirmohammadi, James Worrell |
| 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 | 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 | LICS | On the Existential Theories of Bchi Arithmetic and Linear p-adic Fields. | Florent Gupin, Christoph Haase, 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 | ICALP | When is Containment Decidable for Probabilistic Automata?. | Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Prez, James Worrell |
| 2018 | ICALP | Costs and Rewards in Priced Timed Automata. | Martin Frnzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell |
| 2018 | LICS | Polynomial Invariants for Affine Programs. | Ehud Hrushovski, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2017 | CONCUR | Probabilistic Automata of Bounded Ambiguity. | Nathanal Fijalkow, Cristian Riveros, James Worrell |
| 2017 | ICALP | The Polytope-Collision Problem. | Shaull Almagor, Jol Ouaknine, James Worrell |
| 2017 | ISSAC | The Zero Problem for Exponential Polynomials. | James Worrell |
| 2017 | LICS | Polynomial automata: Zeroness and applications. | Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell |
| 2017 | LICS | Revisiting reachability in timed automata. | Karin Quaas, Mahsa Shirmohammadi, James Worrell |
| 2017 | SODA | On Rationality of Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell |
| 2017 | STACS | Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. | Nathanal Fijalkow, Pierre Ohlmann, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2016 | CAV | Markov Chains and Unambiguous Bchi Automata. | Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klppelholz, David Mller, 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 Restricted Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, 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 | CONCUR | Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper). | James Worrell |
| 2015 | FOSSACS | Three Variables Suffice for Real-Time Logic. | Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell |
| 2015 | FOSSACS | Minimisation of Multiplicity Tree Automata. | Stefan Kiefer, Ines Marusic, James Worrell |
| 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 | 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 | Complexity of Equivalence and Learning for Multiplicity Tree Automata. | Ines Marusic, James Worrell |
| 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 | ICALP | Complexity of Two-Variable Logic on Finite Trees. | Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell |
| 2013 | ICALP | Revisiting the Equivalence Problem for Finite Multitape Automata. | James Worrell |
| 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 |
| 2013 | TACAS | LTL Model Checking of Interval Markov Chains. | Michael Benedikt, Rastislav Lenhardt, 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 | On the Complexity of Computing Probabilistic Bisimilarity. | Di Chen, Franck van Breugel, 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 | Two Variable vs. Linear Temporal Logic in Model Checking and Games. | Michael Benedikt, Rastislav Lenhardt, 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 |
| 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 |
| 2008 | TIME | Real-Time Model Checking: Algorithms and Complexity. | James Worrell |
| 2007 | FOSSACS | Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. | Franck van Breugel, Babita Sharma, James Worrell |
| 2007 | ICIS | Enhancing ERP/Business Fit in the Post-Implementation Phase: A Knowledge-Based Perspective. | James Worrell |
| 2007 | LICS | The Cost of Punctuality. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell |
| 2006 | FOSSACS | On Metric Temporal Logic and Faulty Turing Machines. | Jol Ouaknine, James Worrell |
| 2006 | TACAS | Safety Metric Temporal Logic Is Fully Decidable. | Jol Ouaknine, James Worrell |
| 2005 | ICALP | Decidability and Complexity Results for Timed Automata via Channel Machines. | Parosh Aziz Abdulla, Johann Deneux, Jol Ouaknine, James Worrell |
| 2005 | ICALP | An Accessible Approach to Behavioural Pseudometrics. | Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell |
| 2005 | LICS | On the Decidability of Metric Temporal Logic. | Jol Ouaknine, James Worrell |
| 2004 | FOSSACS | Duality for Labelled Markov Processes. | Michael W. Mislove, Jol Ouaknine, Dusko Pavlovic, James Worrell |
| 2004 | LICS | On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. | Jol Ouaknine, James Worrell |
| 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 | ICALP | Testing Labelled Markov Processes. | Franck van Breugel, Steven Shalit, James Worrell |
| 2002 | ICALP | Measuring the Probabilistic Powerdomain. | Keye Martin, Michael W. Mislove, James Worrell |
| 2001 | CONCUR | An Algorithm for Quantitative Verification of Probabilistic Transition Systems. | Franck van Breugel, James Worrell |
| 2001 | ICALP | Towards Quantitative Verification of Probabilistic Transition Systems. | Franck van Breugel, James Worrell |
| 1998 | LICS | An Axiomatics for Categories of Transition Systems as Coalgebras. | Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell |