Showing 1 - 20 results of 167 for search 'Worrell, J', query time: 0.69s
Refine Results
-
1
-
2
Coinduction for recursive data types: Partial orders, metric spaces and Ω-categories by Worrell, J
Published 2000Journal article -
3
Revisiting the Equivalence Problem for Finite Multitape Automata by Worrell, J
Published 2013Book section -
4
Decision Problems for Linear Recurrence Sequences. by Ouaknine, J, Worrell, J
Published 2012Journal article -
5
Complexity of equivalence and learning for multiplicity tree automata by Marusic, I, Worrell, J
Published 2015Journal article -
6
Real-time model checking: Algorithms and complexity by Worrell, J, Soc, I
Published 2008Journal article -
7
Some Recent Results in Metric Temporal Logic by Ouaknine, J, Worrell, J
Published 2008Journal article -
8
Towards a Theory of Time-Bounded Verification. by Ouaknine, J, Worrell, J
Published 2010Journal article -
9
On metric temporal logic and faulty turing machines by Ouaknine, J, Worrell, J
Published 2006Journal article -
10
ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS by Ouaknine, J, Worrell, J
Published 2007Journal article -
11
Safety metric temporal logic is fully decidable by Ouaknine, J, Worrell, J
Published 2006Journal article -
12
-
13
The Semialgebraic Orbit Problem by Almagor, S, Ouaknine, J, Worrell, J
Published 2019Conference item -
14
On LTL model-checking for low-dimensional discrete linear dynamical systems by Karimov, T, Ouaknine, J, Worrell, J
Published 2020Conference item -
15
Approximating and computing behavioural distances in probabilistic transition systems by van Breugel, F, Worrell, J
Published 2006Journal article -
16
Undecidability of Universality for Timed Automata with Minimal Resources by Adams, S, Ouaknine, J, Worrell, J
Published 2007Conference item -
17
Undecidability of universality for timed automata with minimal resources by Adams, S, Ouaknine, J, Worrell, J
Published 2007Journal article -
18
-
19
Minimisation of multiplicity tree automata by Worrell, J, Kiefer, S, Marusic, I
Published 2017Journal article -
20
The polytope-collision problem by Almagor, S, Ouaknine, J, Worrell, J
Published 2017Journal article