James Worrell

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 152

Top Venues

Publications

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)
Bertrand Teguia Tabuguia, James Worrell
On Rational Recursion for Holonomic Sequences. CoRR (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)
Bertrand Teguia Tabuguia, James Worrell
On Rational Recursion for Holonomic Sequences. CASC (2024)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Multiple Reachability in Linear Dynamical Systems. CoRR (2024)
Andrew Scoones, Mahsa Shirmohammadi, James Worrell
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. 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)
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
On Learning Polynomial Recursive Programs. Proc. ACM Program. Lang. 8 (POPL) (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)
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell
Determination Problems for Orbit Closures and Matrix Groups. 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. CoRR (2024)
Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
On Tree Automata, Generating Functions, and Differential Equations. CoRR (2024)
Ventsislav Chonev, Joël Ouaknine, James Worrell
On the Zeros of Exponential Polynomials. J. ACM 70 (4) (2023)
Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136 (2023)
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
The Monadic Theory of Toric Words. CoRR (2023)
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
On Learning Polynomial Recursive Programs. CoRR (2023)
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. CoRR (2023)
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Multiplicity Problems on Algebraic Series and Context-Free Grammars. 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)
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. ISSAC (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)
James Worrell
The Skolem Landscape (Invited Talk). ICALP (2023)
Florian Luca, Joël Ouaknine, James Worrell
Transcendence of Sturmian Numbers over an Algebraic Base. CoRR (2023)
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Multiplicity Problems on Algebraic Series and Context-Free Grammars. LICS (2023)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
Skolem Meets Schanuel. CoRR (2022)
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Identity testing for radical expressions. CoRR (2022)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
When are Local Queries Useful for Robust Learning? 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)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and rewards in priced timed automata. Inf. Comput. 282 (2022)
Nathanaël Fijalkow, Cristian Riveros, James Worrell
Probabilistic automata of bounded ambiguity. Inf. Comput. 282 (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)
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Rational Parameters. CoRR (2022)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. IJCAI (2022)
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Rational Parameters. ISSAC (2022)
Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices. ISSAC (2022)
Florian Luca, Joël Ouaknine, James Worrell
Algebraic Model Checking for Discrete Linear Dynamical Systems. FORMATS (2022)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
When are Local Queries Useful for Robust Learning? NeurIPS (2022)
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Identity Testing for Radical Expressions. LICS (2022)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. CoRR (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)
Nathanaël Fijalkow, Cristian Riveros, James Worrell
Probabilistic Automata of Bounded Ambiguity. CoRR (2022)
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. CoRR (2022)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
On the Hardness of Robust Classification. J. Mach. Learn. Res. 22 (2021)
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
Cyclotomic Identity Testing and Applications. ISSAC (2021)
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)
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
When are emptiness and containment decidable for probabilistic automata? J. Comput. Syst. Sci. 119 (2021)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Porous Invariants. CAV (2) (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)
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices. CoRR (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)
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)
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
Cyclotomic Identity Testing and Applications. 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)
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)
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
Effective definability of the reachability relation in timed automata. Inf. Process. Lett. 153 (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)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CONCUR (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)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
On the Hardness of Robust Classification. Electron. Colloquium Comput. Complex. 26 (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)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
On the Hardness of Robust Classification. NeurIPS (2019)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CoRR (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)
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)
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
On the Hardness of Robust Classification. CoRR (2019)

James Worrell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Worrell