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.
Stéphane Demri
A person somebody has written up.
Seven records in this corpus carry his name, and six of them ask the same question of separation logic: what can it express, and what can be decided about it.
'Logical analysis of demonic nondeterminism' (1996) predates the rest and sits in angels-and-demons; the other six run from 2012 to 2021 and are the corpus's expressiveness-and-complexity strand. 'On the almighty wand' (2012) and 'Expressive Completeness of Separation Logic with Two Variables' (2016) are about the separating implication -- which the separation-logic set's own description names as where the difficulty of deciding and automating the logic lives. 'The effects of adding reachability predicates' (2018) and 'A Complete Axiomatisation for Quantifier-Free Separation Logic' (2021) continue it.
Two of the seven are surveys, and one of them earns its keep unusually well here: 'Separation logics and modalities: a survey' (2015) was used as a coverage probe against this corpus, and of its 166 references 37 matched a held record -- the second-highest figure measured, behind only O'Hearn's 2019 CACM survey at 56 per cent. Of the 47 references plainly inside the subject, 21 were held. That is a measurement of the corpus rather than of him, but the survey is what made it possible.
Written from what this corpus holds. One spelling throughout; no ORCiD or homepage is recorded.