A Modal BI Logic for Dynamic Resource Properties. - Jean-René Courtault; Didier Galmiche (LFCS, 2013)

An Epistemic Separation Logic. - Jean-René Courtault; Hans van Ditmarsch; Didier Galmiche (WoLLIC, 2015)

Logiques de Ressources Dynamiques : Modèles, Propriétés et Preuves. (Dynamic Resource Logics : Models, Properties and Proofs). - Jean-René Courtault (2015)

A logic of separating modalities. - Jean-René Courtault; Didier Galmiche; David J. Pym (Theor. Comput. Sci., 2016)

A modal separation logic for resource dynamics. - Jean-René Courtault; Didier Galmiche (J. Log. Comput., 2018)

A public announcement separation logic. - Jean-René Courtault; Hans van Ditmarsch; Didier Galmiche (Math. Struct. Comput. Sci., 2019)