Michel Hirschowitz

	2011
6		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: 85-98
	2009
5		André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free proofs and finitary games for Linear Logic CoRR abs/0905.4064: (2009)
4		André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free Proofs and Finitary Games for Linear Logic. Electr. Notes Theor. Comput. Sci. 249: 287-305 (2009)
	2008
3		André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Topological Observations on Multiplicative Additive Linear Logic CoRR abs/0807.2636: (2008)
	2007
2		Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz: A Theory for Game Theories. FSTTCS 2007: 192-203
	2005
1		Michel Hirschowitz: Abstract games. GALOP 2005: 61-75

Coauthor Index

1	Richard Bonichon	[6]
2	Géraud Canet	[6]
3	Loïc Correnson	[6]
4	Eric Goubault	[6]
5	Emmanuel Haucourt	[6]
6	André Hirschowitz	[2] [3] [4] [5]
7	Tom Hirschowitz	[2] [3] [4] [5]
8	Sébastien Labbé	[6]
9	Samuel Mimram	[6]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page