A Substructural Epistemic Resource Logic. - Didier Galmiche; Pierre Kimmel; David J. Pym (ICLA, 2017)

Extensions modales des logiques de ressources: expressivité et calculs. (Modal extensions of resource logics: expressivity and calculi). - Pierre Kimmel (2018)

A substructural epistemic resource logic: theory and modelling applications. - Didier Galmiche; Pierre Kimmel; David J. Pym (J. Log. Comput., 2019)

A language agnostic approach to modeling requirements: specification and verification. - Abdelghani Alidra; Antoine Beugnard; Hubert Godfroy; Pierre Kimmel; Gurvan Le Guernic (MoDELS (Companion), 2020)