Thèse de doctorat: Quantum Games as Quantum Types, 2008, sous la direction de Prakash Panangaden
Game semantics for quantum data, QPL 2008, ENTCS 270, 2011
Game semantics for quantum stores (with Prakash Panangaden), MFPS 2008, ENTCS 218,2008
A quantum game semantics for the measurement calculus, QPL 2006, ENTCS 210, 2008
Information flow in Game Semantics GALOP 2005 workshop, ETAPS 2005
Censure sur Internet et informatique libre, Bulletin FACIL 2005
Mémoire de maitrise: Les catégories dérivées, Université de Montréal, 1999, sous la direction d’Abraham Broer