Emmanuel Haucourt

21 papers A 1B 4Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Non-Hausdorff parallelized manifolds over geometric models of conservative programs.
Math. Struct. Comput. Sci.
Emmanuel Haucourt
2024 J jnl
Non-existing and ill-behaved coequalizers of locally ordered spaces.
J. Appl. Comput. Topol.
Pierre-Yves Coursolle, Emmanuel Haucourt
2021 J jnl
Non-existing and ill-behaved coequalizers of locally ordered spaces.
CoRR
Pierre-Yves Coursolle, Emmanuel Haucourt
2019 J jnl
Unique decomposition of homogeneous languages and application to isothetic regions.
Math. Struct. Comput. Sci.
Emmanuel Haucourt, Nicolas Ninin
2018 J jnl
The geometry of conservative programs.
Math. Struct. Comput. Sci.
Emmanuel Haucourt
2016 — book
Directed Algebraic Topology and Concurrency
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2016 — book
Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency.
Emmanuel Haucourt
2014 — conf
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero.
ICE
Nicolas Ninin, Emmanuel Haucourt
2012 A conf
Trace Spaces: An Efficient New Technique for State-Space Reduction.
ESOP
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
2012 J jnl
Trace Spaces: an Efficient New Technique for State-Space Reduction
CoRR
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2011 B conf
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.
SAFECOMP
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
2010 J jnl
A Geometric Approach to the Problem of Unique Decomposition of Processes
CoRR
Thibaut Balabonski, Emmanuel Haucourt
2010 B conf
A Geometric Approach to the Problem of Unique Decomposition of Processes.
CONCUR
Thibaut Balabonski, Emmanuel Haucourt
2010 B conf
Future Path-components in Directed Topology.
MFPS
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan
2010 — conf
Streams, d-Spaces and Their Fundamental Categories.
GETCO
Emmanuel Haucourt
2007 J jnl
Components of the Fundamental Category II.
Appl. Categorical Struct.
Eric Goubault, Emmanuel Haucourt
2005 B conf
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.
CONCUR
Eric Goubault, Emmanuel Haucourt
2005 — conf
Comparing Topological Models for Concurrency.
GETCO@CONCUR
Emmanuel Haucourt
2005 — —
Topologie Algébrique Dirigée et Concurrence. (Directed Algebraic Topology and Concurrency).
Emmanuel Haucourt
2004 — conf
A Framework for Component Categories.
GETCO@DISC
Emmanuel Haucourt
2004 J jnl
Components of the Fundamental Category.
Appl. Categorical Struct.
Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt