default search action
James Worrell 0001
James B. Worrell
Person information
- affiliation: University of Oxford, Department of Computer Science, UK
Other persons with the same name
- James Worrell 0002 (aka: James L. Worrell) — University of Alabama at Birmingham, Department of Accounting and Finance, AL, USA (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j52]Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell:
The monadic theory of toric words. Theor. Comput. Sci. 1025: 114959 (2025) - 2024
- [j51]Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
Porous invariants for linear systems. Formal Methods Syst. Des. 63(1): 235-271 (2024) - [j50]Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell:
On Learning Polynomial Recursive Programs. Proc. ACM Program. Lang. 8(POPL): 1001-1027 (2024) - [c146]Bertrand Teguia Tabuguia, James Worrell:
On Rational Recursion for Holonomic Sequences. CASC 2024: 314-327 - [c145]Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell:
The 2-Dimensional Constraint Loop Problem Is Decidable. ICALP 2024: 140:1-140:21 - [c144]Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell:
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. ICALP 2024: 144:1-144:15 - [c143]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: 11:1-11:14 - [c142]Julian D'Costa, Joël Ouaknine, James Worrell:
Nonnegativity Problems for Matrix Semigroups. STACS 2024: 27:1-27:16 - [e5]Naoki Kobayashi, James Worrell:
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. Lecture Notes in Computer Science 14574, Springer 2024, ISBN 978-3-031-57227-2 [contents] - [e4]Naoki Kobayashi, James Worrell:
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. Lecture Notes in Computer Science 14575, Springer 2024, ISBN 978-3-031-57230-2 [contents] - [i87]Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
Multiple Reachability in Linear Dynamical Systems. CoRR abs/2403.06515 (2024) - [i86]Bertrand Teguia Tabuguia, James Worrell:
On Rational Recursion for Holonomic Sequences. CoRR abs/2404.19136 (2024) - [i85]Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell:
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. CoRR abs/2405.05279 (2024) - [i84]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 abs/2405.07953 (2024) - [i83]Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell:
The 2-Dimensional Constraint Loop Problem is Decidable. CoRR abs/2405.12992 (2024) - [i82]Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell:
Determination Problems for Orbit Closures and Matrix Groups. CoRR abs/2407.04626 (2024) - [i81]Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell:
On the Decidability of Presburger Arithmetic Expanded with Powers. CoRR abs/2407.05191 (2024) - [i80]Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell:
On Tree Automata, Generating Functions, and Differential Equations. CoRR abs/2407.08218 (2024) - [i79]Andrew Scoones, Mahsa Shirmohammadi, James Worrell:
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. CoRR abs/2407.18131 (2024) - [i78]Rida Ait El Manssour, Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
A parametric version of the Hilbert Nullstellensatz. CoRR abs/2408.13027 (2024) - [i77]Toghrul Karimov, Joël Ouaknine, James Worrell:
Verification of Linear Dynamical Systems via O-Minimality of Real Numbers. CoRR abs/2410.13053 (2024) - 2023
- [j49]Ventsislav Chonev, Joël Ouaknine, James Worrell:
On the Zeros of Exponential Polynomials. J. ACM 70(4): 26:1-26:26 (2023) - [j48]Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell:
On Strongest Algebraic Program Invariants. J. ACM 70(5): 29:1-29:22 (2023) - [j47]Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136: 113-134 (2023) - [j46]Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell:
On the 𝑝-adic zeros of the Tribonacci sequence. Math. Comput. 93(347): 1333-1353 (2023) - [c141]James Worrell:
The Skolem Landscape (Invited Talk). ICALP 2023: 5:1-5:2 - [c140]George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell:
Positivity Problems for Reversible Linear Recurrence Sequences. ICALP 2023: 130:1-130:17 - [c139]George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. ISSAC 2023: 407-416 - [c138]Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
Multiplicity Problems on Algebraic Series and Context-Free Grammars. LICS 2023: 1-12 - [c137]Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell:
The Power of Positivity. LICS 2023: 1-11 - [i76]George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. CoRR abs/2303.09204 (2023) - [i75]Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
Multiplicity Problems on Algebraic Series and Context-Free Grammars. CoRR abs/2304.14145 (2023) - [i74]Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell:
Skolem Meets Bateman-Horn. CoRR abs/2308.01152 (2023) - [i73]Florian Luca, Joël Ouaknine, James Worrell:
Transcendence of Sturmian Numbers over an Algebraic Base. CoRR abs/2308.13657 (2023) - [i72]Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell:
On Learning Polynomial Recursive Programs. CoRR abs/2310.14725 (2023) - [i71]Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell:
The Monadic Theory of Toric Words. CoRR abs/2311.04895 (2023) - [i70]Julian D'Costa, Joël Ouaknine, James Worrell:
Nonnegativity Problems for Matrix Semigroups. CoRR abs/2311.06241 (2023) - 2022
- [j45]Nathanaël Fijalkow, Cristian Riveros, James Worrell:
Probabilistic automata of bounded ambiguity. Inf. Comput. 282: 104648 (2022) - [j44]Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
Costs and rewards in priced timed automata. Inf. Comput. 282: 104656 (2022) - [j43]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): 1-25 (2022) - [j42]Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell:
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Trans. Comput. Log. 23(2): 9:1-9:20 (2022) - [c136]Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
What's Decidable About Discrete Linear Dynamical Systems? Principles of Systems Design 2022: 21-38 - [c135]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: 10:1-10:16 - [c134]Florian Luca, Joël Ouaknine, James Worrell:
Algebraic Model Checking for Discrete Linear Dynamical Systems. FORMATS 2022: 3-15 - [c133]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. IJCAI 2022: 3022-3028 - [c132]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: 129-138 - [c131]Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell:
The Membership Problem for Hypergeometric Sequences with Rational Parameters. ISSAC 2022: 381-389 - [c130]Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell:
On the Skolem Problem and the Skolem Conjecture. LICS 2022: 5:1-5:9 - [c129]Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
Identity Testing for Radical Expressions. LICS 2022: 8:1-8:11 - [c128]Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell:
Skolem Meets Schanuel. MFCS 2022: 20:1-20:15 - [c127]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: 39:1-39:14 - [c126]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: 40:1-40:13 - [c125]Florian Luca, Joël Ouaknine, James Worrell:
A Universal Skolem Set of Positive Lower Density. MFCS 2022: 73:1-73:12 - [c124]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
When are Local Queries Useful for Robust Learning? NeurIPS 2022 - [i69]Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell:
The Membership Problem for Hypergeometric Sequences with Rational Parameters. CoRR abs/2202.07416 (2022) - [i68]Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
Identity testing for radical expressions. CoRR abs/2202.07961 (2022) - [i67]Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell:
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. CoRR abs/2204.12253 (2022) - [i66]Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell:
Skolem Meets Schanuel. CoRR abs/2204.13417 (2022) - [i65]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. CoRR abs/2205.06127 (2022) - [i64]Nathanaël Fijalkow, Cristian Riveros, James Worrell:
Probabilistic Automata of Bounded Ambiguity. CoRR abs/2205.08175 (2022) - [i63]Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
What's Decidable about Discrete Linear Dynamical Systems? CoRR abs/2206.11412 (2022) - [i62]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 abs/2207.01550 (2022) - [i61]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
When are Local Queries Useful for Robust Learning? CoRR abs/2210.06089 (2022) - 2021
- [j41]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: 78-96 (2021) - [j40]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. J. Mach. Learn. Res. 22: 273:1-273:29 (2021) - [j39]Shaull Almagor, Joël Ouaknine, James Worrell:
First-Order Orbit Queries. Theory Comput. Syst. 65(4): 638-661 (2021) - [j38]Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. 5(POPL): 1-24 (2021) - [c123]Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
Porous Invariants. CAV (2) 2021: 172-194 - [c122]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: 28:1-28:17 - [c121]Eike Neumann, Joël Ouaknine, James Worrell:
Decision Problems for Second-Order Holonomic Recurrences. ICALP 2021: 99:1-99:20 - [c120]Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell:
Cyclotomic Identity Testing and Applications. ISSAC 2021: 35-42 - [c119]Florian Luca, Joël Ouaknine, James Worrell:
Universal Skolem Sets. LICS 2021: 1-6 - [c118]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: 33:1-33:21 - [c117]Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell:
The Pseudo-Skolem Problem is Decidable. MFCS 2021: 34:1-34:21 - [c116]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: 67:1-67:15 - [e3]Nikhil Bansal, Emanuela Merelli, James Worrell:
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). LIPIcs 198, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-195-5 [contents] - [i60]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 abs/2104.10634 (2021) - [i59]Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
Porous Invariants. CoRR abs/2106.00662 (2021) - [i58]Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell:
On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices. CoRR abs/2106.01853 (2021) - [i57]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 abs/2107.02060 (2021) - 2020
- [j37]Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell:
Effective definability of the reachability relation in timed automata. Inf. Process. Lett. 153 (2020) - [c115]Eike Neumann, Joël Ouaknine, James Worrell:
On Ranking Function Synthesis and Termination for Polynomial Programs. CONCUR 2020: 15:1-15:15 - [c114]Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell:
Algebraic Invariants for Linear Hybrid Automata. CONCUR 2020: 32:1-32:17 - [c113]Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell:
Coverability in 1-VASS with Disequality Tests. CONCUR 2020: 38:1-38:20 - [c112]Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell:
Invariants for Continuous Linear Dynamical Systems. ICALP 2020: 107:1-107:15 - [c111]George Kenison, Richard Lipton, Joël Ouaknine, James Worrell:
On the skolem problem and prime powers. ISSAC 2020: 289-296 - [c110]Toghrul Karimov, Joël Ouaknine, James Worrell:
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. MFCS 2020: 54:1-54:14 - [c109]Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell:
How Fast Can You Escape a Compact Polytope? STACS 2020: 49:1-49:11 - [c108]Catalin-Andrei Ilie, James B. Worrell:
Parametric Model Checking Continuous-Time Markov Chains. TIME 2020: 7:1-7:18 - [i56]Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell:
Invariants for Continuous Linear Dynamical Systems. CoRR abs/2004.11661 (2020) - [i55]George Kenison, Richard Lipton, Joël Ouaknine, James Worrell:
On the Skolem Problem and Prime Powers. CoRR abs/2006.07432 (2020) - [i54]Toghrul Karimov, Joël Ouaknine, James Worrell:
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. CoRR abs/2007.02911 (2020) - [i53]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 abs/2007.12282 (2020) - [i52]Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell:
Cyclotomic Identity Testing and Applications. CoRR abs/2007.13179 (2020) - [i51]Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
Deciding ω-Regular Properties on Linear Recurrence Sequences. CoRR abs/2010.14432 (2020)
2010 – 2019
- 2019
- [j36]Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
On the Decidability of Membership in Matrix-exponential Semigroups. J. ACM 66(3): 15:1-15:24 (2019) - [j35]Hsi-Ming Ho, Joël Ouaknine, James Worrell:
On the Expressiveness and Monitoring of Metric Temporal Logic. Log. Methods Comput. Sci. 15(2) (2019) - [j34]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): 1027-1048 (2019) - [c107]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: 77-86 - [c106]Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell:
On Reachability Problems for Low-Dimensional Matrix Semigroups. ICALP 2019: 44:1-44:15 - [c105]Mehran Hosseini, Joël Ouaknine, James Worrell:
Termination of Linear Loops over the Integers. ICALP 2019: 118:1-118:13 - [c104]Florent Guépin, Christoph Haase, James Worrell:
On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields. LICS 2019: 1-10 - [c103]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. NeurIPS 2019: 7444-7453 - [c102]Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
On the Monniaux Problem in Abstract Interpretation. SAS 2019: 162-180 - [c101]Shaull Almagor, Joël Ouaknine, James Worrell:
The Semialgebraic Orbit Problem. STACS 2019: 6:1-6:15 - [i50]Shaull Almagor, Joël Ouaknine, James Worrell:
The Semialgebraic Orbit Problem. CoRR abs/1901.11023 (2019) - [i49]Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell:
Coverability in 1-VASS with Disequality Tests. CoRR abs/1902.06576 (2019) - [i48]Mehran Hosseini, Joël Ouaknine, James Worrell:
On Termination of Integer Linear Loops. CoRR abs/1902.07465 (2019) - [i47]Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell:
On reachability problems for low dimensional matrix semigroups. CoRR abs/1902.09597 (2019) - [i46]Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell:
Algebraic Invariants for Linear Hybrid Automata. CoRR abs/1902.10452 (2019) - [i45]Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell:
Effective Definability of the Reachability Relation in Timed Automata. CoRR abs/1903.09773 (2019) - [i44]Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
On the Monniaux Problem in Abstract Interpretation. CoRR abs/1907.08257 (2019) - [i43]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. CoRR abs/1909.05822 (2019) - [i42]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. Electron. Colloquium Comput. Complex. TR19 (2019) - 2018
- [j33]Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell:
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. Log. Methods Comput. Sci. 14(4) (2018) - [j32]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) - [j31]Joël Ouaknine, Igor Potapov, James Worrell:
Reachability Problems 2014: Special issue. Theor. Comput. Sci. 735: 1 (2018) - [c100]Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell:
Effective Divergence Analysis for Linear Recurrence Sequences. CONCUR 2018: 42:1-42:15 - [c99]Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell:
O-Minimal Invariants for Linear Loops. ICALP 2018: 114:1-114:14 - [c98]Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell:
When is Containment Decidable for Probabilistic Automata?. ICALP 2018: 121:1-121:14 - [c97]Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
Costs and Rewards in Priced Timed Automata. ICALP 2018: 125:1-125:14 - [c96]Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell:
Polynomial Invariants for Affine Programs. LICS 2018: 530-539 - [p2]