Strategic reasoning with a bounded number of resources: The quest for tractability von Belardinelli, Francesco, Demri, Stéphane

Volltext

On selective unboundedness of VASS von Demri, Stéphane

Volltext

The power of modal separation logics von Demri, Stéphane, Fervari, Raul

Volltext

On Composing Finite Forests with Modal Logics von Bednarczyk, Bartosz, Demri, Stéphane, Fervari, Raul, Mansutti, Alessio

Volltext

LTL with the freeze quantifier and register automata von Demri, Stephane, Lazic, Ranko

Volltext

Internal proof calculi for modal logics with separating conjunction von Demri, Stéphane, Fervari, Raul, Mansutti, Alessio

Volltext

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic von Demri, Stéphane, Lozes, Etienne, Mansutti, Alessio

Volltext

On the almighty wand von Brochenin, Rémi, Demri, Stéphane, Lozes, Etienne

Volltext

A Complete Axiomatisation for Quantifier-Free Separation Logic von Demri, Stéphane, Lozes, Étienne, Mansutti, Alessio

Volltext

Temporal logics on strings with prefix relation von Demri, Stéphane, Deters, Morgan

Volltext

Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction von Demri, Stephane, Deters, Morgan

Volltext

Reasoning about Data Repetitions with Counter Systems von Demri, Stephane, Figueira, Diego, Praveen, M

Volltext

Two-Variable Separation Logic and Its Inner Circle von Demri, Stéphane, Deters, Morgan

Volltext

Equivalence between model-checking flat counter systems and Presburger arithmetic von Demri, Stéphane, Dhar, Amit Kumar, Sangnier, Arnaud

Volltext

First Steps Towards Taming Description Logics with Strings von Demri, Stéphane, Quaas, Karin

Volltext

LTL over integer periodicity constraints von DEMRI, Stéphane

Volltext

An automata-theoretic approach to constraint LTL von Demri, Stéphane, D’Souza, Deepak

Volltext

The covering and boundedness problems for branching vector addition systems von Demri, Stéphane, Jurdziński, Marcin, Lachish, Oded, Lazić, Ranko

Volltext

Separation Logic with One Quantified Variable von Demri, Stéphane, Galmiche, Didier, Larchey-Wendling, Dominique, Méry, Daniel

Volltext

On the Complexity of Resource-Bounded Logics von Alechina, Natasha, Bulling, Nils, Demri, Stephane, Logan, Brian

Volltext