Emmanuel Haucourt

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 3

Top Venues

CoRR

Math. Struct. Comput. Sci.

Electron. Notes Theor. Comput. Sci.

ESOP

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Pierre-Yves Coursolle, Emmanuel Haucourt
Non-existing and ill-behaved coequalizers of locally ordered spaces. CoRR (2021)
Emmanuel Haucourt, Nicolas Ninin
Unique decomposition of homogeneous languages and application to isothetic regions. Math. Struct. Comput. Sci. 29 (5) (2019)
Emmanuel Haucourt
The geometry of conservative programs. Math. Struct. Comput. Sci. 28 (10) (2018)
Nicolas Ninin, Emmanuel Haucourt
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero. ICE (2014)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP (2012)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Trace Spaces: an Efficient New Technique for State-Space Reduction CoRR (2012)
Emmanuel Haucourt
Streams, d-Spaces and Their Fundamental Categories. Electron. Notes Theor. Comput. Sci. 283 (2012)
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP (2011)
Thibaut Balabonski, Emmanuel Haucourt
A Geometric Approach to the Problem of Unique Decomposition of Processes CoRR (2010)
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan
Future Path-components in Directed Topology. MFPS (2010)
Thibaut Balabonski, Emmanuel Haucourt
A Geometric Approach to the Problem of Unique Decomposition of Processes. CONCUR (2010)
Emmanuel Haucourt
A Framework for Component Categories. Electron. Notes Theor. Comput. Sci. 230 (2009)
Emmanuel Haucourt
Comparing Topological Models for Concurrency. Electron. Notes Theor. Comput. Sci. 230 (2009)
Eric Goubault, Emmanuel Haucourt
Components of the Fundamental Category II. Appl. Categorical Struct. 15 (4) (2007)
Eric Goubault, Emmanuel Haucourt
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. CONCUR (2005)
Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt
Components of the Fundamental Category. Appl. Categorical Struct. 12 (1) (2004)

Emmanuel Haucourt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emmanuel Haucourt