Prépublication
Strict refinement property of connected loop-free categories (HAL)
avec Aly-Bora Ulusoy.
HAL (hal-04482394 , version 1). En ligne depuis juin 2024.
Non-Hausdorff parallelized manifolds over geometric models of conservative programs (HAL)
HAL (hal-04143115 , version 2).
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