A Neutral Approach to Proof and Refutation in MALL. - Olivier Delande; Dale Miller 001 (LICS, 2008)

Symmetric dialogue games in the proof theory of linear logic. - Olivier Delande (2009)

Proof and refutation in MALL as a game. - Olivier Delande; Dale Miller 001; Alexis Saurin (Ann. Pure Appl. Log., 2010)

Operation Based Model Representation: Experiences on Inconsistency Detection. - Jérôme Le Noir; Olivier Delande; Daniel Exertier; Marcos Aurélio Almeida da Silva; Xavier Blanc 001 (ECMFA, 2011)

Managing changes with legacy security engineering processes. - Edith Felix; Olivier Delande; Fabio Massacci; Federica Paci (ISI, 2011)