Scholar
Stéphane Demri
Google Scholar ID: bKkBwG4AAAAJ
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
Logics for Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,559
H-index
31
i10-index
82
Publications
20
Co-authors
36
list available
Publications
2 items
Satisfiability for Knowing How over Linear Plans is NP-complete
2026
Cited
0
Robustness of Constraint Automata for Description Logics with Concrete Domains
2026
Cited
0
Co-authors
13 total
Ranko Lazic
Department of Computer Science, University of Warwick
Etienne Lozes
Université Côte d'Azur
Ewa Orlowska
national institute of telecommunications
Natasha Alechina
Open University NL
Deepak D'Souza
Department of CSA, Indian Institute of Science
Rajeev Gore
Faculty of Information Technology, Monash University, Australia
Martin Lange
Professor of Computer Science, University of Kassel
Brian Logan
Nottingham University
