Stéphane Demri
3 papers · 2020–2023 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🐣
Hot Topic Early Bird
📈
Trend Setter
Top co-authors
Research topics
Keywords
model checking
(2)
formal methods
(1)
knowledge base
(1)
complexity analysis
(1)
parameterized algorithm
(1)
temporal logic
(1)
description logic
(1)
modal logic
(1)
alternating-time temporal logic
(1)
parameter extraction
(1)
resource-bounded reasoning
(1)
ability-based logic
(1)
knowing how
(1)
resource bounded computation
(1)
separation logic
(1)
dynamic axiom
(1)
knowledge representation
(1)
consistency problem
(1)