- (avec Giulio Manzonetto) Harnessing MLF with the Power of System F (2010), MFCS 2010: 525-536.
- (avec Michele Pagani) Parallel Reduction in Resource Lambda-Calculus (2009), APLAS 2009: pages 226-242.
- Confluence of Pure Differential Nets with Promotion (2009), CSL 2009: 500-514, publication originale disponible sur www.springerlink.com.
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (2008), CSL 2008: 246-261, publication originale disponible sur www.springerlink.com.