Stéphane Demri

Cited by

	All	Since 2019
Citations	3357	919
h-index	30	14
i10-index	77	26

220

110

165

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 12 23 33 38 54 46 66 49 45 60 87 170 112 124 165 126 132 160 171 167 207 129 171 173 191 171 172 176 36

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Ewa Orlowskanational institute of telecommunicationsVerified email at itl.waw.pl
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.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
Amit Kumar DharAssistant ProfessorVerified email at iitbhilai.ac.in
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
Christophe MorvanAssociate Professor Université Gustave EiffelVerified email at u-pem.fr
Diego FigueiraCNRS, LaBRI, Univ. BordeauxVerified email at labri.fr
Nils BullingTU ClausthalVerified email at in.tu-clausthal.de
Paul GastinProfessor, LMF, ENS Paris-SaclayVerified email at lmf.cnrs.fr
Roland MeyerProfessor of Theoretical Computer ScienceVerified email at tu-bs.de
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk

Stéphane Demri

CNRS, 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	364	2009
Incomplete information: Structure, inference, complexity SP Demri, E Orlowska Springer Science & Business Media, 2002	200*	2002
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	158	2016
The complexity of propositional linear temporal logics in simple cases S Demri, P Schnoebelen Information and Computation 174 (1), 84-103, 2002	151	2002
An automata-theoretic approach to constraint LTL S Demri, D d’Souza Information and Computation 205 (3), 380-415, 2007	135	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	83	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	74	2005
A modal perspective on path constraints N Alechina, S Demri, M de Rijke Journal of Logic and Computation 13 (6), 939-956, 2003	59	2003
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
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 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	52	2013
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	48	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	44	2010
Presburger modal logic is PSPACE-Complete S Demri, D Lugiez Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	43	2006
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
Reasoning about data repetitions with counter systems S Demri, D Figueira, M Praveen Logical Methods in Computer Science 12, 2016	41	2016
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	41	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