James Worrell

Citée par

	Toutes	Depuis 2018
Citations	5215	2062
indice h	41	26
indice i10	102	62

480

240

120

360

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202327 22 55 59 106 101 137 143 153 176 184 229 250 332 361 344 388 389 369 355 445 474 24

Accès public

Tout afficher

60 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Michael MisloveTulane UniversityAdresse e-mail validée de tulane.edu
Christoph HaaseUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceAdresse e-mail validée de irisa.fr
Ranko LazicDepartment of Computer Science, University of WarwickAdresse e-mail validée de warwick.ac.uk
dusko pavlovicProfessor at University of HawaiiAdresse e-mail validée de hawaii.edu
Claudio HermidaUniversity of Birmingham, Computer ScienceAdresse e-mail validée de cs.bham.ac.uk
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Adresse e-mail validée de ulb.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Adresse e-mail validée de ulb.be
Matthew J. ParkinsonMicrosoft ResearchAdresse e-mail validée de microsoft.com
Ofer StrichmanTechnion, Haifa, IsraelAdresse e-mail validée de ie.technion.ac.il
Daniel KroeningAmazonAdresse e-mail validée de amazon.com
axel legayUCLouvainAdresse e-mail validée de uclouvain.be
Michael GoldsmithAssociate Professor and Senior Research Fellow, Cybersecurity Analytics Group, Department ofAdresse e-mail validée de cs.ox.ac.uk
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseAdresse e-mail validée de ios.ac.cn
Björn Cedric WachterCryptostruct

Suivre

James Worrell

Professor of Computer Science, Oxford University

Adresse e-mail validée de cs.ox.ac.uk - Page d'accueil

Logic Automata Decision Procedures


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	218	2005
Some recent results in metric temporal logic J Ouaknine, J Worrell Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	185	2008
A behavioural pseudometric for probabilistic transition systems F Van Breugel, J Worrell Theoretical Computer Science 331 (1), 115-142, 2005	159	2005
On the decidability and complexity of metric temporal logic over finite words J Ouaknine, J Worrell arXiv preprint cs/0702120, 2007	151	2007
Towards quantitative verification of probabilistic transition systems F van Breugel, J Worrell ICALP 1, 421-432, 2001	146	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	136	2004
On the final sequence of a finitary set functor J Worrell Theoretical Computer Science 338 (1-3), 184-199, 2005	127	2005
Positivity problems for low-order linear recurrence sequences J Ouaknine, J Worrell Proceedings of the twenty-fifth annual ACM-SIAM Symposium on Discrete …, 2014	124	2014
An algorithm for quantitative verification of probabilistic transition systems F van Breugel, J Worrell CONCUR 1, 336-350, 2001	124	2001
Tractable Reasoning in a Fragment of Separation Logic. B Cook, C Haase, J Ouaknine, MJ Parkinson, J Worrell CONCUR 11, 235-249, 2011	114	2011
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	96	1999
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	95	2009
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	89	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	79	2004
On the complexity of computing probabilistic bisimilarity D Chen, F van Breugel, J Worrell Foundations of Software Science and Computational Structures: 15th …, 2012	73	2012
Ultimate positivity is decidable for simple linear recurrence sequences J Ouaknine, J Worrell Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014	72	2014

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs