Emmanuel Haucourt

According to our database, Emmanuel Haucourt authored at least 17 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Non-existing and ill-behaved coequalizers of locally ordered spaces.

Pierre-Yves Coursolle, Emmanuel Haucourt

J. Appl. Comput. Topol., September, 2024

2019

Unique decomposition of homogeneous languages and application to isothetic regions.

Emmanuel Haucourt, Nicolas Ninin

Math. Struct. Comput. Sci., 2019

2018

The geometry of conservative programs.

Emmanuel Haucourt

Math. Struct. Comput. Sci., 2018

2016

Directed Algebraic Topology and Concurrency

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen

Springer, ISBN: 978-3-319-15398-8, 2016

Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency.

Emmanuel Haucourt

, 2016

2014

The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero.

Nicolas Ninin, Emmanuel Haucourt

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

2012

Trace Spaces: An Efficient New Technique for State-Space Reduction.

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen

Proceedings of the Programming Languages and Systems, 2012

2011

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é, Samuel Mimram

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

Streams, d-Spaces and Their Fundamental Categories.

Emmanuel Haucourt

Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

Future Path-components in Directed Topology.

Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

A Geometric Approach to the Problem of Unique Decomposition of Processes.

Thibaut Balabonski, Emmanuel Haucourt

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2007

Components of the Fundamental Category II.

Eric Goubault, Emmanuel Haucourt

Appl. Categorical Struct., 2007

2005

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

Emmanuel Haucourt

PhD thesis, 2005

Comparing Topological Models for Concurrency.

Emmanuel Haucourt

Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, 2005

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.

Eric Goubault, Emmanuel Haucourt

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

A Framework for Component Categories.

Emmanuel Haucourt

Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, 2004

Components of the Fundamental Category.

Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt

Appl. Categorical Struct., 2004