Emmanuel Haucourt

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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