


Остановите войну!
for scientists:


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
- 2023
- [j46]Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136: 113-134 (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 - [i73]George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. CoRR abs/2303.09204 (2023) - [i72]Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell:
Multiplicity Problems on Algebraic Series and Context-Free Grammars. CoRR abs/2304.14145 (2023) - [i71]Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell:
Skolem Meets Bateman-Horn. CoRR abs/2308.01152 (2023) - [i70]Florian Luca, Joël Ouaknine, James Worrell:
Transcendence of Sturmian Numbers over an Algebraic Base. CoRR abs/2308.13657 (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]Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey
, Joël Ouaknine, James Worrell
:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046 - [e2]Igor Potapov, Paul G. Spirakis, James Worrell:
43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK. LIPIcs 117, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-086-6 [contents] - [i41]Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell:
Polynomial Invariants for Affine Programs. CoRR abs/1802.01810 (2018) - [i40]Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
On the Decidability of Reachability in Linear Time-Invariant Systems. CoRR abs/1802.06575 (2018) - [i39]Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell:
O-Minimal Invariants for Linear Loops. CoRR abs/1802.09263 (2018) - [i38]Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
Costs and Rewards in Priced Timed Automata. CoRR abs/1803.01914 (2018) - [i37]Hsi-Ming Ho, Joël Ouaknine, James Worrell:
On the Expressiveness and Monitoring of Metric Temporal Logic. CoRR abs/1803.02653 (2018) - [i36]Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell:
When is Containment Decidable for Probabilistic Automata? CoRR abs/1804.09077 (2018) - [i35]Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell:
Effective Divergence Analysis for Linear Recurrence Sequences. CoRR abs/1806.07740 (2018) - 2017
- [j30]Stefan Kiefer, Ines Marusic, James Worrell
:
Minimisation of Multiplicity Tree Automata. Log. Methods Comput. Sci. 13(1) (2017) - [j29]Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell:
Nonnegative Matrix Factorization Requires Irrationality. SIAM J. Appl. Algebra Geom. 1(1): 285-307 (2017) - [c95]Patricia Bouyer, François Laroussinie, Nicolas Markey
, Joël Ouaknine, James Worrell
:
Timed Temporal Logics. Models, Algorithms, Logics and Tools 2017: 211-230 - [c94]Nathanaël Fijalkow
, Cristian Riveros, James Worrell
:
Probabilistic Automata of Bounded Ambiguity. CONCUR 2017: 19:1-19:14 - [c93]Joël Ouaknine, João Sousa Pinto
, James Worrell:
On the Polytope Escape Problem for Continuous Linear Dynamical Systems. HSCC 2017: 11-17 - [c92]Shaull Almagor
, Joël Ouaknine, James Worrell
:
The Polytope-Collision Problem. ICALP 2017: 24:1-24:14 - [c91]James Worrell
:
The Zero Problem for Exponential Polynomials. ISSAC 2017: 5 - [c90]Michael Benedikt, Timothy Duff
, Aditya Sharad, James Worrell
:
Polynomial automata: Zeroness and applications. LICS 2017: 1-12 - [c89]Karin Quaas, Mahsa Shirmohammadi, James Worrell
:
Revisiting reachability in timed automata. LICS 2017: 1-12 - [c88]Dmitry Chistikov
, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell:
On Rationality of Nonnegative Matrix Factorization. SODA 2017: 1290-1305 - [c87]Nathanaël Fijalkow
, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
:
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. STACS 2017: 29:1-29:13 - [i34]Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. CoRR abs/1701.02162 (2017) - [i33]Karin Quaas, Mahsa Shirmohammadi, James Worrell:
Revisiting Reachability in Timed Automata. CoRR abs/1702.03450 (2017) - [i32]Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell:
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. CoRR abs/1711.06120 (2017) - 2016
- [j28]Christoph Haase
, Joël Ouaknine, James Worrell
:
Relating Reachability Problems in Timed and Counter Automata. Fundam. Informaticae 143(3-4): 317-338 (2016) - [j27]Ventsislav Chonev, Joël Ouaknine, James Worrell
:
On the Complexity of the Orbit Problem. J. ACM 63(3): 23:1-23:18 (2016) - [j26]Ranko Lazic, Joël Ouaknine, James Worrell
:
Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete. ACM Trans. Comput. Log. 17(3): 16 (2016) - [j25]Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski
, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
:
Complexity of Two-Variable Logic on Finite Trees. ACM Trans. Comput. Log. 17(4): 32 (2016) - [c86]Christel Baier, Stefan Kiefer, Joachim Klein
, Sascha Klüppelholz
, David Müller, James Worrell
:
Markov Chains and Unambiguous Büchi Automata. CAV (1) 2016: 23-42 - [c85]Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
:
Model Checking Flat Freeze LTL on One-Counter Automata. CONCUR 2016: 29:1-29:14 - [c84]