Showing 1 - 20 results of 260 for search 'Worrell, S', query time: 0.03s
Refine Results
-
1
-
2
-
3
-
4
Coinduction for recursive data types: Partial orders, metric spaces and Ω-categories by Worrell, J
Published 2000Journal article -
5
On transcendence of a series related to Sturmian words by Worrell, JB
Published 2024Journal article -
6
Revisiting the Equivalence Problem for Finite Multitape Automata by Worrell, J
Published 2013Book section -
7
Problems in the Use of Business Data on Tape by E. Kay Worrell
Published 1987-01-01
Article -
8
Novel subscalp and intracranial devices to wirelessly record and analyze continuous EEG in unsedated, behaving dogs in their natural environments: A new paradigm in canine epilepsy... by Wolfgang Löscher, Wolfgang Löscher, Gregory A. Worrell, Gregory A. Worrell
Published 2022-10-01
Article -
9
On the decidability and complexity of Metric Temporal Logic over finite words by Joel Ouaknine, James Worrell
Published 2007-02-01
Article -
10
Decision Problems for Linear Recurrence Sequences. by Ouaknine, J, Worrell, J
Published 2012Journal article -
11
Complexity of equivalence and learning for multiplicity tree automata by Marusic, I, Worrell, J
Published 2015Journal article -
12
Real-time model checking: Algorithms and complexity by Worrell, J, Soc, I
Published 2008Journal article -
13
Some Recent Results in Metric Temporal Logic by Ouaknine, J, Worrell, J
Published 2008Journal article -
14
Towards a Theory of Time-Bounded Verification. by Ouaknine, J, Worrell, J
Published 2010Journal article -
15
On metric temporal logic and faulty turing machines by Ouaknine, J, Worrell, J
Published 2006Journal article -
16
ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS by Ouaknine, J, Worrell, J
Published 2007Journal article -
17
Safety metric temporal logic is fully decidable by Ouaknine, J, Worrell, J
Published 2006Journal article -
18
-
19
The Semialgebraic Orbit Problem by Almagor, S, Ouaknine, J, Worrell, J
Published 2019Conference item -
20
On LTL model-checking for low-dimensional discrete linear dynamical systems by Karimov, T, Ouaknine, J, Worrell, J
Published 2020Conference item