James Worrell

311 papers A* 58A 10B 48C 1Journal 149Unranked 40
YearRankTypeTitle / Venue / Authors
2026 A* conf
Algebraic Closure of Matrix Sets Recognized by 1-VASS.
SODA
Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi, James Worrell
2026 J jnl
Determination Problems for Orbit Closures and Matrix Groups.
Proc. ACM Program. Lang.
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka, James Worrell
2026 A* conf
On the Complexity of the Skolem Problem at Low Orders.
SODA
Piotr Bacik, Joël Ouaknine, James Worrell
2026 A conf
On the p-adic Skolem Problem.
STACS
Piotr Bacik, Joël Ouaknine, David Purser, James Worrell
2025 — conf
A parametric version of the Hilbert Nullstellensatz.
SOSA
Rida Ait El Manssour, Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2025 J jnl
Algebraic Closure of Matrix Sets Recognized by 1-VASS.
CoRR
Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi, James Worrell
2025 — conf
Algorithmic Applications of Schanuel's Conjecture.
Principles of Formal Quantitative Analysis
Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2025 J jnl
Computing transcendence and linear relations of 1-periods.
CoRR
Emre Can Sertöz, Joël Ouaknine, James Worrell
2025 B conf
Explainability is a Game for Probabilistic Bisimilarity Distances.
CONCUR
Emily Vlasman, Anto Nanah Ji, James Worrell, Franck van Breugel
2025 A* conf
Multiple Reachability in Linear Dynamical Systems.
LICS
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2025 B conf
On Large Zeros of Linear Recurrence Sequences.
MFCS
Florian Luca, Joël Ouaknine, James Worrell
2025 J jnl
On the
CoRR
Piotr Bacik, Joël Ouaknine, David Purser, James Worrell
2025 J jnl
On the Complexity of the Skolem Problem at Low Orders.
CoRR
Piotr Bacik, Joël Ouaknine, James Worrell
2025 A* conf
On the Decidability of Presburger Arithmetic Expanded with Powers.
SODA
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2025 J jnl
On the Monniaux Problem in Abstract Interpretation.
J. ACM
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2025 J jnl
On the growth of hypergeometric sequences.
CoRR
George Kenison, Jakub Konieczny, Florian Luca, Andrew Scoones, Mahsa Shirmohammadi, James Worrell
2025 B conf
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates.
CSL
Andrew Scoones, Mahsa Shirmohammadi, James Worrell
2025 J jnl
Termination Analysis of Linear-Constraint Programs.
CoRR
Amir M. Ben-Amram, Samir Genaim, Joël Ouaknine, James Worrell
2025 J jnl
The monadic theory of toric words.
Theor. Comput. Sci.
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
A parametric version of the Hilbert Nullstellensatz.
CoRR
Rida Ait El Manssour, Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2024 J jnl
Determination Problems for Orbit Closures and Matrix Groups.
CoRR
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell
2024 J jnl
FoSSaCS 2024: Report of the Program Chairs.
ACM SIGLOG News
Naoki Kobayashi, James Worrell
2024 — ed.
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
FoSSaCS (1)
Naoki Kobayashi, James Worrell
2024 — ed.
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
FoSSaCS (2)
Naoki Kobayashi, James Worrell
2024 J jnl
Multiple Reachability in Linear Dynamical Systems.
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2024 A conf
Nonnegativity Problems for Matrix Semigroups.
STACS
Julian D'Costa, Joël Ouaknine, James Worrell
2024 J jnl
On Learning Polynomial Recursive Programs.
Proc. ACM Program. Lang.
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2024 B conf
On Rational Recursion for Holonomic Sequences.
CASC
Bertrand Teguia Tabuguia, James Worrell
2024 J jnl
On Rational Recursion for Holonomic Sequences.
CoRR
Bertrand Teguia Tabuguia, James Worrell
2024 A* conf
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words.
ICALP
Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell
2024 J jnl
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words.
CoRR
Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell
2024 J jnl
On Tree Automata, Generating Functions, and Differential Equations.
CoRR
Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2024 A* conf
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
LICS
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
CoRR
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Presburger Arithmetic Expanded with Powers.
CoRR
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2024 J jnl
Porous invariants for linear systems.
Formal Methods Syst. Des.
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2024 J jnl
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates.
CoRR
Andrew Scoones, Mahsa Shirmohammadi, James Worrell
2024 A* conf
The 2-Dimensional Constraint Loop Problem Is Decidable.
ICALP
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
2024 J jnl
The 2-Dimensional Constraint Loop Problem is Decidable.
CoRR
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
2024 J jnl
Transcendence of Hecke-Mahler Series.
CoRR
Florian Luca, Joël Ouaknine, James Worrell
2024 J jnl
Verification of Linear Dynamical Systems via O-Minimality of Real Numbers.
CoRR
Toghrul Karimov, Joël Ouaknine, James Worrell
2023 J jnl
Markov chains and unambiguous automata.
J. Comput. Syst. Sci.
Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
2023 A* conf
Multiplicity Problems on Algebraic Series and Context-Free Grammars.
LICS
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
Multiplicity Problems on Algebraic Series and Context-Free Grammars.
CoRR
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
Nonnegativity Problems for Matrix Semigroups.
CoRR
Julian D'Costa, Joël Ouaknine, James Worrell
2023 J jnl
On Learning Polynomial Recursive Programs.
CoRR
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2023 J jnl
On Strongest Algebraic Program Invariants.
J. ACM
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
2023 J jnl
On the Zeros of Exponential Polynomials.
J. ACM
Ventsislav Chonev, Joël Ouaknine, James Worrell
2023 J jnl
On the 𝑝-adic zeros of the Tribonacci sequence.
Math. Comput.
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 A* conf
Positivity Problems for Reversible Linear Recurrence Sequences.
ICALP
George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 J jnl
Skolem Meets Bateman-Horn.
CoRR
Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell
2023 B conf
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
ISSAC
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
CoRR
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
The Monadic Theory of Toric Words.
CoRR
Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell
2023 A* conf
The Power of Positivity.
LICS
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 A* conf
The Skolem Landscape (Invited Talk).
ICALP
James Worrell
2023 J jnl
Transcendence of Sturmian Numbers over an Algebraic Base.
CoRR
Florian Luca, Joël Ouaknine, James Worrell
2022 B conf
A Universal Skolem Set of Positive Lower Density.
MFCS
Florian Luca, Joël Ouaknine, James Worrell
2022 — conf
Algebraic Model Checking for Discrete Linear Dynamical Systems.
FORMATS
Florian Luca, Joël Ouaknine, James Worrell
2022 B conf
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 J jnl
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 J jnl
Costs and rewards in priced timed automata.
Inf. Comput.
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2022 A* conf
Identity Testing for Radical Expressions.
LICS
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2022 J jnl
Identity testing for radical expressions.
CoRR
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2022 J jnl
O-Minimal Invariants for Discrete-Time Dynamical Systems.
ACM Trans. Comput. Log.
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2022 B conf
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices.
ISSAC
Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell
2022 A* conf
On the Skolem Problem and the Skolem Conjecture.
LICS
Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 B conf
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2022 J jnl
Probabilistic Automata of Bounded Ambiguity.
CoRR
Nathanaël Fijalkow, Cristian Riveros, James Worrell
2022 J jnl
Probabilistic automata of bounded ambiguity.
Inf. Comput.
Nathanaël Fijalkow, Cristian Riveros, James Worrell
2022 A* conf
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks.
IJCAI
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2022 J jnl
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks.
CoRR
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2022 B conf
Skolem Meets Schanuel.
MFCS
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 J jnl
Skolem Meets Schanuel.
CoRR
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 B conf
The Membership Problem for Hypergeometric Sequences with Rational Parameters.
ISSAC
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
2022 J jnl
The Membership Problem for Hypergeometric Sequences with Rational Parameters.
CoRR
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
2022 B conf
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
2022 J jnl
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.
CoRR
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
2022 — conf
What's Decidable About Discrete Linear Dynamical Systems?
Principles of Systems Design
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2022 J jnl
What's Decidable about Discrete Linear Dynamical Systems?
CoRR
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2022 J jnl
What's decidable about linear loops?
Proc. ACM Program. Lang.
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
2022 A* conf
When are Local Queries Useful for Robust Learning?
NeurIPS
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2022 J jnl
When are Local Queries Useful for Robust Learning?
CoRR
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2021 A* ed.
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Glasgow, Scotland (Virtual Conference), July 12-16, 2021
ICALP
Nikhil Bansal, Emanuela Merelli, James Worrell
2021 B conf
Cyclotomic Identity Testing and Applications.
ISSAC
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
2021 J jnl
Deciding ω-regular properties on linear recurrence sequences.
Proc. ACM Program. Lang.
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2021 A* conf
Decision Problems for Second-Order Holonomic Recurrences.
ICALP
Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
First-Order Orbit Queries.
Theory Comput. Syst.
Shaull Almagor, Joël Ouaknine, James Worrell
2021 B conf
On Positivity and Minimality for Second-Order Holonomic Sequences.
MFCS
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2021 B conf
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices.
CoRR
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
2021 J jnl
On the Hardness of Robust Classification.
J. Mach. Learn. Res.
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2021 — conf
Porous Invariants.
CAV (2)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 J jnl
Porous Invariants.
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 B conf
The Orbit Problem for Parametric Linear Dynamical Systems.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 J jnl
The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 B conf
The Pseudo-Skolem Problem is Decidable.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
2021 A* conf
Universal Skolem Sets.
LICS
Florian Luca, Joël Ouaknine, James Worrell
2021 J jnl
When are emptiness and containment decidable for probabilistic automata?
J. Comput. Syst. Sci.
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2020 B conf
Algebraic Invariants for Linear Hybrid Automata.
CONCUR
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
2020 B conf
Coverability in 1-VASS with Disequality Tests.
CONCUR
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2020 J jnl
Cyclotomic Identity Testing and Applications.
CoRR
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
2020 J jnl
Deciding ω-Regular Properties on Linear Recurrence Sequences.
CoRR
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 J jnl
Effective definability of the reachability relation in timed automata.
Inf. Process. Lett.
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
2020 A conf
How Fast Can You Escape a Compact Polytope?
STACS
Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
2020 A* conf
Invariants for Continuous Linear Dynamical Systems.
ICALP
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 J jnl
Invariants for Continuous Linear Dynamical Systems.
CoRR
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2020 B conf
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.
MFCS
Toghrul Karimov, Joël Ouaknine, James Worrell
2020 J jnl
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.
CoRR
Toghrul Karimov, Joël Ouaknine, James Worrell
2020 J jnl
On Positivity and Minimality for Second-Order Holonomic Sequences.
CoRR
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2020 B conf
On Ranking Function Synthesis and Termination for Polynomial Programs.
CONCUR
Eike Neumann, Joël Ouaknine, James Worrell
2020 J jnl
On the Skolem Problem and Prime Powers.
CoRR
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
2020 B conf
On the skolem problem and prime powers.
ISSAC
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
2019 J jnl
Algebraic Invariants for Linear Hybrid Automata.
CoRR
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
2019 J jnl
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
Theory Comput. Syst.
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2019 J jnl
Coverability in 1-VASS with Disequality Tests.
CoRR
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2019 J jnl
Effective Definability of the Reachability Relation in Timed Automata.
CoRR
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
2019 A* conf
On Reachability Problems for Low-Dimensional Matrix Semigroups.
ICALP
Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell
2019 J jnl
On Termination of Integer Linear Loops.
CoRR
Mehran Hosseini, Joël Ouaknine, James Worrell
2019 J jnl
On reachability problems for low dimensional matrix semigroups.
CoRR
Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell
2019 J jnl
On the Decidability of Membership in Matrix-exponential Semigroups.
J. ACM
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2019 A* conf
On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields.
LICS
Florent Guépin, Christoph Haase, James Worrell
2019 J jnl
On the Expressiveness and Monitoring of Metric Temporal Logic.
Log. Methods Comput. Sci.
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2019 A* conf
On the Hardness of Robust Classification.
NeurIPS
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2019 J jnl
On the Hardness of Robust Classification.
CoRR
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2019 J jnl
On the Hardness of Robust Classification.
Electron. Colloquium Comput. Complex.
Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell
2019 B conf
On the Monniaux Problem in Abstract Interpretation.
SAS
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2019 J jnl
On the Monniaux Problem in Abstract Interpretation.
CoRR
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2019 — conf
On the decidability of reachability in linear time-invariant systems.
HSCC
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2019 A* conf
Termination of Linear Loops over the Integers.
ICALP
Mehran Hosseini, Joël Ouaknine, James Worrell
2019 A conf
The Semialgebraic Orbit Problem.
STACS
Shaull Almagor, Joël Ouaknine, James Worrell
2019 J jnl
The Semialgebraic Orbit Problem.
CoRR
Shaull Almagor, Joël Ouaknine, James Worrell
2018 B ed.
43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, Liverpool, UK, August 27-31, 2018
MFCS
Igor Potapov, Paul G. Spirakis, James Worrell
2018 A* conf
Costs and Rewards in Priced Timed Automata.
ICALP
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2018 J jnl
Costs and Rewards in Priced Timed Automata.
CoRR
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2018 B conf
Effective Divergence Analysis for Linear Recurrence Sequences.
CONCUR
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2018 J jnl
Effective Divergence Analysis for Linear Recurrence Sequences.
CoRR
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2018 J jnl
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.
Log. Methods Comput. Sci.
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
2018 J jnl
Model Checking Flat Freeze LTL on One-Counter Automata.
Log. Methods Comput. Sci.
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
2018 — ch.
Model Checking Real-Time Systems.
Handbook of Model Checking
Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
2018 A* conf
O-Minimal Invariants for Linear Loops.
ICALP
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2018 J jnl
O-Minimal Invariants for Linear Loops.
CoRR
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2018 J jnl
On the Decidability of Reachability in Linear Time-Invariant Systems.
CoRR
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2018 J jnl
On the Expressiveness and Monitoring of Metric Temporal Logic.
CoRR
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2018 A* conf
Polynomial Invariants for Affine Programs.
LICS
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
2018 J jnl
Polynomial Invariants for Affine Programs.
CoRR
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
2018 J jnl
Reachability Problems 2014: Special issue.
Theor. Comput. Sci.
Joël Ouaknine, Igor Potapov, James Worrell
2018 J jnl
When is Containment Decidable for Probabilistic Automata?
CoRR
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2018 A* conf
When is Containment Decidable for Probabilistic Automata?.
ICALP
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2017 J jnl
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.
CoRR
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
2017 J jnl
Minimisation of Multiplicity Tree Automata.
Log. Methods Comput. Sci.
Stefan Kiefer, Ines Marusic, James Worrell
2017 J jnl
Nonnegative Matrix Factorization Requires Irrationality.
SIAM J. Appl. Algebra Geom.
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2017 A* conf
On Rationality of Nonnegative Matrix Factorization.
SODA
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2017 — conf
On the Polytope Escape Problem for Continuous Linear Dynamical Systems.
HSCC
Joël Ouaknine, João Sousa Pinto, James Worrell
2017 A* conf
Polynomial automata: Zeroness and applications.
LICS
Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell
2017 B conf
Probabilistic Automata of Bounded Ambiguity.
CONCUR
Nathanaël Fijalkow, Cristian Riveros, James Worrell
2017 J jnl
Revisiting Reachability in Timed Automata.
CoRR
Karin Quaas, Mahsa Shirmohammadi, James Worrell
2017 A* conf
Revisiting reachability in timed automata.
LICS
Karin Quaas, Mahsa Shirmohammadi, James Worrell
2017 A conf
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
STACS
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2017 J jnl
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
CoRR
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2017 A* conf
The Polytope-Collision Problem.
ICALP
Shaull Almagor, Joël Ouaknine, James Worrell
2017 B conf
The Zero Problem for Exponential Polynomials.
ISSAC
James Worrell
2017 — conf
Timed Temporal Logics.
Models, Algorithms, Logics and Tools
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
2016 J jnl
Complexity of Two-Variable Logic on Finite Trees.
ACM Trans. Comput. Log.
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
2016 — conf
Markov Chains and Unambiguous Büchi Automata.
CAV (1)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
2016 J jnl
Markov Chains and Unambiguous Büchi Automata.
CoRR
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
2016 B conf
Model Checking Flat Freeze LTL on One-Counter Automata.
CONCUR
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
2016 J jnl
Model Checking Flat Freeze LTL on One-Counter Automata.
CoRR
Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
2016 J jnl
Nonnegative Matrix Factorization Requires Irrationality.
CoRR
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 A* conf
On Recurrent Reachability for Continuous Linear Dynamical Systems.
LICS
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 A* conf
On Restricted Nonnegative Matrix Factorization.
ICALP
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 J jnl
On Restricted Nonnegative Matrix Factorization.
CoRR
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 J jnl
On the Complexity of the Orbit Problem.
J. ACM
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 A* conf
On the Skolem Problem for Continuous Linear Dynamical Systems.
ICALP
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 A* conf
Proving the Herman-Protocol Conjecture.
ICALP
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
2016 J jnl
Relating Reachability Problems in Timed and Counter Automata.
Fundam. Informaticae
Christoph Haase, Joël Ouaknine, James Worrell
2016 A* conf
Solvability of Matrix-Exponential Equations.
LICS
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2016 J jnl
Solvability of Matrix-Exponential Equations.
CoRR
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2016 J jnl
The Polytope-Collision Problem.
CoRR
Shaull Almagor, Joël Ouaknine, James Worrell
2016 J jnl
Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete.
ACM Trans. Comput. Log.
Ranko Lazic, Joël Ouaknine, James Worrell
2015 J jnl
Complexity of equivalence and learning for multiplicity tree automata.
J. Mach. Learn. Res.
Ines Marusic, James Worrell
2015 B conf
Minimisation of Multiplicity Tree Automata.
FoSSaCS
Stefan Kiefer, Ines Marusic, James Worrell
2015 A conf
On Matrix Powering in Low Dimensions.
STACS
Esther Galby, Joël Ouaknine, James Worrell
2015 A* conf
On Termination of Integer Linear Loops.
SODA
Joël Ouaknine, João Sousa Pinto, James Worrell
2015 J jnl
On linear recurrence sequences and loop termination.
ACM SIGLOG News
Joël Ouaknine, James Worrell
2015 A* conf
On the Complexity of Linear Arithmetic with Divisibility.
LICS
Antonia Lechner, Joël Ouaknine, James Worrell
2015 J jnl
On the Decidability of the Bounded Continuous Skolem Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 J jnl
On the Decidability of the Continuous Infinite Zeros Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 J jnl
Proving the Herman-Protocol Conjecture.
CoRR
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
2015 B conf
Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper).
CONCUR
James Worrell
2015 — conf
Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk).
FSTTCS
James Worrell
2015 J jnl
Reachability problems for Markov chains.
Inf. Process. Lett.
S. Akshay, Timos Antonopoulos, Joël Ouaknine, James Worrell
2015 J jnl
The Polyhedral Escape Problem is Decidable.
CoRR
Joël Ouaknine, João Sousa Pinto, James Worrell
2015 A* conf
The Polyhedron-Hitting Problem.
SODA
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 B conf
Three Variables Suffice for Real-Time Logic.
FoSSaCS
Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell
2014 — conf
Complexity of Equivalence and Learning for Multiplicity Tree Automata.
MFCS (1)
Ines Marusic, James Worrell
2014 J jnl
Complexity of Equivalence and Learning for Multiplicity Tree Automata.
CoRR
Ines Marusic, James Worrell
2014 J jnl
Language equivalence of probabilistic pushdown automata.
Inf. Comput.
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
2014 J jnl
Model Checking Markov Chains Against Unambiguous Buchi Automata.
CoRR
Michael Benedikt, Rastislav Lenhardt, James Worrell
2014 J jnl
On Termination of Integer Linear Loops.
CoRR
Joël Ouaknine, João Sousa Pinto, James Worrell
2014 — conf
On the Positivity Problem for Simple Linear Recurrence Sequences, .
ICALP (2)
Joël Ouaknine, James Worrell
2014 B conf
Online Monitoring of Metric Temporal Logic.
RV
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2014 A* conf
Positivity Problems for Low-Order Linear Recurrence Sequences.
SODA
Joël Ouaknine, James Worrell
2014 — ed.
Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
RP
Joël Ouaknine, Igor Potapov, James Worrell
2014 — conf
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata.
Horizons of the Mind
Franck van Breugel, James Worrell
2014 J jnl
The Polyhedron-Hitting Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2014 J jnl
Three Variables are Enough for Real-Time Specification.
CoRR
Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell
2014 — conf
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.
ICALP (2)
Joël Ouaknine, James Worrell
2013 J jnl
A Static Analysis Framework for Livelock Freedom in CSP
Log. Methods Comput. Sci.
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2013 J jnl
Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163].
Theor. Comput. Sci.
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
2013 J jnl
Algorithmic probabilistic game semantics - Playing games with automata.
Formal Methods Syst. Des.
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2013 — conf
Complexity of Two-Variable Logic on Finite Trees.
ICALP (2)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
2013 J jnl
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees
CoRR
Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell
2013 J jnl
Effective Positivity Problems for Simple Linear Recurrence Sequences.
CoRR
Joël Ouaknine, James Worrell
2013 A* conf
Expressive Completeness for Metric Temporal Logic.
LICS
Paul Hunter, Joël Ouaknine, James Worrell
2013 A conf
LTL Model Checking of Interval Markov Chains.
TACAS
Michael Benedikt, Rastislav Lenhardt, James Worrell
2013 J jnl
On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Log. Methods Comput. Sci.
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2013 J jnl
On the Complexity of Multitape Automata Equivalence
CoRR
James Worrell
2013 J jnl
Positivity Problems for Low-Order Linear Recurrence Sequences.
CoRR
Joël Ouaknine, James Worrell
2013 — conf
Revisiting the Equivalence Problem for Finite Multitape Automata.
ICALP (2)
James Worrell
2013 J jnl
The Orbit Problem in Higher Dimensions
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2013 A* conf
The orbit problem in higher dimensions.
STOC
Ventsislav Chonev, Joël Ouaknine, James Worrell
2013 B conf
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points.
ATVA
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2013 J jnl
Two Variable vs. Linear Temporal Logic in Model Checking and Games
Log. Methods Comput. Sci.
Michael Benedikt, Rastislav Lenhardt, James Worrell
2013 J jnl
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.
CoRR
Joël Ouaknine, James Worrell
2013 B conf
Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian.
MFCS
Ranko Lazic, Joël Ouaknine, James Worrell
2012 A* conf
APEX: An Analyzer for Open Probabilistic Programs.
CAV
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2012 J jnl
Bisimilarity of Probabilistic Pushdown Automata
CoRR
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
2012 — conf
Bisimilarity of Probabilistic Pushdown Automata.
FSTTCS
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
2012 B conf
Branching-Time Model Checking of Parametric One-Counter Automata.
FoSSaCS
Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell
2012 — conf
Decision Problems for Linear Recurrence Sequences.
RP
Joël Ouaknine, James Worrell
2012 J jnl
Expressive Completeness of Metric Temporal Logic
CoRR
Paul Hunter, Joël Ouaknine, James Worrell
2012 J jnl
On termination and invariance for faulty channel machines.
Formal Aspects Comput.
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2012 B conf
On the Complexity of Computing Probabilistic Bisimilarity.
FoSSaCS
Di Chen, Franck van Breugel, James Worrell
2012 B conf
On the Complexity of the Equivalence Problem for Probabilistic Automata.
FoSSaCS
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2012 A* conf
On the Magnitude of Completeness Thresholds in Bounded Model Checking.
LICS
Daniel Bundala, Joël Ouaknine, James Worrell
2012 — conf
On the Relationship between Reachability Problems in Timed and Counter Automata.
RP
Christoph Haase, Joël Ouaknine, James Worrell
2012 A* conf
Recent Developments in FDR.
CAV
Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2012 J jnl
Three tokens in Herman's algorithm.
Formal Aspects Comput.
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2012 J jnl
Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
CoRR
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2012 — conf
Verification of Two-Variable Logic Revisited.
QEST
Michael Benedikt, Rastislav Lenhardt, James Worrell
2012 J jnl
When is Metric Temporal Logic Expressively Complete?
CoRR
Paul Hunter, Joël Ouaknine, James Worrell
2011 A* conf
Language Equivalence for Probabilistic Automata.
CAV
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2011 A* conf
Linear Completeness Thresholds for Bounded Model Checking.
CAV
Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell
2011 J jnl
On Reachability for Hybrid Automata over Bounded Time
CoRR
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2011 — conf
On Reachability for Hybrid Automata over Bounded Time.
ICALP (2)
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2011 J jnl
On Stabilization in Herman's Algorithm
CoRR
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang
2011 — conf
On Stabilization in Herman's Algorithm.
ICALP (2)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang
2011 J jnl
On the Complexity of the Equivalence Problem for Probabilistic Automata
CoRR
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
2011 B conf
Static Livelock Analysis in CSP.
CONCUR
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2011 B conf
The Church Synthesis Problem with Metric.
CSL
Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell
2011 B conf
Tractable Reasoning in a Fragment of Separation Logic.
CONCUR
Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell
2011 B conf
Two Variable vs. Linear Temporal Logic in Model Checking and Games.
CONCUR
Michael Benedikt, Rastislav Lenhardt, James Worrell
2010 A* conf
Alternating Timed Automata over Bounded Time.
LICS
Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell
2010 — conf
Computing Rational Radical Sums in Uniform TC^0.
FSTTCS
Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2010 — conf
Model Checking Succinct and Parametric One-Counter Automata.
ICALP (2)
Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell
2010 — ch.
On Process-Algebraic Extensions of Metric Temporal Logic.
Reflections on the Work of C. A. R. Hoare
Christoph Haase, Joël Ouaknine, James Worrell
2010 — conf
Towards a Theory of Time-Bounded Verification.
ICALP (2)
Joël Ouaknine, James Worrell
2009 B conf
Reachability in Succinct and Parametric One-Counter Automata.
CONCUR
Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell
2009 B conf
Time-Bounded Verification.
CONCUR
Joël Ouaknine, Alexander Rabinovich, James Worrell
2008 J jnl
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
CoRR
Franck van Breugel, Babita Sharma, James Worrell
2008 J jnl
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems.
Log. Methods Comput. Sci.
Franck van Breugel, Babita Sharma, James Worrell
2008 — conf
Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains.
QEST
James Worrell
2008 J jnl
Nets with Tokens which Carry Data.
Fundam. Informaticae
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
2008 A conf
On Automated Verification of Probabilistic Programs.
TACAS
Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell
2008 — conf
On Expressiveness and Complexity in Real-Time Model Checking.
ICALP (2)
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2008 J jnl
On Termination for Faulty Channel Machines
CoRR
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2008 A conf
On Termination for Faulty Channel Machines.
STACS
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2008 C conf
Real-Time Model Checking: Algorithms and Complexity.
TIME
James Worrell
2008 — conf
Some Recent Results in Metric Temporal Logic.
FORMATS
Joël Ouaknine, James Worrell
2008 J jnl
Universality Analysis for One-Clock Timed Automata.
Fundam. Informaticae
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell
2007 B conf
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.
FoSSaCS
Franck van Breugel, Babita Sharma, James Worrell
2007 — conf
Labelled Markov Processes as Generalised Stochastic Relations.
Computation, Meaning, and Logic
Michael W. Mislove, Dusko Pavlovic, James Worrell
2007 — conf
Nets with Tokens Which Carry Data.
ICATPN
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
2007 J jnl
On the decidability and complexity of Metric Temporal Logic over finite words
CoRR
Joël Ouaknine, James Worrell
2007 J jnl
On the decidability and complexity of Metric Temporal Logic over finite words.
Log. Methods Comput. Sci.
Joël Ouaknine, James Worrell
2007 J jnl
Recursively defined metric spaces without contraction.
Theor. Comput. Sci.
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
2007 A* conf
The Cost of Punctuality.
LICS
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2007 — conf
Undecidability of Universality for Timed Automata with Minimal Resources.
FORMATS
Sara Adams, Joël Ouaknine, James Worrell
2007 — conf
Zone-Based Universality Analysis for Single-Clock Timed Automata.
FSEN
Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
2006 J jnl
Approximating and computing behavioural distances in probabilistic transition systems.
Theor. Comput. Sci.
Franck van Breugel, James Worrell
2006 B conf
On Metric Temporal Logic and Faulty Turing Machines.
FoSSaCS
Joël Ouaknine, James Worrell
2006 A conf
Safety Metric Temporal Logic Is Fully Decidable.
TACAS
Joël Ouaknine, James Worrell
2006 — conf
Testing Semantics: Connecting Processes and Process Logics.
AMAST
Dusko Pavlovic, Michael W. Mislove, James Worrell
2005 J jnl
A behavioural pseudometric for probabilistic transition systems.
Theor. Comput. Sci.
Franck van Breugel, James Worrell
2005 J jnl
A note on coalgebras and presheaves.
Math. Struct. Comput. Sci.
James Worrell
2005 A* conf
An Accessible Approach to Behavioural Pseudometrics.
ICALP
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
2005 A* conf
Decidability and Complexity Results for Timed Automata via Channel Machines.
ICALP
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell
2005 J jnl
Domain theory, testing and simulation for labelled Markov processes.
Theor. Comput. Sci.
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2005 A* conf
On the Decidability of Metric Temporal Logic.
LICS
Joël Ouaknine, James Worrell
2005 J jnl
On the final sequence of a finitary set functor.
Theor. Comput. Sci.
James Worrell
2004 B conf
Duality for Labelled Markov Processes.
FoSSaCS
Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
2004 J jnl
Measuring the probabilistic powerdomain.
Theor. Comput. Sci.
Keye Martin, Michael W. Mislove, James Worrell
2004 A* conf
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap.
LICS
Joël Ouaknine, James Worrell
2003 B conf
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.
FoSSaCS
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2003 — conf
Axioms for Probability and Nondeterminism.
EXPRESS
Michael W. Mislove, Joël Ouaknine, James Worrell
2003 A* conf
Revisiting Digitization, Robustness, and Decidability for Timed Automata.
LICS
Joël Ouaknine, James Worrell
2003 J jnl
Timed CSP = Closed Timed epsilon-automata.
Nord. J. Comput.
Joël Ouaknine, James Worrell
2003 — conf
Universality and Language Inclusion for Open and Closed Timed Automata.
HSCC
Joël Ouaknine, James Worrell
2002 — conf
A Note on Coalgebras and Presheaves.
CMCS
James Worrell
2002 A* conf
Measuring the Probabilistic Powerdomain.
ICALP
Keye Martin, Michael W. Mislove, James Worrell
2002 A* conf
Testing Labelled Markov Processes.
ICALP
Franck van Breugel, Steven Shalit, James Worrell
2002 — conf
Timed CSP = Closed Timed Safety Automata.
EXPRESS
Joël Ouaknine, James Worrell
2001 B conf
An Algorithm for Quantitative Verification of Probabilistic Transition Systems.
CONCUR
Franck van Breugel, James Worrell
2001 J jnl
On the structure of categories of coalgebras.
Theor. Comput. Sci.
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
2001 A* conf
Towards Quantitative Verification of Probabilistic Transition Systems.
ICALP
Franck van Breugel, James Worrell
2000 — conf
Coinduction for recursive data types: partial orders, metric spaces and Omega-categories.
CMCS
James Worrell
1999 — conf
Terminal sequences for accessible endofunctors.
CMCS
James Worrell
1998 A* conf
An Axiomatics for Categories of Transition Systems as Coalgebras.
LICS
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
1998 — conf
Toposes of Coalgebras and Hidden Algebras.
CMCS
James Worrell