Stéphane Demri
7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Stéphane Demri
What separation logic can express and what can be decided about it: the separating implication in 'On the almighty wand' and the two-variable expressive-completeness result, then reachability predicates and a complete axiomatisation for the quantifier-free fragment. One earlier record on demonic nondeterminism predates the strand. The 2015 survey 'Separation logics and modalities' doubles as a coverage probe of this corpus: 37 of its 166 references matched a held record, the second-highest figure measured.
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri and others (2021) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri and others (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) · Springer
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri and others (2016) · ACM Transactions on Computational Logic
Logical Investigations on Separation Logics
Stéphane Demri and others (2015) · 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
Separation logics and modalities: a survey
Stéphane Demri and others (2015) · Journal of Applied Non-Classical Logics
On the almighty wand
Rémi Brochenin and others (2012) · Information and Computation
Logical analysis of demonic nondeterministic programs
Stéphane Demri and others (1996) · Theoretical Computer Science · Elsevier BV