| Publication | Date of Publication | Type |
|---|
Non-Hausdorff parallelized manifolds over geometric models of conservative programs
Mathematical Structures in Computer Science | 2025-08-22 | Paper |
Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
(available as arXiv preprint) | 2025-01-01 | Paper |
Non-existing and ill-behaved coequalizers of locally ordered spaces
Journal of Applied and Computational Topology | 2024-11-29 | Paper |
Strict refinement property of connected loop-free categories
(available as arXiv preprint) | 2024-01-01 | Paper |
| Non-existing and ill-behaved coequalizers of locally ordered spaces | 2021-10-15 | Paper |
The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero
(available as arXiv preprint) | 2020-02-14 | Paper |
| The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero | 2020-02-14 | Paper |
Unique decomposition of homogeneous languages and application to isothetic regions
Mathematical Structures in Computer Science | 2019-03-21 | Paper |
The geometry of conservative programs
Mathematical Structures in Computer Science | 2018-10-25 | Paper |
Future path-components in directed topology
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
A framework for component categories
Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
Comparing topological models for concurrency
Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
Streams, \(d\)-spaces and their fundamental categories
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
SpringerBriefs in Applied Sciences and Technology | 2015-02-11 | Paper |
Trace spaces: an efficient new technique for state-space reduction
Programming Languages and Systems | 2012-06-22 | Paper |
A geometric approach to the problem of unique decomposition of processes
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Covering space theory for directed topology
(available as arXiv preprint) | 2009-05-27 | Paper |
| Covering space theory for directed topology | 2009-05-27 | Paper |
| Covering space theory for directed topology | 2009-05-27 | Paper |
Components of the fundamental category. II
Applied Categorical Structures | 2007-12-06 | Paper |
| Categories of components and loop-free categories | 2006-11-30 | Paper |
| Categories of components and loop-free categories | 2006-11-30 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Components of the fundamental category
Applied Categorical Structures | 2004-05-27 | Paper |
