Skip to main navigation Skip to search Skip to main content
No photo of Emmanuel Haucourt

View Scopus Profile

Emmanuel Haucourt

Full Professor

  • 236
    Citations
20042025

Research activity per year

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
View full fingerprint

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
Explore network further
  • 12 Article
  • 3 Conference contribution
  • 2 Conference article
  • 1 Book

  • 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

    1 Citation (Scopus)

  • 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
    1 Citation (Scopus)

  • 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
    4 Citations (Scopus)

  • 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

    77 Citations (Scopus)

  • 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
    2 Citations (Scopus)

  • 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
    6 Citations (Scopus)

  • 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
    18 Citations (Scopus)

  • 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

    6 Citations (Scopus)

  • 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
    7 Citations (Scopus)
View all 18 research outputs