Pierre Kimmel

According to our database, Pierre Kimmel authored at least 4 papers between 2017 and 2020.

Collaborative distances:

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

2020

A language agnostic approach to modeling requirements: specification and verification.

Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

A substructural epistemic resource logic: theory and modelling applications.

Didier Galmiche, Pierre Kimmel, David J. Pym

J. Log. Comput., 2019

2018

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

Pierre Kimmel

PhD thesis, 2018

2017

A Substructural Epistemic Resource Logic.

Didier Galmiche, Pierre Kimmel, David J. Pym

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017