Stéphane Demri

Cited by

	All	Since 2019
Citations	3370	932
h-index	30	15
i10-index	77	26

220

110

165

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

Public access

View all

16 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 AlechinaDepartment of Information and Computing Sciences, University of UtrechtVerified 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
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu

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	362	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	163	2016
The complexity of propositional linear temporal logics in simple cases S Demri, P Schnoebelen Information and Computation 174 (1), 84-103, 2002	150	2002
An automata-theoretic approach to constraint LTL S Demri, D d’Souza Information and Computation 205 (3), 380-415, 2007	133	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	104	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	54	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	51	2001
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
Complexity of modal logics with Presburger constraints S Demri, D Lugiez Journal of Applied Logic 8 (3), 233-252, 2010	47	2010
Presburger modal logic is PSPACE-Complete S Demri, D Lugiez Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	44	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
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	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