| Publication | Date of Publication | Type |
|---|
| Directed degeneracy maps for precubical sets | 2024-04-09 | Paper |
Directed degeneracy maps for precubical sets
(available as arXiv preprint) | 2024-04-09 | Paper |
Regular directed path and Moore flow
(available as arXiv preprint) | 2024-02-19 | Paper |
| Regular directed path and Moore flow | 2024-02-19 | Paper |
Comparing cubical and globular directed paths
Fundamenta Mathematicae | 2024-01-30 | Paper |
| scientific article; zbMATH DE number 7684598 (Why is no real title available?) | 2023-05-11 | Paper |
scientific article; zbMATH DE number 7684598 (Why is no real title available?)
(available as arXiv preprint) | 2023-05-11 | Paper |
| Homotopy theory of Moore flows (III) | 2023-03-28 | Paper |
| Erratum to "Homotopy theory of Moore flows I" | 2022-07-04 | Paper |
Homotopy theory of Moore flows. I
Compositionality | 2022-07-01 | Paper |
Six model categories for directed homotopy
Categories and General Algebraic Structures with Applications | 2022-05-18 | Paper |
Homotopy theory of Moore flows. II
Extracta Mathematicae | 2022-03-24 | Paper |
| Left properness of flows | 2021-06-21 | Paper |
Left properness of flows
(available as arXiv preprint) | 2021-06-21 | Paper |
| Flows revisited: the model category structure and its left determinedness | 2020-08-24 | Paper |
Flows revisited: the model category structure and its left determinedness
(available as arXiv preprint) | 2020-08-24 | Paper |
Enriched diagrams of topological spaces over locally contractible enriched categories
The New York Journal of Mathematics | 2020-02-17 | Paper |
Enriched diagrams of topological spaces over locally contractible enriched categories
The New York Journal of Mathematics | 2020-02-17 | Paper |
| Combinatorics of past-similarity in higher dimensional transition systems | 2017-10-04 | Paper |
Combinatorics of past-similarity in higher dimensional transition systems
(available as arXiv preprint) | 2017-10-04 | Paper |
T-homotopy and refinement of observation. I: Introduction
Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
The geometry of cubical and regular transition systems
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2016-02-23 | Paper |
Left determined model categories
The New York Journal of Mathematics | 2016-01-15 | Paper |
Left determined model categories
The New York Journal of Mathematics | 2016-01-15 | Paper |
The choice of cofibrations of higher dimensional transition systems
The New York Journal of Mathematics | 2016-01-15 | Paper |
The choice of cofibrations of higher dimensional transition systems
The New York Journal of Mathematics | 2016-01-15 | Paper |
| Erratum to ``Towards a homotopy theory of higher dimensional transition systems | 2014-04-29 | Paper |
Homotopy theory of labelled symmetric precubical sets
The New York Journal of Mathematics | 2014-03-14 | Paper |
Homotopy theory of labelled symmetric precubical sets
The New York Journal of Mathematics | 2014-03-14 | Paper |
| The homotopy branching space of a flow | 2013-09-09 | Paper |
The homotopy branching space of a flow
(available as arXiv preprint) | 2013-09-09 | Paper |
Directed algebraic topology and higher dimensional transition systems
The New York Journal of Mathematics | 2011-08-02 | Paper |
Directed algebraic topology and higher dimensional transition systems
The New York Journal of Mathematics | 2011-08-02 | Paper |
| Towards a homotopy theory of higher dimensional transition systems | 2011-08-01 | Paper |
Towards a homotopy theory of higher dimensional transition systems
(available as arXiv preprint) | 2011-08-01 | Paper |
| Homotopical interpretation of globular complex by multipointed d-space | 2010-04-20 | Paper |
Homotopical interpretation of globular complex by multipointed d-space
(available as arXiv preprint) | 2010-04-20 | Paper |
| Homotopical interpretation of globular complex by multipointed d-space | 2010-04-20 | Paper |
Combinatorics of labelling in higher-dimensional automata
Theoretical Computer Science | 2010-03-29 | Paper |
\(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences
International Journal of Mathematics and Mathematical Sciences | 2008-06-03 | Paper |
\(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences
International Journal of Mathematics and Mathematical Sciences | 2008-06-03 | Paper |
Towards a homotopy theory of process algebra
Homology, Homotopy and Applications | 2008-05-14 | Paper |
Towards a homotopy theory of process algebra
Homology, Homotopy and Applications | 2008-05-14 | Paper |
Globular realization and cubical underlying homotopy type of time flow of process algebra
The New York Journal of Mathematics | 2008-03-31 | Paper |
Globular realization and cubical underlying homotopy type of time flow of process algebra
The New York Journal of Mathematics | 2008-03-31 | Paper |
Globular realization and cubical underlying homotopy type of time flow of process algebra
The New York Journal of Mathematics | 2008-03-31 | Paper |
| Homotopical equivalence of combinatorial and categorical semantics of process algebra | 2007-11-08 | Paper |
| Abstract homotopical methods for theoretical computer science | 2007-07-10 | Paper |
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
The New York Journal of Mathematics | 2006-11-21 | Paper |
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
The New York Journal of Mathematics | 2006-11-21 | Paper |
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
The New York Journal of Mathematics | 2006-11-21 | Paper |
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
The New York Journal of Mathematics | 2006-11-21 | Paper |
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
The New York Journal of Mathematics | 2006-11-21 | Paper |
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
The New York Journal of Mathematics | 2006-11-21 | Paper |
Flow does not model flows up to weak dihomotopy
Applied Categorical Structures | 2006-10-25 | Paper |
| scientific article; zbMATH DE number 5002267 (Why is no real title available?) | 2006-01-27 | Paper |
scientific article; zbMATH DE number 5002267 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-27 | Paper |
| scientific article; zbMATH DE number 5002267 (Why is no real title available?) | 2006-01-27 | Paper |
Comparing globular complex and flow
The New York Journal of Mathematics | 2006-01-10 | Paper |
Comparing globular complex and flow
The New York Journal of Mathematics | 2006-01-10 | Paper |
Homological properties of non-deterministic branchings of mergings in higher dimensional automata
Homology, Homotopy and Applications | 2005-10-27 | Paper |
Homological properties of non-deterministic branchings of mergings in higher dimensional automata
Homology, Homotopy and Applications | 2005-10-27 | Paper |
Homological properties of non-deterministic branchings of mergings in higher dimensional automata
Homology, Homotopy and Applications | 2005-10-27 | Paper |
A model category for the homotopy theory of concurrency
Homology, Homotopy and Applications | 2005-04-05 | Paper |
A model category for the homotopy theory of concurrency
Homology, Homotopy and Applications | 2005-04-05 | Paper |
A model category for the homotopy theory of concurrency
Homology, Homotopy and Applications | 2005-04-05 | Paper |
Topological deformation of higher dimensional automata
Homology, Homotopy and Applications | 2004-02-22 | Paper |
Topological deformation of higher dimensional automata
Homology, Homotopy and Applications | 2004-02-22 | Paper |
Topological deformation of higher dimensional automata
Homology, Homotopy and Applications | 2004-02-22 | Paper |
| T-homotopy and refinement of observation (V) : Strom model structure for branching and merging homologies | 2004-01-05 | Paper |
Concurrent process up to homotopy. II
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2003-12-18 | Paper |
Automate parallèle à homotopie près. I. (Concurrent process up to homotopy. I)
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2003-09-15 | Paper |
| Closed symmetric monoidal structure and flow | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1924509 (Why is no real title available?) | 2003-06-05 | Paper |
scientific article; zbMATH DE number 1924509 (Why is no real title available?)
(available as arXiv preprint) | 2003-06-05 | Paper |
| scientific article; zbMATH DE number 1924509 (Why is no real title available?) | 2003-06-05 | Paper |
| Homotopy branching space and weak dihomotopy | 2003-04-08 | Paper |
| scientific article; zbMATH DE number 1799498 (Why is no real title available?) | 2002-12-10 | Paper |
scientific article; zbMATH DE number 1799498 (Why is no real title available?)
(available as arXiv preprint) | 2002-12-10 | Paper |
| scientific article; zbMATH DE number 1799498 (Why is no real title available?) | 2002-12-10 | Paper |
| A Convenient Category for The Homotopy Theory of Concurrency | 2002-01-25 | Paper |
Combinatorics of branchings in higher dimensional automata
Theory and Applications of Categories | 2001-07-09 | Paper |
Combinatorics of branchings in higher dimensional automata
Theory and Applications of Categories | 2001-07-09 | Paper |
Combinatorics of branchings in higher dimensional automata
Theory and Applications of Categories | 2001-07-09 | Paper |
| From concurrency to algebraic topology | 2001-05-07 | Paper |
| Investigating The Algebraic Structure of Dihomotopy Types | 2001-05-07 | Paper |
Homotopy invariants of higher dimensional categories and concurrency in computer science
Mathematical Structures in Computer Science | 2000-10-10 | Paper |
Lambda operations on the homology of a Lie algebra of matrices
\(K\)-Theory | 1998-06-02 | Paper |
Tensor products of matrices, cyclic homology, homology of Lie algebras
Annales de l’institut Fourier | 1994-11-08 | Paper |
Tensor products of matrices, cyclic homology, homology of Lie algebras
Annales de l’institut Fourier | 1994-11-08 | Paper |
| scientific article; zbMATH DE number 27657 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4196234 (Why is no real title available?) | 1991-01-01 | Paper |
Towards a theory of natural directed paths
(available as arXiv preprint) | N/A | Paper |
Natural homotopy of multipointed d-spaces
(available as arXiv preprint) | N/A | Paper |
