Fingerprint
Dive into the research topics where Emmanuel Haucourt is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Non-Hausdorff parallelized manifolds over geometric models of conservative programs
Haucourt, E., 22 Jul 2025, In: Mathematical Structures in Computer Science. 35, e17.Research output: Contribution to journal › Article › peer-review
-
Non-existing and ill-behaved coequalizers of locally ordered spaces
Coursolle, P. Y. & Haucourt, E., 1 Sept 2024, In: Journal of Applied and Computational Topology. 8, 4, p. 971-1021 51 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Unique decomposition of homogeneous languages and application to isothetic regions
Haucourt, E. & Ninin, N., 1 May 2019, In: Mathematical Structures in Computer Science. 29, 5, p. 681-730 50 p.Research output: Contribution to journal › Article › peer-review
Open Access -
The geometry of conservative programs
Haucourt, E., 1 Nov 2018, In: Mathematical Structures in Computer Science. 28, 10, p. 1723-1769 47 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Directed algebraic topology and concurrency
Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S. & Raussen, M., 1 Jan 2016, Springer International Publishing. 167 p.Research output: Book/Report › Book › peer-review
-
The boolean algebra of cubical areas as a tensor product in the category of semilattices with zero
Ninin, N. & Haucourt, E., 26 Oct 2014, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 166, p. 60-66 7 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Streams, d-spaces and their fundamental categories
Haucourt, E., 15 Jun 2012, In: Electronic Notes in Theoretical Computer Science. 283, p. 111-151 41 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Trace spaces: An efficient new technique for state-space reduction
Fajstrup, L., Goubault, É., Haucourt, E., Mimram, S. & Raussen, M., 3 Apr 2012, Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 274-294 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7211 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Rigorous evidence of freedom from concurrency faults in industrial control software
Bonichon, R., Canet, G., Correnson, L., Goubault, E., Haucourt, E., Hirschowitz, M., Labbé, S. & Mimram, S., 26 Sept 2011, Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Proceedings. p. 85-98 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6894 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A geometric approach to the problem of unique decomposition of processes
Balabonski, T. & Haucourt, E., 1 Jan 2010, CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings. Springer Verlag, p. 132-146 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6269 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access