Emmanuel Haucourt (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

12 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

11 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)

1 Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category. Applied Categorical Structures 12(1): 81-108 (2004)

Selection of 3 from 12 records - Emmanuel Haucourt has 11 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

12		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
11		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)
1		Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category. Applied Categorical Structures 12(1): 81-108 (2004)