Edit Profile (opens in new tab) Worrell, James B. Compute Distance To: Compute Author ID: worrell.james-b Published as: Worrell, James; Worrell, James B.; Worrell, J. more...less External Links: ORCID · dblp Documents Indexed: 139 Publications since 1998 4 Contributions as Editor Co-Authors: 107 Co-Authors with 136 Joint Publications 2,702 Co-Co-Authors all top 5 Co-Authors 7 single-authored 88 Ouaknine, Joel O. 15 Kiefer, Stefan 14 van Breugel, Franck 9 Pouly, Amaury 8 Mislove, Michael W. 8 Shirmohammadi, Mahsa 7 Almagor, Shaull 7 Haase, Christoph 7 Marusic, Ines 6 Benedikt, Michael A. 6 Bouyer, Patricia 6 Lazić, Ranko 6 Markey, Nicolas 5 Chistikov, Dmitry V. 5 Chonev, Ventsislav 5 Fijalkow, Nathanaël 5 Lenhardt, Rastislav 5 Murawski, Andrzej S. 5 Sousa-Pinto, Joao 4 Mazowiecki, Filip 4 Quaas, Karin 4 Roscoe, Andrew William 4 Wachter, Björn 3 Abdulla, Parosh Aziz 3 Forejt, Vojtěch 3 Fränzle, Martin 3 Hermida, Claudio 3 Hunter, Paul 3 Jančar, Petr 3 Lechner, Antonia 3 Makkai, Michael 3 Pavlović, Duško 3 Pérez, Guillermo A. 3 Potapov, Igor 2 Antonopoulos, Timos 2 Benaim, Saguy 2 Brihaye, Thomas 2 Charatonik, Witold 2 Daviaud, Laure 2 Deneux, Johann 2 Doyen, Laurent 2 Geeraerts, Gilles 2 Göller, Stefan 2 Hosseini, Mehran 2 Johnstone, Peter T. 2 Jurdziński, Marcin 2 Kieroński, Emanuel 2 Lefaucheux, Engel 2 Martin, Keye 2 Mayr, Richard M. 2 Newcomb, Tom 2 Ohlmann, Pierre 2 Palikareva, Hristina 2 Power, John 2 Rabinovich, Alexander 2 Raskin, Jean-François 2 Riveros, Cristian 2 Schnoebelen, Philippe 2 Sharma, Babita 2 Swaminathan, Mani 2 Tsujishita, Toru 2 Watanabe, Hiroshi 1 Adams, Sara 1 Akshay, S. 1 Baier, Christel 1 Bansal, Nikhil 1 Bruna, Maria 1 Bundala, Daniel 1 Chapman, Brynmor 1 Chen, Di 1 Cohen, Nathann 1 Colcombet, Thomas 1 Cook, Byron 1 D’costa, Julian 1 Duff, Timothy 1 Fahrenberg, Uli 1 Galby, Esther 1 Gourdeau, Pascale 1 Grigore, Radu 1 Ho, Hsi-Ming 1 Hrushovski, Ehud 1 Jenkins, Mark D. 1 Kanade, Varun 1 Karimov, Toghrul 1 Kenison, George 1 Klein, Joachim 1 Klüppelholz, Sascha 1 Kreutzer, Stephan 1 Kröning, Daniel 1 Kwiatkowska, Marta Z. 1 Laroussinie, François 1 Larsen, Kim Guldstrand 1 Luca, Florian 1 Majumdar, Rupak 1 Merelli, Emanuela 1 Müller, David 1 Neumann, Eike 1 Parkinson, Matthew J. 1 Purser, David 1 Raza, Shahab ...and 7 more Co-Authors all top 5 Serials 9 Theoretical Computer Science 9 Logical Methods in Computer Science 3 Information and Computation 3 Fundamenta Informaticae 3 ACM Transactions on Computational Logic 2 Information Processing Letters 2 Formal Aspects of Computing 2 Theory of Computing Systems 2 Journal of the ACM 2 Journal of Machine Learning Research (JMLR) 2 LIPIcs – Leibniz International Proceedings in Informatics 1 Journal of Computer and System Sciences 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Nordic Journal of Computing 1 Lecture Notes in Computer Science 1 SIAM Journal on Applied Algebra and Geometry all top 5 Fields 135 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 14 Number theory (11-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 7 Category theory; homological algebra (18-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General and overarching topics; collections (00-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Algebraic geometry (14-XX) 3 Probability theory and stochastic processes (60-XX) 3 Systems theory; control (93-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Commutative algebra (13-XX) 2 Group theory and generalizations (20-XX) 2 Ordinary differential equations (34-XX) 2 Convex and discrete geometry (52-XX) 2 General topology (54-XX) 2 Operations research, mathematical programming (90-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 118 Publications have been cited 810 times in 525 Documents Cited by ▼ Year ▼ A behavioural pseudometric for probabilistic transition systems. Zbl 1070.68109van Breugel, Franck; Worrell, James 41 2005 On the final sequence of a finitary set functor. Zbl 1070.18004Worrell, James 37 2005 Towards quantitative verification of probabilistic transition systems. Zbl 0986.68093van Breugel, Franck; Worrell, James 32 2001 Terminal sequences for accessible endofunctors. Zbl 0918.68024Worrell, James 28 1999 On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008Ouaknine, Joel O.; Worrell, James B. 26 2007 On metric temporal logic and faulty Turing machines. Zbl 1180.03021Ouaknine, Joël; Worrell, James 23 2006 An algorithm for quantitive verification of probabilistic transition systems. Zbl 1006.68079van Breugel, Franck; Worrell, James 22 2001 Axioms for probability and nondeterminism. Zbl 1271.68192Mislove, Michael; Ouaknine, Joël; Worrell, James 20 2004 On the structure of categories of coalgebras. Zbl 0973.68178Johnstone, P.; Power, J.; Tsujishita, T.; Watanabe, H.; Worrell, J. 20 2001 Nets with tokens which carry data. Zbl 1154.68090Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 19 2008 Some recent results in metric temporal logic. Zbl 1171.68553Ouaknine, Joël; Worrell, James 18 2008 Reachability in succinct and parametric one-counter automata. Zbl 1254.68134Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James 18 2009 Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James 18 2005 Positivity problems for low-order linear recurrence sequences. Zbl 1423.11209Ouaknine, Joël; Worrell, James 17 2014 Testing semantics: Connecting processes and process logics. Zbl 1236.68065Pavlovic, Dusko; Mislove, Michael; Worrell, James B. 17 2006 Tractable reasoning in a fragment of separation logic. Zbl 1300.03017Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James 17 2011 Ultimate positivity is decidable for simple linear recurrence sequences. Zbl 1410.11135Ouaknine, Joël; Worrell, James 16 2014 On the complexity of computing probabilistic bisimilarity. Zbl 1352.68096Chen, Di; van Breugel, Franck; Worrell, James 15 2012 Approximating and computing behavioural distances in probabilistic transition systems. Zbl 1097.68102van Breugel, Franck; Worrell, James 14 2006 On the positivity problem for simple linear recurrence sequences. Zbl 1410.11134Ouaknine, Joël; Worrell, James 14 2014 Recursively defined metric spaces without contraction. Zbl 1118.68085van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 13 2007 On termination of integer linear loops. Zbl 1372.68065Ouaknine, Joël; Sousa Pinto, João; Worrell, James 12 2015 Decision problems for linear recurrence sequences. Zbl 1298.11015Ouaknine, Joël; Worrell, James 11 2012 On expressiveness and complexity in real-time model checking. Zbl 1155.68426Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James 10 2008 Time-bounded verification. Zbl 1254.68151Ouaknine, Joël; Rabinovich, Alexander; Worrell, James 10 2009 Model checking real-time systems. Zbl 1392.68235Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James 9 2018 On the complexity of the orbit problem. Zbl 1426.68116Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 9 2016 Probabilistic automata of bounded ambiguity. Zbl 1442.68092Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James 9 2017 Markov chains and unambiguous Büchi automata. Zbl 1411.68051Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James 9 2016 LTL model checking of interval Markov chains. Zbl 1381.68147Benedikt, Michael; Lenhardt, Rastislav; Worrell, James 9 2013 Duality for labelled Markov processes. Zbl 1126.68460Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James 8 2004 Reachability problems for Markov chains. Zbl 1302.68204Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James 8 2015 Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1143.68057van Breugel, Franck; Sharma, Babita; Worrell, James 7 2008 Safety metric temporal logic is fully decidable. Zbl 1180.03020Ouaknine, Joël; Worrell, James 7 2006 On the Skolem problem for continuous linear dynamical systems. Zbl 1388.68043Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 7 2016 Linear completeness thresholds for bounded model checking. Zbl 1360.68592Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer; Wahl, Thomas; Worrell, James 7 2011 The complexity of computing a bisimilarity pseudometric on probabilistic automata. Zbl 1407.68267van Breugel, Franck; Worrell, James 7 2014 Universality and language inclusion for open and closed timed automata. Zbl 1032.68096Ouaknine, Joël; Worrell, James 7 2003 Nets with tokens which carry data. Zbl 1226.68062Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 6 2007 Model checking succinct and parametric one-counter automata. Zbl 1288.68164Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 6 2010 On the complexity of linear arithmetic with divisibility. Zbl 1401.03070Lechner, Antonia; Ouaknine, Joel; Worrell, James 6 2015 On stabilization in Herman’s algorithm. Zbl 1333.68038Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 On matrix powering in low dimensions. Zbl 1355.68117Galby, Esther; Ouaknine, Joël; Worrell, James 6 2015 An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James 6 2003 On termination and invariance for faulty channel machines. Zbl 1259.68142Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 6 2012 Expressive completeness for metric temporal logic. Zbl 1366.03184Hunter, Paul; Ouaknine, Joël; Worrell, James 5 2013 Polynomial invariants for affine programs. Zbl 1497.68113Hrushovski, Ehud; Ouaknine, Joël; Pouly, Amaury; Worrell, James 5 2018 Nonnegative matrix factorization requires irrationality. Zbl 1369.15020Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 5 2017 The polyhedron-hitting problem. Zbl 1372.68260Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 5 2015 Effective definability of the reachability relation in timed automata. Zbl 1478.68126Fränzle, Martin; Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James 5 2020 Toposes of coalgebras and hidden algebras. Zbl 0917.68136Worrell, James 5 1998 Towards a theory of time-bounded verification. Zbl 1288.68170Ouaknine, Joël; Worrell, James 5 2010 On reachability for hybrid automata over bounded time. Zbl 1300.68033Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James 5 2011 Coinduction for recursive data types: Partial orders, metric spaces and \(\Omega\)-categories. Zbl 0963.18003Worrell, James 5 2000 An accessible approach to behavioural pseudometrics. Zbl 1085.68101van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 5 2005 Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James 5 2005 On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 5 2013 Branching-time model checking of parametric one-counter automata. Zbl 1352.68153Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2012 A static analysis framework for livelock freedom in CSP. Zbl 1274.68250Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James 4 2013 Polynomial automata: zeroness and applications. Zbl 1457.68138Benedikt, Michael; Duff, Timothy; Sharad, Aditya; Worrell, James 4 2017 Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665Ouaknine, Joël; Worrell, James 4 2003 Complexity of two-variable logic on finite trees. Zbl 1335.68132Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 4 2013 Revisiting the equivalence problem for finite multitape automata. Zbl 1334.68124Worrell, James 4 2013 Universality analysis for one-clock timed automata. Zbl 1154.68063Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James 4 2008 On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2012 Timed CSP = closed timed automata. Zbl 1270.68219Ouaknine, Joël; Worrell, James 4 2002 Language equivalence of probabilistic pushdown automata. Zbl 1360.68556Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 3 2014 \(o\)-minimal invariants for linear loops. Zbl 1499.68066Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James 3 2018 Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1142.68447van Breugel, Franck; Sharma, Babita; Worrell, James 3 2007 Model checking flat freeze LTL on one-counter automata. Zbl 1392.68257Lechner, Antonia; Mayr, Richard; Ouaknine, Joël; Pouly, Amaury; Worrell, James 3 2016 The orbit problem in higher dimensions. Zbl 1293.68139Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 3 2013 Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2013 Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James 3 2013 Testing labelled Markov processes. Zbl 1057.68074van Breugel, Franck; Shalit, Steven; Worrell, James 3 2002 Three tokens in Herman’s algorithm. Zbl 1259.68230Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2012 On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 2 2012 Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034Lazić, Ranko; Ouaknine, Joël; Worrell, James 2 2013 Revisiting reachability in timed automata. Zbl 1457.68147Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James 2 2017 On the decidability of reachability in linear time-invariant systems. Zbl 07120143Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James 2 2019 Complexity of two-variable logic on finite trees. Zbl 1367.03062Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 2 2016 Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 2 2012 The polytope-collision problem. Zbl 1441.68083Almagor, Shaull; Ouaknine, Joël; Worrell, James 2 2017 When is containment decidable for probabilistic automata? Zbl 1499.68171Daviaud, Laure; Jurdziński, Marcin; Lazić, Ranko; Mazowiecki, Filip; Pérez, Guillermo A.; Worrell, James 2 2018 On restricted nonnegative matrix factorization. Zbl 1388.15010Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James 2 2016 Solvability of matrix-exponential equations. Zbl 1395.15012Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James 2 2016 Termination of linear loops over the integers. Zbl 07561611Hosseini, Mehran; Ouaknine, Joël; Worrell, James 2 2019 When are emptiness and containment decidable for probabilistic automata? Zbl 1477.68150Daviaud, Laure; Jurdziński, Marcin; Lazić, Ranko; Mazowiecki, Filip; Pérez, Guillermo A.; Worrell, James 1 2021 Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. Zbl 1461.37028Fijalkow, Nathanaël; Ohlmann, Pierre; Ouaknine, Joël; Pouly, Amaury; Worrell, James 1 2019 Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James 1 2007 Undecidability of universality for timed automata with minimal resources. Zbl 1141.68423Adams, Sara; Ouaknine, Joël; Worrell, James 1 2007 On rationality of nonnegative matrix factorization. Zbl 1418.15013Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 1 2017 Zeno, Hercules, and the Hydra: safety metric temporal logic is Ackermann-complete. Zbl 1367.68109Lazić, Ranko; Ouaknine, Joël; Worrell, James 1 2016 Minimisation of multiplicity tree automata. Zbl 1459.68103Kiefer, Stefan; Marusic, Ines; Worrell, James 1 2015 Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 1 2018 Timed temporal logics. Zbl 1431.03032Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James 1 2017 On the decidability of membership in matrix-exponential semigroups. Zbl 1481.20197Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James 1 2019 Costs and rewards in priced timed automata. Zbl 1483.68167Fränzle, Martin; Shirmohammadi, Mahsa; Swaminathan, Mani; Worrell, James 1 2018 Effective divergence analysis for linear recurrence sequences. Zbl 07378586Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James 1 2018 First-order orbit queries. Zbl 07379110Almagor, Shaull; Ouaknine, Joël; Worrell, James 1 2021 On process-algebraic extensions of metric temporal logic. Zbl 1215.68150Haase, Christoph; Ouaknine, Joël; Worrell, James 1 2010 Probabilistic automata of bounded ambiguity. Zbl 1483.68165Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James 1 2022 o-minimal invariants for discrete-time dynamical systems. Zbl 1502.68177Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James 1 2022 When are emptiness and containment decidable for probabilistic automata? Zbl 1477.68150Daviaud, Laure; Jurdziński, Marcin; Lazić, Ranko; Mazowiecki, Filip; Pérez, Guillermo A.; Worrell, James 1 2021 First-order orbit queries. Zbl 07379110Almagor, Shaull; Ouaknine, Joël; Worrell, James 1 2021 Effective definability of the reachability relation in timed automata. Zbl 1478.68126Fränzle, Martin; Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James 5 2020 On LTL model checking for low-dimensional discrete linear dynamical systems. Zbl 07559425Karimov, Toghrul; Ouaknine, Joël; Worrell, James 1 2020 On the decidability of reachability in linear time-invariant systems. Zbl 07120143Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James 2 2019 Termination of linear loops over the integers. Zbl 07561611Hosseini, Mehran; Ouaknine, Joël; Worrell, James 2 2019 Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. Zbl 1461.37028Fijalkow, Nathanaël; Ohlmann, Pierre; Ouaknine, Joël; Pouly, Amaury; Worrell, James 1 2019 On the decidability of membership in matrix-exponential semigroups. Zbl 1481.20197Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James 1 2019 The semialgebraic orbit problem. Zbl 07559115Almagor, Shaull; Ouaknine, Joël; Worrell, James 1 2019 On reachability problems for low-dimensional matrix semigroups. Zbl 07561537Colcombet, Thomas; Ouaknine, Joël; Semukhin, Pavel; Worrell, James 1 2019 Model checking real-time systems. Zbl 1392.68235Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James 9 2018 Polynomial invariants for affine programs. Zbl 1497.68113Hrushovski, Ehud; Ouaknine, Joël; Pouly, Amaury; Worrell, James 5 2018 \(o\)-minimal invariants for linear loops. Zbl 1499.68066Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James 3 2018 When is containment decidable for probabilistic automata? Zbl 1499.68171Daviaud, Laure; Jurdziński, Marcin; Lazić, Ranko; Mazowiecki, Filip; Pérez, Guillermo A.; Worrell, James 2 2018 Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 1 2018 Costs and rewards in priced timed automata. Zbl 1483.68167Fränzle, Martin; Shirmohammadi, Mahsa; Swaminathan, Mani; Worrell, James 1 2018 Effective divergence analysis for linear recurrence sequences. Zbl 07378586Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James 1 2018 Probabilistic automata of bounded ambiguity. Zbl 1442.68092Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James 9 2017 Nonnegative matrix factorization requires irrationality. Zbl 1369.15020Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 5 2017 Polynomial automata: zeroness and applications. Zbl 1457.68138Benedikt, Michael; Duff, Timothy; Sharad, Aditya; Worrell, James 4 2017 Revisiting reachability in timed automata. Zbl 1457.68147Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James 2 2017 The polytope-collision problem. Zbl 1441.68083Almagor, Shaull; Ouaknine, Joël; Worrell, James 2 2017 On rationality of nonnegative matrix factorization. Zbl 1418.15013Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 1 2017 Timed temporal logics. Zbl 1431.03032Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James 1 2017 Minimisation of multiplicity tree automata. Zbl 1398.68314Kiefer, Stefan; Marušić, Ines; Worrell, James 1 2017 On the complexity of the orbit problem. Zbl 1426.68116Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 9 2016 Markov chains and unambiguous Büchi automata. Zbl 1411.68051Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James 9 2016 On the Skolem problem for continuous linear dynamical systems. Zbl 1388.68043Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 7 2016 Model checking flat freeze LTL on one-counter automata. Zbl 1392.68257Lechner, Antonia; Mayr, Richard; Ouaknine, Joël; Pouly, Amaury; Worrell, James 3 2016 Complexity of two-variable logic on finite trees. Zbl 1367.03062Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 2 2016 On restricted nonnegative matrix factorization. Zbl 1388.15010Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James 2 2016 Solvability of matrix-exponential equations. Zbl 1395.15012Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James 2 2016 Zeno, Hercules, and the Hydra: safety metric temporal logic is Ackermann-complete. Zbl 1367.68109Lazić, Ranko; Ouaknine, Joël; Worrell, James 1 2016 On recurrent reachability for continuous linear dynamical systems. Zbl 1388.68044Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 1 2016 On termination of integer linear loops. Zbl 1372.68065Ouaknine, Joël; Sousa Pinto, João; Worrell, James 12 2015 Reachability problems for Markov chains. Zbl 1302.68204Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James 8 2015 On the complexity of linear arithmetic with divisibility. Zbl 1401.03070Lechner, Antonia; Ouaknine, Joel; Worrell, James 6 2015 On matrix powering in low dimensions. Zbl 1355.68117Galby, Esther; Ouaknine, Joël; Worrell, James 6 2015 The polyhedron-hitting problem. Zbl 1372.68260Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 5 2015 Minimisation of multiplicity tree automata. Zbl 1459.68103Kiefer, Stefan; Marusic, Ines; Worrell, James 1 2015 Complexity of equivalence and learning for multiplicity tree automata. Zbl 1351.68125Marušić, Ines; Worrell, James 1 2015 Positivity problems for low-order linear recurrence sequences. Zbl 1423.11209Ouaknine, Joël; Worrell, James 17 2014 Ultimate positivity is decidable for simple linear recurrence sequences. Zbl 1410.11135Ouaknine, Joël; Worrell, James 16 2014 On the positivity problem for simple linear recurrence sequences. Zbl 1410.11134Ouaknine, Joël; Worrell, James 14 2014 The complexity of computing a bisimilarity pseudometric on probabilistic automata. Zbl 1407.68267van Breugel, Franck; Worrell, James 7 2014 Language equivalence of probabilistic pushdown automata. Zbl 1360.68556Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 3 2014 Complexity of equivalence and learning for multiplicity tree automata. Zbl 1425.68219Marusic, Ines; Worrell, James 1 2014 Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Zbl 1317.68013 1 2014 LTL model checking of interval Markov chains. Zbl 1381.68147Benedikt, Michael; Lenhardt, Rastislav; Worrell, James 9 2013 Expressive completeness for metric temporal logic. Zbl 1366.03184Hunter, Paul; Ouaknine, Joël; Worrell, James 5 2013 On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 5 2013 A static analysis framework for livelock freedom in CSP. Zbl 1274.68250Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James 4 2013 Complexity of two-variable logic on finite trees. Zbl 1335.68132Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 4 2013 Revisiting the equivalence problem for finite multitape automata. Zbl 1334.68124Worrell, James 4 2013 The orbit problem in higher dimensions. Zbl 1293.68139Chonev, Ventsislav; Ouaknine, Joël; Worrell, James 3 2013 Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2013 Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James 3 2013 Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034Lazić, Ranko; Ouaknine, Joël; Worrell, James 2 2013 Addendum to “Recursively defined metric spaces without contraction”. Zbl 1294.68108van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 1 2013 On the complexity of computing probabilistic bisimilarity. Zbl 1352.68096Chen, Di; van Breugel, Franck; Worrell, James 15 2012 Decision problems for linear recurrence sequences. Zbl 1298.11015Ouaknine, Joël; Worrell, James 11 2012 On termination and invariance for faulty channel machines. Zbl 1259.68142Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 6 2012 Branching-time model checking of parametric one-counter automata. Zbl 1352.68153Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2012 On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2012 Three tokens in Herman’s algorithm. Zbl 1259.68230Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2012 On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 2 2012 Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 2 2012 On the magnitude of completeness thresholds in bounded model checking. Zbl 1360.68579Bundala, Daniel; Ouaknine, Joël; Worrell, James 1 2012 Tractable reasoning in a fragment of separation logic. Zbl 1300.03017Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James 17 2011 Linear completeness thresholds for bounded model checking. Zbl 1360.68592Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer; Wahl, Thomas; Worrell, James 7 2011 On stabilization in Herman’s algorithm. Zbl 1333.68038Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 On reachability for hybrid automata over bounded time. Zbl 1300.68033Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James 5 2011 Static livelock analysis in CSP. Zbl 1300.68036Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James 1 2011 Two variable vs. linear temporal logic in model checking and games. Zbl 1343.68151Benedikt, Michael; Lenhardt, Rastislav; Worrell, James 1 2011 Model checking succinct and parametric one-counter automata. Zbl 1288.68164Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 6 2010 Towards a theory of time-bounded verification. Zbl 1288.68170Ouaknine, Joël; Worrell, James 5 2010 On process-algebraic extensions of metric temporal logic. Zbl 1215.68150Haase, Christoph; Ouaknine, Joël; Worrell, James 1 2010 Reachability in succinct and parametric one-counter automata. Zbl 1254.68134Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James 18 2009 Time-bounded verification. Zbl 1254.68151Ouaknine, Joël; Rabinovich, Alexander; Worrell, James 10 2009 Nets with tokens which carry data. Zbl 1154.68090Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 19 2008 Some recent results in metric temporal logic. Zbl 1171.68553Ouaknine, Joël; Worrell, James 18 2008 On expressiveness and complexity in real-time model checking. Zbl 1155.68426Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James 10 2008 Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1143.68057van Breugel, Franck; Sharma, Babita; Worrell, James 7 2008 Universality analysis for one-clock timed automata. Zbl 1154.68063Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James 4 2008 On termination for faulty channel machines. Zbl 1259.68120Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 1 2008 On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008Ouaknine, Joel O.; Worrell, James B. 26 2007 Recursively defined metric spaces without contraction. Zbl 1118.68085van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 13 2007 Nets with tokens which carry data. Zbl 1226.68062Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 6 2007 Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1142.68447van Breugel, Franck; Sharma, Babita; Worrell, James 3 2007 Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James 1 2007 Undecidability of universality for timed automata with minimal resources. Zbl 1141.68423Adams, Sara; Ouaknine, Joël; Worrell, James 1 2007 On metric temporal logic and faulty Turing machines. Zbl 1180.03021Ouaknine, Joël; Worrell, James 23 2006 Testing semantics: Connecting processes and process logics. Zbl 1236.68065Pavlovic, Dusko; Mislove, Michael; Worrell, James B. 17 2006 Approximating and computing behavioural distances in probabilistic transition systems. Zbl 1097.68102van Breugel, Franck; Worrell, James 14 2006 Safety metric temporal logic is fully decidable. Zbl 1180.03020Ouaknine, Joël; Worrell, James 7 2006 A behavioural pseudometric for probabilistic transition systems. Zbl 1070.68109van Breugel, Franck; Worrell, James 41 2005 On the final sequence of a finitary set functor. Zbl 1070.18004Worrell, James 37 2005 Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James 18 2005 ...and 18 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 719 Authors 38 Worrell, James B. 22 Ouaknine, Joel O. 15 Adámek, Jiří 14 Milius, Stefan 13 Larsen, Kim Guldstrand 13 van Breugel, Franck 12 Kiefer, Stefan 11 Tini, Simone 10 Schröder, Lutz 9 Demri, Stéphane P. 9 Kurz, Alexander 9 Lasota, Sławomir 9 Mardare, Radu 9 Panangaden, Prakash 8 Bacci, Giorgio 8 Power, John 7 Bacci, Giovanni 7 Klin, Bartek 7 Mazowiecki, Filip 7 Montanari, Angelo 7 Potapov, Igor 7 Sangnier, Arnaud 7 Velebil, Jiří 6 Chatterjee, Krishnendu 6 Chen, Taolue 6 Dal Lago, Ugo 6 Desharnais, Josée 6 Lazić, Ranko 6 Legay, Axel 6 Montanari, Ugo G. 6 Quaas, Karin 6 Rot, Jurriaan 5 Abdulla, Parosh Aziz 5 Bonchi, Filippo 5 Bouyer, Patricia 5 Bozzelli, Laura 5 Chistikov, Dmitry V. 5 Clemente, Lorenzo 5 Delzanno, Giorgio 5 Deng, Yuxin 5 Doyen, Laurent 5 Fahrenberg, Uli 5 Hasuo, Ichiro 5 Henzinger, Thomas A. 5 Jacobs, Bart 5 Lanotte, Ruggero 5 Markey, Nicolas 5 Mislove, Michael W. 5 Murawski, Andrzej S. 5 Otop, Jan 5 Pattinson, Dirk 5 Rosa-Velardo, Fernando 5 Roscoe, Andrew William 5 Semukhin, Pavel 5 Tang, Qiyi 5 Zhang, Lijun 4 Abate, Alessandro 4 Akshay, S. 4 André, Étienne 4 Bell, Paul C. 4 Castiglioni, Valentina 4 Fijalkow, Nathanaël 4 Kupke, Clemens 4 Leroux, Jérôme 4 Michaliszyn, Jakub 4 Moss, Lawrence S. 4 Peron, Adriano 4 Piórkowski, Radosław 4 Purser, David 4 Raskin, Jean-François 4 Sala, Pietro 4 Sammartino, Matteo 4 Schmitz, Sylvain 4 Silva, Alexandra 4 Wißmann, Thorsten 4 Zanasi, Fabio 3 Almagor, Shaull 3 Balan, Adriana 3 Bérard, Béatrice 3 Bonsangue, Marcello Maria 3 Cao, Yongzhi 3 Cavalcanti, Ana 3 Charatonik, Witold 3 Cîrstea, Corina 3 Danos, Vincent 3 Deters, Morgan 3 Dorsch, Ulrich 3 Feng, Yuan 3 Finkel, Alain 3 Gebler, Daniel E. 3 Giesl, Jürgen 3 Goubault-Larrecq, Jean 3 Gupta, Vineet 3 Haase, Christoph 3 Han, Tingting 3 Hélouët, Loïc 3 Hofman, Piotr 3 Jagadeesan, Radha 3 Jančar, Petr 3 König, Barbara ...and 619 more Authors all top 5 Cited in 70 Serials 72 Theoretical Computer Science 53 Information and Computation 32 Logical Methods in Computer Science 20 Journal of Computer and System Sciences 12 Formal Aspects of Computing 9 MSCS. Mathematical Structures in Computer Science 9 ACM Transactions on Computational Logic 8 Acta Informatica 7 Applied Categorical Structures 6 Information Processing Letters 6 Journal of Automated Reasoning 6 Journal of Logical and Algebraic Methods in Programming 5 Formal Methods in System Design 5 Theory of Computing Systems 4 Annals of Pure and Applied Logic 4 Vestnik St. Petersburg University. Mathematics 3 Journal of Symbolic Computation 3 Discrete Event Dynamic Systems 2 Fuzzy Sets and Systems 2 Journal of Philosophical Logic 2 Journal of Pure and Applied Algebra 2 Real-Time Systems 2 International Journal of Foundations of Computer Science 2 Journal of Logic, Language and Information 2 Journal of Applied Non-Classical Logics 2 Theory and Applications of Categories 2 Journal of the ACM 2 Modelirovanie i Analiz Informatsionnykh Sistem 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 Algebra Universalis 1 Demonstratio Mathematica 1 Information Sciences 1 Journal of Number Theory 1 Journal of Optimization Theory and Applications 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 SIAM Journal on Computing 1 Studia Logica 1 Topology and its Applications 1 Advances in Applied Mathematics 1 International Journal of Approximate Reasoning 1 SIAM Journal on Discrete Mathematics 1 Machine Learning 1 International Journal of Algebra and Computation 1 Numerical Algorithms 1 Linear Algebra and its Applications 1 SIAM Review 1 Distributed Computing 1 Mathematical Programming. Series A. Series B 1 Indagationes Mathematicae. New Series 1 Cybernetics and Systems Analysis 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Documenta Mathematica 1 European Journal of Control 1 Soft Computing 1 Annales Mathematicae Silesianae 1 Brazilian Journal of Probability and Statistics 1 The Journal of Logic and Algebraic Programming 1 Journal of Algebra and its Applications 1 Journal of Applied Logic 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Nonlinear Analysis. Hybrid Systems 1 Acta Universitatis Sapientiae. Mathematica 1 Frontiers of Computer Science 1 Computer Science Review 1 ACM Transactions on Computation Theory 1 SIAM Journal on Applied Algebra and Geometry 1 Combinatorial Theory all top 5 Cited in 35 Fields 454 Computer science (68-XX) 164 Mathematical logic and foundations (03-XX) 76 Category theory; homological algebra (18-XX) 31 Probability theory and stochastic processes (60-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Number theory (11-XX) 9 General algebraic systems (08-XX) 9 Systems theory; control (93-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 General topology (54-XX) 5 Combinatorics (05-XX) 5 Group theory and generalizations (20-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Convex and discrete geometry (52-XX) 4 Operations research, mathematical programming (90-XX) 3 Field theory and polynomials (12-XX) 3 Associative rings and algebras (16-XX) 3 Statistics (62-XX) 3 Quantum theory (81-XX) 3 Biology and other natural sciences (92-XX) 3 Information and communication theory, circuits (94-XX) 2 Algebraic geometry (14-XX) 2 Functional analysis (46-XX) 2 Operator theory (47-XX) 2 Numerical analysis (65-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) Citations by Year