Stéphane Demri

Principal Researcher, CS, LMF, CNRS, ENS Paris-Saclay

Joined

July 2019

Names

Stéphane Demri (Preferred)

Emails

****@lsv.fr (Confirmed)

,

****@lmf.cnrs.fr (Confirmed)

Personal Links

Career & Education History

Principal Researcher

CS, LMF, CNRS, ENS Paris-Saclay (lmf.cnrs.fr)

Present

Advisors, Relations & Conflicts

No relations added

Expertise

Logics for Computer Science

1990 – Present

Publications

Computational Complexity of Standpoint LTL
Stéphane Demri, Przemyslaw Andrzej Walega
- CoRR 2024
- Readers: Everyone
On Composing Finite Forests with Modal Logics
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
- ACM Trans. Comput. Log. 2023
- Readers: Everyone
Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures
Stéphane Demri, Karin Quaas
- CONCUR 2023
- Readers: Everyone
First Steps Towards Taming Description Logics with Strings
Stéphane Demri, Karin Quaas
- JELIA 2023
- Readers: Everyone
Model-Checking for Ability-Based Logics with Constrained Plans
Stéphane Demri, Raul Fervari
- AAAI 2023
- Readers: Everyone
Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
Stéphane Demri, Karin Quaas
- CoRR 2023
- Readers: Everyone
How to Manage a Budget with ATL+
Stéphane Demri, Raine Rönnholm
- KR 2023
- Readers: Everyone
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Bartosz Bednarczyk, Stéphane Demri
- Log. Methods Comput. Sci. 2022
- Readers: Everyone
Internal proof calculi for modal logics with separating conjunction
Stéphane Demri, Raul Fervari, Alessio Mansutti
- J. Log. Comput. 2021
- Readers: Everyone
The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic
Stéphane Demri, Étienne Lozes, Alessio Mansutti
- ACM Trans. Comput. Log. 2021
- Readers: Everyone

View all 151 publications

Co-Authors

View all 60 co-authors