Michel Hirschowitz

According to our database, Michel Hirschowitz authored at least 6 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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é, Samuel Mimram

Proceedings of the Computer Safety, Reliability, and Security, 2011

2009

Contraction-free Proofs and Finitary Games for Linear Logic.

André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

2008

Topological Observations on Multiplicative Additive Linear Logic

André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz

CoRR, 2008

2007

A Theory for Game Theories.

Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2005

Abstract games.

Michel Hirschowitz

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

Jeux abstraits et composition catégorique.

Michel Hirschowitz

PhD thesis, 2004