×

zbMATH — the first resource for mathematics

Worrell, James B.

Compute Distance To:
Author ID: worrell.james-b Recent zbMATH articles by "Worrell, James B."
Published as: Worrell, James; Worrell, James B.; Worrell, J.
External Links: ORCID · dblp
Documents Indexed: 129 Publications since 1998, including 3 Books
all top 5

Co-Authors

7 single-authored
78 Ouaknine, Joel O.
15 Kiefer, Stefan
14 van Breugel, Franck
8 Mislove, Michael W.
8 Pouly, Amaury
7 Haase, Christoph
7 Marusic, Ines
6 Benedikt, Michael A.
6 Bouyer, Patricia
6 Lazić, Ranko
6 Markey, Nicolas
6 Shirmohammadi, Mahsa
5 Chonev, Ventsislav
5 Lenhardt, Rastislav
5 Murawski, Andrzej S.
5 Sousa-Pinto, Joao
4 Almagor, Shaull
4 Chistikov, Dmitry V.
4 Fijalkow, Nathanaël
4 Mazowiecki, Filip
4 Quaas, Karin
4 Roscoe, Andrew William
4 Wachter, Björn
3 Abdulla, Parosh Aziz
3 Forejt, Vojtěch
3 Hermida, Claudio
3 Hunter, Paul
3 Jančar, Petr
3 Lechner, Antonia
3 Makkai, Michael
3 Pavlović, Duško
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 Fränzle, Martin
2 Geeraerts, Gilles
2 Göller, Stefan
2 Johnstone, Peter T.
2 Jurdziński, Marcin
2 Kieroński, Emanuel
2 Martin, Keye
2 Mayr, Richard M.
2 Newcomb, Tom
2 Ohlmann, Pierre
2 Palikareva, Hristina
2 Pérez, Guillermo A.
2 Power, John
2 Rabinovich, Alexander
2 Raskin, Jean-François
2 Schnoebelen, Philippe
2 Sharma, Babita
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 Cook, Byron
1 Duff, Timothy
1 Fahrenberg, Uli
1 Galby, Esther
1 Grigore, Radu
1 Ho, Hsi-Ming
1 Hosseini, Mehran
1 Hrushovski, Ehud
1 Jenkins, Mark D.
1 Kenison, George
1 Klein, Joachim
1 Klüppelholz, Sascha
1 Kreutzer, Stephan
1 Kröning, Daniel
1 Laroussinie, François
1 Larsen, Kim Guldstrand
1 Merelli, Emanuela
1 Müller, David
1 Parkinson, Matthew J.
1 Raza, Shahab
1 Riveros, Cristian
1 Shalit, Steven
1 Sharad, Aditya
1 Spirakis, Paul G.
1 Strichman, Ofer
1 Swaminathan, Mani
1 Wahl, Thomas
1 Zhang, Lijun

Publications by Year

Citations contained in zbMATH Open

97 Publications have been cited 600 times in 396 Documents Cited by Year
On the final sequence of a finitary set functor. Zbl 1070.18004
Worrell, James
35
2005
A behavioural pseudometric for probabilistic transition systems. Zbl 1070.68109
van Breugel, Franck; Worrell, James
34
2005
Towards quantitative verification of probabilistic transition systems. Zbl 0986.68093
van Breugel, Franck; Worrell, James
30
2001
Terminal sequences for accessible endofunctors. Zbl 0918.68024
Worrell, James
26
1999
An algorithm for quantitive verification of probabilistic transition systems. Zbl 1006.68079
van Breugel, Franck; Worrell, James
22
2001
On the structure of categories of coalgebras. Zbl 0973.68178
Johnstone, P.; Power, J.; Tsujishita, T.; Watanabe, H.; Worrell, J.
20
2001
On metric temporal logic and faulty Turing machines. Zbl 1180.03021
Ouaknine, Joël; Worrell, James
18
2006
On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008
Ouaknine, Joel O.; Worrell, James B.
18
2007
Some recent results in metric temporal logic. Zbl 1171.68553
Ouaknine, Joël; Worrell, James
17
2008
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
17
2008
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
15
2004
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2005
On the complexity of computing probabilistic bisimilarity. Zbl 1352.68096
Chen, Di; van Breugel, Franck; Worrell, James
14
2012
Approximating and computing behavioural distances in probabilistic transition systems. Zbl 1097.68102
van Breugel, Franck; Worrell, James
13
2006
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
Testing semantics: Connecting processes and process logics. Zbl 1236.68065
Pavlovic, Dusko; Mislove, Michael; Worrell, James B.
12
2006
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
11
2009
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
Recursively defined metric spaces without contraction. Zbl 1118.68085
van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James
10
2007
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
8
2009
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
Ultimate positivity is decidable for simple linear recurrence sequences. Zbl 1410.11135
Ouaknine, Joël; Worrell, James
8
2014
Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1143.68057
van Breugel, Franck; Sharma, Babita; Worrell, James
7
2008
LTL model checking of interval Markov chains. Zbl 1381.68147
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
7
2013
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
Safety metric temporal logic is fully decidable. Zbl 1180.03020
Ouaknine, Joël; Worrell, James
6
2006
Decision problems for linear recurrence sequences. Zbl 1298.11015
Ouaknine, Joël; Worrell, James
6
2012
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
The complexity of computing a bisimilarity pseudometric on probabilistic automata. Zbl 1407.68267
van Breugel, Franck; Worrell, James
6
2014
On the positivity problem for simple linear recurrence sequences. Zbl 1410.11134
Ouaknine, Joël; Worrell, James
6
2014
Positivity problems for low-order linear recurrence sequences. Zbl 1423.11209
Ouaknine, Joël; Worrell, James
6
2014
Toposes of coalgebras and hidden algebras. Zbl 0917.68136
Worrell, James
5
1998
An accessible approach to behavioural pseudometrics. Zbl 1085.68101
van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James
5
2005
Universality and language inclusion for open and closed timed automata. Zbl 1032.68096
Ouaknine, Joël; Worrell, James
5
2003
Linear completeness thresholds for bounded model checking. Zbl 1360.68592
Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer; Wahl, Thomas; Worrell, James
5
2011
Towards a theory of time-bounded verification. Zbl 1288.68170
Ouaknine, Joël; Worrell, James
5
2010
Nets with tokens which carry data. Zbl 1226.68062
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
5
2007
Reachability problems for Markov chains. Zbl 1302.68204
Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James
5
2015
On termination of integer linear loops. Zbl 1372.68065
Ouaknine, Joël; Sousa Pinto, João; Worrell, James
5
2015
Expressive completeness for metric temporal logic. Zbl 1366.03184
Hunter, Paul; Ouaknine, Joël; Worrell, James
5
2013
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
5
2017
Coinduction for recursive data types: Partial orders, metric spaces and \(\Omega\)-categories. Zbl 0963.18003
Worrell, James
4
2000
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2010
Complexity of two-variable logic on finite trees. Zbl 1335.68132
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
4
2013
A static analysis framework for livelock freedom in CSP. Zbl 1274.68250
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
4
2013
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
3
2005
Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665
Ouaknine, Joël; Worrell, James
3
2003
Testing labelled Markov processes. Zbl 1057.68074
van Breugel, Franck; Shalit, Steven; Worrell, James
3
2002
Model checking flat freeze LTL on one-counter automata. Zbl 1392.68257
Lechner, Antonia; Mayr, Richard; Ouaknine, Joël; Pouly, Amaury; Worrell, James
3
2016
On matrix powering in low dimensions. Zbl 1355.68117
Galby, Esther; Ouaknine, Joël; Worrell, James
3
2015
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2013
Revisiting the equivalence problem for finite multitape automata. Zbl 1334.68124
Worrell, James
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
On the complexity of linear arithmetic with divisibility. Zbl 1401.03070
Lechner, Antonia; Ouaknine, Joel; Worrell, James
3
2015
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
2
2008
On the Skolem problem for continuous linear dynamical systems. Zbl 1388.68043
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
2
2016
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1142.68447
van Breugel, Franck; Sharma, Babita; Worrell, James
2
2007
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2012
Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034
Lazić, Ranko; Ouaknine, Joël; Worrell, James
2
2013
On the complexity of the orbit problem. Zbl 1426.68116
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
The polyhedron-hitting problem. Zbl 1372.68260
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2015
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2013
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2014
Revisiting reachability in timed automata. Zbl 1457.68147
Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James
2
2017
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
2
2016
Probabilistic automata of bounded ambiguity. Zbl 1442.68092
Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James
2
2017
Complexity of two-variable logic on finite trees. Zbl 1367.03062
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
2
2016
Effective definability of the reachability relation in timed automata. Zbl 07134468
Fränzle, Martin; Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James
2
2020
An axiomatics for categories of transition systems as coalgebras. Zbl 0945.18500
Johnstone, Peter; Power, John; Tsujishita, Toru; Watanabe, Hiroshi; Worrell, James
1
1998
Measuring the probabilistic powerdomain. Zbl 1056.68100
Martin, Keye; Mislove, Michael; Worrell, James
1
2002
Addendum to “Recursively defined metric spaces without contraction”. Zbl 1294.68108
van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James
1
2013
On the magnitude of completeness thresholds in bounded model checking. Zbl 1360.68579
Bundala, Daniel; Ouaknine, Joël; Worrell, James
1
2012
Complexity of equivalence and learning for multiplicity tree automata. Zbl 1425.68219
Marusic, Ines; Worrell, James
1
2014
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
1
2018
Static livelock analysis in CSP. Zbl 1300.68036
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
1
2011
Two variable vs. linear temporal logic in model checking and games. Zbl 1343.68151
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
1
2011
On process-algebraic extensions of metric temporal logic. Zbl 1215.68150
Haase, Christoph; Ouaknine, Joël; Worrell, James
1
2010
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
1
2008
A note on coalgebras and presheaves. Zbl 1270.68198
Worrell, James
1
2002
Timed CSP = closed timed automata. Zbl 1270.68219
Ouaknine, Joël; Worrell, James
1
2002
Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James
1
2007
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
Polynomial automata: zeroness and applications. Zbl 1457.68138
Benedikt, Michael; Duff, Timothy; Sharad, Aditya; Worrell, James
1
2017
When are emptiness and containment decidable for probabilistic automata? Zbl 07332992
Daviaud, Laure; Jurdziński, Marcin; Lazić, Ranko; Mazowiecki, Filip; Pérez, Guillermo A.; Worrell, James
1
2021
On the decidability of reachability in linear time-invariant systems. Zbl 07120143
Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James
1
2019
The polytope-collision problem. Zbl 1441.68083
Almagor, Shaull; Ouaknine, Joël; Worrell, James
1
2017
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Zbl 1317.68013
Ouaknine, Joël (ed.); Potapov, Igor (ed.); Worrell, James (ed.)
1
2014
The orbit problem in higher dimensions. Zbl 1293.68139
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
1
2013
When are emptiness and containment decidable for probabilistic automata? Zbl 07332992
Daviaud, Laure; Jurdziński, Marcin; Lazić, Ranko; Mazowiecki, Filip; Pérez, Guillermo A.; Worrell, James
1
2021
Effective definability of the reachability relation in timed automata. Zbl 07134468
Fränzle, Martin; Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James
2
2020
On the decidability of reachability in linear time-invariant systems. Zbl 07120143
Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James
1
2019
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
1
2018
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
5
2017
Revisiting reachability in timed automata. Zbl 1457.68147
Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James
2
2017
Probabilistic automata of bounded ambiguity. Zbl 1442.68092
Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James
2
2017
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
Polynomial automata: zeroness and applications. Zbl 1457.68138
Benedikt, Michael; Duff, Timothy; Sharad, Aditya; Worrell, James
1
2017
The polytope-collision problem. Zbl 1441.68083
Almagor, Shaull; Ouaknine, Joël; Worrell, James
1
2017
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
Model checking flat freeze LTL on one-counter automata. Zbl 1392.68257
Lechner, Antonia; Mayr, Richard; Ouaknine, Joël; Pouly, Amaury; Worrell, James
3
2016
On the Skolem problem for continuous linear dynamical systems. Zbl 1388.68043
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
2
2016
On the complexity of the orbit problem. Zbl 1426.68116
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
2
2016
Complexity of two-variable logic on finite trees. Zbl 1367.03062
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
2
2016
Reachability problems for Markov chains. Zbl 1302.68204
Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James
5
2015
On termination of integer linear loops. Zbl 1372.68065
Ouaknine, Joël; Sousa Pinto, João; Worrell, James
5
2015
On matrix powering in low dimensions. Zbl 1355.68117
Galby, Esther; Ouaknine, Joël; Worrell, James
3
2015
On the complexity of linear arithmetic with divisibility. Zbl 1401.03070
Lechner, Antonia; Ouaknine, Joel; Worrell, James
3
2015
The polyhedron-hitting problem. Zbl 1372.68260
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2015
Ultimate positivity is decidable for simple linear recurrence sequences. Zbl 1410.11135
Ouaknine, Joël; Worrell, James
8
2014
The complexity of computing a bisimilarity pseudometric on probabilistic automata. Zbl 1407.68267
van Breugel, Franck; Worrell, James
6
2014
On the positivity problem for simple linear recurrence sequences. Zbl 1410.11134
Ouaknine, Joël; Worrell, James
6
2014
Positivity problems for low-order linear recurrence sequences. Zbl 1423.11209
Ouaknine, Joël; Worrell, James
6
2014
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2014
Complexity of equivalence and learning for multiplicity tree automata. Zbl 1425.68219
Marusic, Ines; Worrell, James
1
2014
Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Zbl 1317.68013
Ouaknine, Joël; Potapov, Igor; Worrell, James
1
2014
LTL model checking of interval Markov chains. Zbl 1381.68147
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
7
2013
Expressive completeness for metric temporal logic. Zbl 1366.03184
Hunter, Paul; Ouaknine, Joël; Worrell, James
5
2013
Complexity of two-variable logic on finite trees. Zbl 1335.68132
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
4
2013
A static analysis framework for livelock freedom in CSP. Zbl 1274.68250
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
4
2013
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2013
Revisiting the equivalence problem for finite multitape automata. Zbl 1334.68124
Worrell, James
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, 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.03034
Lazić, Ranko; Ouaknine, Joël; Worrell, James
2
2013
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2013
Addendum to “Recursively defined metric spaces without contraction”. Zbl 1294.68108
van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James
1
2013
The orbit problem in higher dimensions. Zbl 1293.68139
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
1
2013
On the complexity of computing probabilistic bisimilarity. Zbl 1352.68096
Chen, Di; van Breugel, Franck; Worrell, James
14
2012
Decision problems for linear recurrence sequences. Zbl 1298.11015
Ouaknine, Joël; Worrell, James
6
2012
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2012
On the magnitude of completeness thresholds in bounded model checking. Zbl 1360.68579
Bundala, Daniel; Ouaknine, Joël; Worrell, James
1
2012
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Linear completeness thresholds for bounded model checking. Zbl 1360.68592
Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer; Wahl, Thomas; Worrell, James
5
2011
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Static livelock analysis in CSP. Zbl 1300.68036
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
1
2011
Two variable vs. linear temporal logic in model checking and games. Zbl 1343.68151
Benedikt, Michael; Lenhardt, Rastislav; Worrell, James
1
2011
Towards a theory of time-bounded verification. Zbl 1288.68170
Ouaknine, Joël; Worrell, James
5
2010
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2010
On process-algebraic extensions of metric temporal logic. Zbl 1215.68150
Haase, Christoph; Ouaknine, Joël; Worrell, James
1
2010
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
11
2009
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
8
2009
Some recent results in metric temporal logic. Zbl 1171.68553
Ouaknine, Joël; Worrell, James
17
2008
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
17
2008
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1143.68057
van Breugel, Franck; Sharma, Babita; Worrell, James
7
2008
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
2
2008
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, 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.03008
Ouaknine, Joel O.; Worrell, James B.
18
2007
Recursively defined metric spaces without contraction. Zbl 1118.68085
van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James
10
2007
Nets with tokens which carry data. Zbl 1226.68062
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
5
2007
Approximating a behavioural pseudometric without discount for probabilistic systems. Zbl 1142.68447
van Breugel, Franck; Sharma, Babita; Worrell, James
2
2007
Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James
1
2007
On metric temporal logic and faulty Turing machines. Zbl 1180.03021
Ouaknine, Joël; Worrell, James
18
2006
Approximating and computing behavioural distances in probabilistic transition systems. Zbl 1097.68102
van Breugel, Franck; Worrell, James
13
2006
Testing semantics: Connecting processes and process logics. Zbl 1236.68065
Pavlovic, Dusko; Mislove, Michael; Worrell, James B.
12
2006
Safety metric temporal logic is fully decidable. Zbl 1180.03020
Ouaknine, Joël; Worrell, James
6
2006
On the final sequence of a finitary set functor. Zbl 1070.18004
Worrell, James
35
2005
A behavioural pseudometric for probabilistic transition systems. Zbl 1070.68109
van Breugel, Franck; Worrell, James
34
2005
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2005
An accessible approach to behavioural pseudometrics. Zbl 1085.68101
van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James
5
2005
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
3
2005
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
15
2004
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
Universality and language inclusion for open and closed timed automata. Zbl 1032.68096
Ouaknine, Joël; Worrell, James
5
2003
Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665
Ouaknine, Joël; Worrell, James
3
2003
Testing labelled Markov processes. Zbl 1057.68074
van Breugel, Franck; Shalit, Steven; Worrell, James
3
2002
Measuring the probabilistic powerdomain. Zbl 1056.68100
Martin, Keye; Mislove, Michael; Worrell, James
1
2002
A note on coalgebras and presheaves. Zbl 1270.68198
Worrell, James
1
2002
Timed CSP = closed timed automata. Zbl 1270.68219
Ouaknine, Joël; Worrell, James
1
2002
Towards quantitative verification of probabilistic transition systems. Zbl 0986.68093
van Breugel, Franck; Worrell, James
30
2001
An algorithm for quantitive verification of probabilistic transition systems. Zbl 1006.68079
van Breugel, Franck; Worrell, James
22
2001
On the structure of categories of coalgebras. Zbl 0973.68178
Johnstone, P.; Power, J.; Tsujishita, T.; Watanabe, H.; Worrell, J.
20
2001
Coinduction for recursive data types: Partial orders, metric spaces and \(\Omega\)-categories. Zbl 0963.18003
Worrell, James
4
2000
Terminal sequences for accessible endofunctors. Zbl 0918.68024
Worrell, James
26
1999
Toposes of coalgebras and hidden algebras. Zbl 0917.68136
Worrell, James
5
1998
An axiomatics for categories of transition systems as coalgebras. Zbl 0945.18500
Johnstone, Peter; Power, John; Tsujishita, Toru; Watanabe, Hiroshi; Worrell, James
1
1998
all top 5

Cited by 573 Authors

32 Worrell, James B.
17 Ouaknine, Joel O.
15 Adámek, Jiří
13 Milius, Stefan
12 van Breugel, Franck
11 Larsen, Kim Guldstrand
11 Tini, Simone
9 Demri, Stéphane P.
9 Kurz, Alexander
8 Power, John
7 Kiefer, Stefan
7 Klin, Bartek
7 Mardare, Radu
7 Panangaden, Prakash
7 Sangnier, Arnaud
7 Velebil, Jiří
6 Bacci, Giorgio
6 Chen, Taolue
6 Desharnais, Josée
6 Lasota, Sławomir
6 Montanari, Ugo G.
6 Schröder, Lutz
5 Bacci, Giovanni
5 Bouyer, Patricia
5 Deng, Yuxin
5 Doyen, Laurent
5 Fahrenberg, Uli
5 Lanotte, Ruggero
5 Lazić, Ranko
5 Legay, Axel
5 Mislove, Michael W.
5 Pattinson, Dirk
5 Quaas, Karin
5 Rosa-Velardo, Fernando
5 Roscoe, Andrew William
4 Abate, Alessandro
4 Abdulla, Parosh Aziz
4 André, Étienne
4 Castiglioni, Valentina
4 Chatterjee, Krishnendu
4 Delzanno, Giorgio
4 Hasuo, Ichiro
4 Henzinger, Thomas A.
4 Montanari, Angelo
4 Moss, Lawrence S.
4 Raskin, Jean-François
4 Tang, Qiyi
4 Wißmann, Thorsten
3 Akshay, S.
3 Balan, Adriana
3 Bérard, Béatrice
3 Bonchi, Filippo
3 Bonsangue, Marcello Maria
3 Cao, Yongzhi
3 Charatonik, Witold
3 Cîrstea, Corina
3 Dal Lago, Ugo
3 Danos, Vincent
3 Deters, Morgan
3 Feng, Yuan
3 Gebler, Daniel E.
3 Goubault-Larrecq, Jean
3 Gupta, Vineet
3 Haase, Christoph
3 Han, Tingting
3 Jacobs, Bart
3 Jagadeesan, Radha
3 Jančar, Petr
3 Kröning, Daniel
3 Kupke, Clemens
3 Kwiatkowska, Marta Z.
3 Laviolette, François
3 Lime, Didier
3 Markey, Nicolas
3 Merro, Massimo
3 Miculan, Marino
3 Otop, Jan
3 Pandya, Paritosh K.
3 Potapov, Igor
3 Sala, Pietro
3 Sammartino, Matteo
3 Schmitz, Sylvain
3 Schnoebelen, Philippe
3 Silva, Alexandra
3 Sousa, Lurdes
3 Tribastone, Mirco
3 Zhang, Lijun
2 Almagor, Shaull
2 Antonino, Pedro
2 Bernardo, Marco
2 Bollig, Benedikt
2 Bozzelli, Laura
2 Bruni, Roberto
2 Černý, Pavol
2 Chen, Yixiang
2 Chistikov, Dmitry V.
2 Cho, Kenta
2 Ciancia, Vincenzo
2 Crubillé, Raphaëlle
2 de Frutos-Escrig, David
...and 473 more Authors
all top 5

Cited in 63 Serials

68 Theoretical Computer Science
42 Information and Computation
22 Logical Methods in Computer Science
19 Journal of Computer and System Sciences
11 Formal Aspects of Computing
9 MSCS. Mathematical Structures in Computer Science
7 Acta Informatica
7 Applied Categorical Structures
7 ACM Transactions on Computational Logic
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
2 Fuzzy Sets and Systems
2 Journal of Philosophical Logic
2 Journal of Pure and Applied Algebra
2 Journal of Symbolic Computation
2 Real-Time Systems
2 International Journal of Foundations of Computer Science
2 Discrete Event Dynamic Systems
2 Vestnik St. Petersburg University. Mathematics
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
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 SIAM Journal on Computing
1 Studia Logica
1 Topology and its Applications
1 International Journal of Approximate Reasoning
1 SIAM Journal on Discrete Mathematics
1 Machine Learning
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 The Journal of Logic and Algebraic Programming
1 Journal of Algebra and its Applications
1 Journal of Applied Logic
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

Citations by Year