Jeux abstraits et composition catégorique. - Michel Hirschowitz (2004)

Abstract games. - Michel Hirschowitz (GALOP@ETAPS, 2005)

A Theory for Game Theories. - Michel Hirschowitz; André Hirschowitz; Tom Hirschowitz (FSTTCS, 2007)

Topological Observations on Multiplicative Additive Linear Logic - André Hirschowitz; Michel Hirschowitz; Tom Hirschowitz (CoRR, 2008)

Contraction-free Proofs and Finitary Games for Linear Logic. - André Hirschowitz; Michel Hirschowitz; Tom Hirschowitz (MFPS, 2009)

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. - Richard Bonichon; Géraud Canet; Loïc Correnson; Eric Goubault; Emmanuel Haucourt; Michel Hirschowitz; Sébastien Labbé 002; Samuel Mimram (SAFECOMP, 2011)