Components of the Fundamental Category. - Lisbeth Fajstrup; Martin Raußen; Eric Goubault; Emmanuel Haucourt (Appl. Categorical Struct., 2004)

A Framework for Component Categories. - Emmanuel Haucourt (GETCO@DISC, 2004)

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. - Eric Goubault; Emmanuel Haucourt (CONCUR, 2005)

Comparing Topological Models for Concurrency. - Emmanuel Haucourt (GETCO@CONCUR, 2005)

Topologie Algébrique Dirigée et Concurrence. (Directed Algebraic Topology and Concurrency). - Emmanuel Haucourt (2005)

Components of the Fundamental Category II. - Eric Goubault; Emmanuel Haucourt (Appl. Categorical Struct., 2007)

A Geometric Approach to the Problem of Unique Decomposition of Processes. - Thibaut Balabonski; Emmanuel Haucourt (CONCUR, 2010)

Future Path-components in Directed Topology. - Eric Goubault; Emmanuel Haucourt; Sanjeevi Krishnan (MFPS, 2010)

Streams, d-Spaces and Their Fundamental Categories. - Emmanuel Haucourt (GETCO, 2010)

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. - Richard Bonichon; Géraud Canet; Loïc Correnson; Eric Goubault; Emmanuel Haucourt; Michel Hirschowitz; Sébastien Labbé 002; Samuel Mimram (SAFECOMP, 2011)

Trace Spaces: An Efficient New Technique for State-Space Reduction. - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raußen (ESOP, 2012)

The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero. - Nicolas Ninin; Emmanuel Haucourt (ICE, 2014)

Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency. - Emmanuel Haucourt (2016)

Directed Algebraic Topology and Concurrency - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raussen (Springer, 2016)

The geometry of conservative programs. - Emmanuel Haucourt (Math. Struct. Comput. Sci., 2018)

Unique decomposition of homogeneous languages and application to isothetic regions. - Emmanuel Haucourt; Nicolas Ninin (Math. Struct. Comput. Sci., 2019)

Non-existing and ill-behaved coequalizers of locally ordered spaces. - Pierre-Yves Coursolle; Emmanuel Haucourt (J. Appl. Comput. Topol., 2024)