Concepedia
Statistics
Publications
47
Citations
1.7K
H-Index
23
Active since
1998
Affiliations
University of Oxford(Current)
Tulane University
York University
Max Planck Institute for Software Systems
Carnegie Mellon University
James Worrell is an author at University of Oxford specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationComputational ComplexityVerificationDiscrete MathematicsSystems EngineeringLinguistics
Publications per year
1998–2023
On the Decidability of Metric Temporal Logic
Joël Ouaknine, James Worrell · 2006 · 171 citations
Metric Temporal Logic, Logical Automaton, Engineering +14
A behavioural pseudometric for probabilistic transition systems
Franck van Breugel, James Worrell · Theoretical Computer Science · 2004 · 142 citations
Probabilistic System, Behavioural Pseudometric, Markov Kernel +1
On the decidability and complexity of Metric Temporal Logic over finite words
Joël Ouaknine, James Worrell · Logical Methods in Computer Science · 2007 · 110 citations · Full text
Engineering, Reachability Problem, Verification +19
On the final sequence of a finitary set functor
James Worrell · Theoretical Computer Science · 2005 · 86 citations
Higher Category Theory, Universal Algebra, Final Sequence +1
Terminal sequences for accessible endofunctors
James Worrell · Electronic Notes in Theoretical Computer Science · 1999 · 69 citations · Full text
Programming Language Theory, Second Stage, Hopf Algebra +9
1–5 of 47