dblp.uni-trier.dewww.uni-trier.de

Emmanuel Haucourt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEEmmanuel Haucourt: Comparing Topological Models for Concurrency. Electr. Notes Theor. Comput. Sci. 230: 111-127 (2009)
4EEEmmanuel Haucourt: A Framework for Component Categories. Electr. Notes Theor. Comput. Sci. 230: 39-69 (2009)
2007
3EEEric Goubault, Emmanuel Haucourt: Components of the Fundamental Category II. Applied Categorical Structures 15(4): 387-414 (2007)
2005
2EEEric Goubault, Emmanuel Haucourt: A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. CONCUR 2005: 503-517
2004
1EELisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category. Applied Categorical Structures 12(1): 81-108 (2004)

Coauthor Index

1Lisbeth Fajstrup [1]
2Eric Goubault [1] [2] [3]
3Martin Raußen [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)