Prépublication

Non-Hausdorff parallelized manifolds over geometric models of conservative programs (HAL)
HAL (hal-04143115 , version 1). En ligne depuis juin 2023.

Livre

Directed Algebraic Topology and Concurrency
avec Lisbeth Fajstrup, Éric Goubault, Samuel Mimram, et Martin Raussen.
Springer 2016. ISBN: 978-3-319-15397-1


Journaux

Non-existing and ill-behaved coequalizers of locally ordered spaces (HAL)
avec Pierre-Yves Coursolle
Journal of Applied and Computational Topology. Volume 8, Numéro 1, Février 2024.

Unique decomposition of homogeneous languages and application to isothetic regions (HAL)
avec Nicolas Ninin
Mathematical Structures in Computer Science. Volume 29, Numéro 5, Mai 2019, pp. 681-730.
En ligne depuis le 10 octobre 2018.

The geometry of conservative programs (HAL)
Mathematical Structures in Computer Science. Volume 28, Numéro 10, Novembre 2018, pp. 1723–1769.
En ligne depuis le 17 octobre 2017.

Streams, d-Spaces and their Fundamental Categories
Electronic Notes in Theoretical Computer Science 283. pp 111-151. 2012.
Version journal de la présentation faite à Aalborg en Janvier 2010.

Covering Space theory for Directed Topology
avec Éric Goubault et Sanjeevi Krishnan.
Theory and applications of Categories. Volume 22 Numéro 9 pp 252-268. 2009.

Components of the Fundamental Category II
avec Éric Goubault.
Applied Categorical Structures. Volume 15 Numéro 4 pp 387-414. 2007.

Categories of Components and Loop-free categories
Theory and applications of Categories. Volume 16 Numéro 27 pp 736-770. 2006.

Components of the Fundamental Category
avec Lisbeth Fajstrup, Éric Goubault et Martin Raussen.
Applied Categorical Structures. Volume 12 Numéro 1 pp 81-108. 2004.


Conférences et Ateliers

Colimits of local orders (Non-existing and ill-behaved coequalizers of locally ordered spaces)
avec Pierre-Yves Coursolle
Geometric and Topological methods in Concurrency Theory,
du 30 mai au 3 juin 2022 au Kremlin-Bicêtre, France.

Control Flow Structures of Concurrent Programs are Higher Dimensional Mathematical Objects
Accelerating Applied Algebraic Topology, du 12 au 14 avril 2016 à Aalborg, Danemark.

Compactifications of d-Spaces and Vector Fields
Geometric and Topological methods in Concurrency Theory, du 7 au 10 avril 2015 à Aalborg, Danemark.

The Precubical and Continuous Control Flow
Topology, workshop of PODC 2014, le 15 juillet 2014 à Paris, France.
Célébration du 60ème anniversaire de Maurice Herlihy.

The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero
avec Nicolas Ninin.
Interaction and Concurrency Experience le 6 juin 2014 à Berlin, Allemagne.
Actes publiés dans Electronic Proceedings in Theoretical Computer Science 166. pp 60-67. 2014.

Introduction to Directed Algebraic Topology with a view towards modelling Concurrency I / II / III
Mathematical Structures of Computation les 27, 29, et 31 janvier 2014 à Lyon, France.
Cours introductif.

Trace Spaces: an Efficient New-Technique for State-Space Reduction
avec L. Fajstrup, É. Goubault, S. Mimram, et M. Raussen.
European Symposium on Programming du 24 mars au 1 avril 2012 à Tallinn, Estonie.
Actes publiés dans Lecture Notes in Computer Science 7211. 2012.

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software
avec R. Bonichon, G. Canet, L. Correnson, É. Goubault, M. Hirschowitz, S. Labbé et S. Mimram.
Computer Safety, Reliability, and Security du 19 au 22 septembre 2011 à Naples, Italie.
Actes publiés dans Lecture Notes in Computer Science 6894. pp 85-98. 2011.

A Geometric Approach to the problem of Unique Decomposition of Processes
avec Thibaut Balabonski.
Concur du 31 août au 3 septembre 2010 à Paris, France.
Actes publiés dans Lecture Notes in Computer Science 6269. pp 132-146. 2010.

Future Path-components in Directed Topology
avec Éric Goubault et Sanjeevi Krishnan.
Mathematical Foundations of Programming Semantics du 6 au 10 mai 2010 à Ottawa, Ontario, Canada.
Actes publiés dans Electronic Notes in Theoretical Computer Science 265. pp 325-335. 2010.

Two equivalent ways of directing the spaces
Geometric and Topological methods in Concurrency Theory du 7 au 11 Janvier 2010 à Aalborg, Danemark. Orateur invité.

Directed Algebraic Topology and Concurrency
Algebraic Topological Methods in Computer Science du 7 au 11 Juillet 2008 à Paris. Orateur invité.

Loop-free categories and their Components
21st Summer Conference on Topology and its Applications.
du 6 au 9 Juillet 2006 à l'Université de Géorgie du Sud, Statesboro, GA, U.S.A.
Orateur invité. Actes publiés dans Topology Proceedings Volume 31 Numéro 2. 2007.

Directed Algebraic Topology and Concurrency
avec Éric Goubault
Session résidentielle Géométrie du Calcul (GeoCal) du 30 Janvier au 3 Mars 2006
au Centre International de Rencontres Mathématiques à Luminy, France.

A practical application of Geometric semantics to Static analysis of Concurrent programs
avec Éric Goubault.
Concur du 23 au 26 août 2005 à San Francisco, U.S.A.
Actes publiés dans Lecture Notes in Computer Science 3653. pp 503-517. 2005.

Comparing topological models for Concurrency
Getco du 23 au 26 août 2005 à San Francisco, U.S.A.
Actes publiés dans Electronic Notes in Theoretical Computer Science 230. pp 111-127. 2009.

A Framework for Categories of Components
Getco le 4 Octobre 2004 à Amsterdam Hollande
Actes publiés dans Electronic Notes in Theoretical Computer Science 230. pp 39-69. 2009.

Habilitation à diriger des recherches

Some Invariants of Directed Topology towards a Static Analyzer Dealing with Fine-Grain Concurrency
Manuscrit d'habilitation à diriger des recherches
Semantics of a concurrent language by means of directed topology
Transparents de la présentation