Stéphane Demri

Cited by

	All	Since 2019
Citations	3417	977
h-index	31	14
i10-index	79	27

220

110

165

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 12 20 33 41 54 47 66 49 45 59 87 172 113 122 169 126 129 158 172 166 206 129 170 173 187 168 176 166 106

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Ewa Orlowskanational institute of telecommunicationsVerified email at itl.waw.pl
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Rajeev GoreFaculty of Information Technology, Monash University, AustraliaVerified email at monash.edu
Natasha AlechinaOpen University NLVerified email at uu.nl
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Hans de NivelleNazarbayev University, Astana, KazakhstanVerified email at nu.edu.kz
Brian LoganNottingham UniversityVerified email at cs.nott.ac.uk
Govert van DrimmelenUniversity of JohannesburgVerified email at icon.co.za
Maarten de RijkeUniversity of Amsterdam & ICAIVerified email at uva.nl
Oded LachishBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Diego FigueiraCNRS, LaBRI, Univ. BordeauxVerified email at labri.fr
Christophe MorvanAssociate Professor Université Gustave EiffelVerified email at u-pem.fr
Nils BullingTU ClausthalVerified email at in.tu-clausthal.de
Paul GastinProfessor, LMF, ENS Paris-SaclayVerified email at lmf.cnrs.fr
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Roland MeyerProfessor of Theoretical Computer ScienceVerified email at tu-bs.de

Stéphane Demri

CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)

Verified email at lmf.cnrs.fr - Homepage

Logics for Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
LTL with the freeze quantifier and register automata S Demri, R Lazić ACM Transactions on Computational Logic (TOCL) 10 (3), 1-30, 2009	369	2009
Incomplete information: Structure, inference, complexity SP Demri, E Orlowska Springer Science & Business Media, 2002	201*	2002
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	174	2016
The complexity of propositional linear temporal logics in simple cases S Demri, P Schnoebelen Information and Computation 174 (1), 84-103, 2002	152	2002
An automata-theoretic approach to constraint LTL S Demri, D d’Souza Information and Computation 205 (3), 380-415, 2007	136	2007
On the freeze quantifier in constraint LTL: decidability and complexity S Demri, R Lazić, D Nowak Information and Computation 205 (1), 2-24, 2007	106	2007
On the almighty wand R Brochenin, S Demri, E Lozes Information and Computation 211, 106-137, 2012	84	2012
Deciding regular grammar logics with converse through first-order logic S Demri, H De Nivelle Journal of Logic, Language and Information 14, 289-329, 2005	73	2005
The effects of bounding syntactic resources on Presburger LTL S Demri, R Gascon Journal of Logic and Computation 19 (6), 1541-1575, 2009	56	2009
A modal perspective on path constraints N Alechina, S Demri, M de Rijke Journal of Logic and Computation 13 (6), 939-956, 2003	56	2003
The covering and boundedness problems for branching vector addition systems S Demri, M Jurdziński, O Lachish, R Lazić Journal of Computer and System Sciences 79 (1), 23-38, 2013	53	2013
Model checking freeze LTL over one-counter automata S Demri, R Lazić, A Sangnier International Conference on Foundations of Software Science and …, 2008	53	2008
The complexity of regularity in grammar logics and related modal logics S Demri Journal of Logic and Computation 11 (6), 933-960, 2001	53	2001
Complexity of modal logics with Presburger constraints S Demri, D Lugiez Journal of Applied Logic 8 (3), 233-252, 2010	49	2010
Logical analysis of indiscernibility S Demri, E Orlowska Incomplete information: Rough set analysis, 347-380, 1998	49	1998
On selective unboundedness of VASS S Demri Journal of Computer and System Sciences 79 (5), 689-713, 2013	47	2013
Presburger modal logic is PSPACE-Complete S Demri, D Lugiez Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	44	2006
A parametric analysis of the state-explosion problem in model checking S Demri, F Laroussinie, P Schnoebelen Journal of Computer and System Sciences 72 (4), 547-575, 2006	43	2006
Separation logic with one quantified variable S Demri, D Galmiche, D Larchey-Wendling, D Méry Theory of Computing Systems 61 (2), 371-461, 2017	42	2017
Towards a model-checker for counter systems S Demri, A Finkel, V Goranko, G van Drimmelen International Symposium on Automated Technology for Verification and …, 2006	42	2006

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