James Worrell

Cited by

	All	Since 2018
Citations	5420	2262
h-index	41	26
i10-index	108	69

480

240

120

360

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202327 23 55 58 106 101 136 142 152 176 181 231 252 339 355 345 389 390 368 350 443 474 231

Public access

View all

59 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Michael MisloveTulane UniversityVerified email at tulane.edu
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Claudio HermidaUniversity of Birmingham, Computer ScienceVerified email at cs.bham.ac.uk
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Verified email at ulb.be
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Daniel KroeningAmazonVerified email at amazon.com
axel legayUCLouvainVerified email at uclouvain.be
Michael GoldsmithAssociate Professor and Senior Research Fellow, Cybersecurity Analytics Group, Department ofVerified email at cs.ox.ac.uk
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Björn Cedric WachterCryptostruct

James Worrell

Professor of Computer Science, Oxford University

Verified email at cs.ox.ac.uk - Homepage

Logic Automata Decision Procedures


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On the decidability of metric temporal logic J Ouaknine, J Worrell 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 188-197, 2005	222	2005
Some recent results in metric temporal logic J Ouaknine, J Worrell Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	192	2008
A behavioural pseudometric for probabilistic transition systems F Van Breugel, J Worrell Theoretical Computer Science 331 (1), 115-142, 2005	162	2005
On the decidability and complexity of metric temporal logic over finite words J Ouaknine, J Worrell arXiv preprint cs/0702120, 2007	152	2007
Towards quantitative verification of probabilistic transition systems F van Breugel, J Worrell ICALP 1, 421-432, 2001	149	2001
Nets with tokens which carry data R Lazić, T Newcomb, J Ouaknine, AW Roscoe, J Worrell Fundamenta Informaticae 88 (3), 251-274, 2008	140	2008
On the language inclusion problem for timed automata: Closing a decidability gap J Ouaknine, J Worrell Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	139	2004
Positivity problems for low-order linear recurrence sequences J Ouaknine, J Worrell Proceedings of the twenty-fifth annual ACM-SIAM Symposium on Discrete …, 2014	133	2014
On the final sequence of a finitary set functor J Worrell Theoretical Computer Science 338 (1-3), 184-199, 2005	129	2005
An algorithm for quantitative verification of probabilistic transition systems F van Breugel, J Worrell CONCUR 1, 336-350, 2001	125	2001
Tractable Reasoning in a Fragment of Separation Logic. B Cook, C Haase, J Ouaknine, MJ Parkinson, J Worrell CONCUR 11, 235-249, 2011	115	2011
Reachability in succinct and parametric one-counter automata C Haase, S Kreutzer, J Ouaknine, J Worrell CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009	102	2009
On metric temporal logic and faulty Turing machines J Ouaknine, J Worrell FoSSaCS 3921, 217-230, 2006	97	2006
Terminal sequences for accessible endofunctors J Worrell Electronic Notes in Theoretical Computer Science 19, 24-38, 1999	97	1999
LTL model checking of interval Markov chains M Benedikt, R Lenhardt, J Worrell Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	92	2013
Revisiting digitization, robustness, and decidability for timed automata J Ouaknine, J Worrell 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003	83	2003
Approximating and computing behavioural distances in probabilistic transition systems F van Breugel, J Worrell Theoretical computer science 360 (1-3), 373-385, 2006	82	2006
Axioms for probability and nondeterminism M Mislove, J Ouaknine, J Worrell Electronic Notes in Theoretical Computer Science 96, 7-28, 2004	81	2004
Decision problems for linear recurrence sequences J Ouaknine, J Worrell Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France …, 2012	79	2012
Ultimate positivity is decidable for simple linear recurrence sequences J Ouaknine, J Worrell Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014	77	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors