Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
Non-Hausdorff parallelized manifolds over geometric models of conservative programs
Haucourt, E., 22 juil. 2025, Dans: Mathematical Structures in Computer Science. 35, e17.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Non-existing and ill-behaved coequalizers of locally ordered spaces
Coursolle, P. Y. & Haucourt, E., 1 sept. 2024, Dans: Journal of Applied and Computational Topology. 8, 4, p. 971-1021 51 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Unique decomposition of homogeneous languages and application to isothetic regions
Haucourt, E. & Ninin, N., 1 mai 2019, Dans: Mathematical Structures in Computer Science. 29, 5, p. 681-730 50 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
The geometry of conservative programs
Haucourt, E., 1 nov. 2018, Dans: Mathematical Structures in Computer Science. 28, 10, p. 1723-1769 47 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Directed algebraic topology and concurrency
Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S. & Raussen, M., 1 janv. 2016, Springer International Publishing. 167 p.Résultats de recherche: Livre/rapport › Livre › Revue par des pairs
-
The boolean algebra of cubical areas as a tensor product in the category of semilattices with zero
Ninin, N. & Haucourt, E., 26 oct. 2014, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 166, p. 60-66 7 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Streams, d-spaces and their fundamental categories
Haucourt, E., 15 juin 2012, Dans: Electronic Notes in Theoretical Computer Science. 283, p. 111-151 41 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Trace spaces: An efficient new technique for state-space reduction
Fajstrup, L., Goubault, É., Haucourt, E., Mimram, S. & Raussen, M., 3 avr. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
A geometric approach to the problem of unique decomposition of processes
Balabonski, T. & Haucourt, E., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert