Jean-René Courtault

According to our database, Jean-René Courtault authored at least 6 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A public announcement separation logic.

Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche

Math. Struct. Comput. Sci., 2019

2018

A modal separation logic for resource dynamics.

Jean-René Courtault, Didier Galmiche

J. Log. Comput., 2018

2016

A logic of separating modalities.

Jean-René Courtault, Didier Galmiche, David J. Pym

Theor. Comput. Sci., 2016

2015

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

Jean-René Courtault

PhD thesis, 2015

An Epistemic Separation Logic.

Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche

Proceedings of the Logic, Language, Information, and Computation, 2015

2013

A Modal BI Logic for Dynamic Resource Properties.

Jean-René Courtault, Didier Galmiche

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013