Concepedia

Stéphane Demri

SD

40

Publications

1.4K

Citations

19

H-Index

1995

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire Spécification et Vérification

École Normale Supérieure Paris-Saclay

Institut national de recherche en sciences et technologies du numérique

New York University

Stéphane Demri is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationVerificationComputational ComplexitySemanticsLogic ProgrammingSystems Engineering

Publications per year

1995–2019

40

Publications

40

LTL with the freeze quantifier and register automata

Stéphane Demri, Ranko Lazić · ACM Transactions on Computational Logic · 2009 · 251 citations · Full text

Computational Logic, Data Word, Engineering +13

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Stéphane Demri, Philippe Schnoebelen · Information and Computation · 2002 · 120 citations · Full text

Computational Logic, Engineering, Automated Reasoning +9

An automata-theoretic approach to constraint LTL

Stéphane Demri, Deepak Cyril D’Souza · Information and Computation · 2006 · 94 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +6

Temporal Logics in Computer Science

Stéphane Demri, Valentin Goranko, Martin Lange · Cambridge University Press eBooks · 2016 · 92 citations

Logical Automaton, Engineering, Formal Modeling +14

On the Freeze Quantifier in Constraint LTL: Decidability and Complexity

Stéphane Demri, Ranko Lazić, David Nowak · 2005 · 69 citations · Full text

Constraint Solving, Formal Specification, Engineering +13

Rows per page

1–5 of 40