Emmanuel Haucourt

	2012
11		Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen: Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP 2012: 274-294
10		Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen: Trace Spaces: an Efficient New Technique for State-Space Reduction CoRR abs/1204.0414: (2012)
	2011
9		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
	2010
8		Thibaut Balabonski, Emmanuel Haucourt: A Geometric Approach to the Problem of Unique Decomposition of Processes. CONCUR 2010: 132-146
7		Thibaut Balabonski, Emmanuel Haucourt: A Geometric Approach to the Problem of Unique Decomposition of Processes CoRR abs/1004.2780: (2010)
6		Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan: Future Path-components in Directed Topology. Electr. Notes Theor. Comput. Sci. 265: 325-335 (2010)
	2009
5		Emmanuel Haucourt: Comparing Topological Models for Concurrency. Electr. Notes Theor. Comput. Sci. 230: 111-127 (2009)
4		Emmanuel Haucourt: A Framework for Component Categories. Electr. Notes Theor. Comput. Sci. 230: 39-69 (2009)
	2007
3		Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category II. Applied Categorical Structures 15(4): 387-414 (2007)
	2005
2		Eric Goubault, Emmanuel Haucourt: A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. CONCUR 2005: 503-517
	2004
1		Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category. Applied Categorical Structures 12(1): 81-108 (2004)

Coauthor Index

1	Thibaut Balabonski	[7] [8]
2	Richard Bonichon	[9]
3	Géraud Canet	[9]
4	Loïc Correnson	[9]
5	Lisbeth Fajstrup	[1] [10] [11]
6	Eric Goubault	[1] [2] [3] [6] [9] [10] [11]
7	Michel Hirschowitz	[9]
8	Sanjeevi Krishnan	[6]
9	Sébastien Labbé	[9]
10	Samuel Mimram	[9] [10] [11]
11	Martin Raußen (Martin Raussen)	[1] [10] [11]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page