Michel Hirschowitz

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP (2011)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Contraction-free proofs and finitary games for Linear Logic CoRR (2009)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Contraction-free Proofs and Finitary Games for Linear Logic. MFPS (2009)
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Topological Observations on Multiplicative Additive Linear Logic CoRR (2008)
Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
A Theory for Game Theories. FSTTCS (2007)
Michel Hirschowitz
Abstract games. GALOP@ETAPS (2005)