Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Stéphane Demri
Researcher
PaperThe Effects of Adding Reachability Predicates in Quantifier-Free Separation LogicAuthorship / preprint / 2021PaperOn Selective Unboundedness of VASSAuthorship / preprint / 2010PaperOn the Complexity of Verifying Regular Properties on Flat Counter SystemsAuthorship / preprint / 2013PaperTaming Past LTL and Flat Counter SystemsAuthorship / preprint / 2013PaperModal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)Authorship / preprint / 2020PaperA Note on the Complexity of Model-Checking Bounded Multi-Pushdown SystemsAuthorship / preprint / 2012