Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire. (Programming, Computation and their Analysis using Nets from Linear Logic). - Stéphane Gimenez (2009)

Realizability Proof for Normalization of Full Differential Linear Logic. - Stéphane Gimenez (TLCA, 2011)

The Structure of Interaction. - Stéphane Gimenez; Georg Moser (CSL, 2013)

The Complexity of Interaction (Long Version). - Stéphane Gimenez; Georg Moser (CoRR, 2015)

The complexity of interaction. - Stéphane Gimenez; Georg Moser (POPL, 2016)

Interaction Automata and the ia2d Interpreter. - Stéphane Gimenez; David Obwaller (FSCD, 2016)