Emmanuel Haucourt
According to our database1,
Emmanuel Haucourt
authored at least 17 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
3
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
J. Appl. Comput. Topol., September, 2024
2019
Math. Struct. Comput. Sci., 2019
2018
2016
Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency.
, 2016
2014
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
2012
Proceedings of the Programming Languages and Systems, 2012
2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
2010
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2007
2005
Topologie Algébrique Dirigée et Concurrence. (Directed Algebraic Topology and Concurrency).
PhD thesis, 2005
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.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, 2004