| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6125954 | 2024-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6197834 | 2024-02-19 | Paper |
| Comparing cubical and globular directed paths | 2024-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6046605 | 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) | 2022-07-01 | Paper |
| Six model categories for directed homotopy | 2022-05-18 | Paper |
| Homotopy theory of Moore flows (II) | 2022-03-24 | Paper |
| Left properness of flows | 2021-06-21 | Paper |
| Flows revisited: the model category structure and its left determinedness | 2020-08-24 | Paper |
| Enriched diagrams of topological spaces over locally contractible enriched categories | 2020-02-17 | Paper |
| Combinatorics of past-similarity in higher dimensional transition systems | 2017-10-04 | Paper |
| T-homotopy and refinement of observation. I: Introduction | 2016-06-06 | Paper |
| The geometry of cubical and regular transition systems | 2016-02-23 | Paper |
| Left determined model categories | 2016-01-15 | Paper |
| The choice of cofibrations of higher dimensional transition systems | 2016-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5413234 | 2014-04-29 | Paper |
| Homotopy theory of labelled symmetric precubical sets | 2014-03-14 | Paper |
| The homotopy branching space of a flow | 2013-09-09 | Paper |
| Directed algebraic topology and higher dimensional transition systems | 2011-08-02 | Paper |
| Towards a homotopy theory of higher dimensional transition systems | 2011-08-01 | Paper |
| Homotopical interpretation of globular complex by multipointed d-space | 2010-04-20 | Paper |
| Combinatorics of labelling in higher-dimensional automata | 2010-03-29 | Paper |
| \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences | 2008-06-03 | Paper |
| Towards a homotopy theory of process algebra | 2008-05-14 | Paper |
| Globular realization and cubical underlying homotopy type of time flow of process algebra | 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 | 2006-11-21 | Paper |
| T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type | 2006-11-21 | Paper |
| Flow does not model flows up to weak dihomotopy | 2006-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3368181 | 2006-01-27 | Paper |
| Comparing globular complex and flow | 2006-01-10 | Paper |
| Homological properties of non-deterministic branchings of mergings in higher dimensional automata | 2005-10-27 | Paper |
| A model category for the homotopy theory of concurrency | 2005-04-05 | Paper |
| Topological deformation of higher dimensional automata | 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 | 2003-12-18 | Paper |
| Automate parallèle à homotopie près. I. (Concurrent process up to homotopy. I) | 2003-09-15 | Paper |
| Closed symmetric monoidal structure and flow | 2003-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707047 | 2003-06-05 | Paper |
| Homotopy branching space and weak dihomotopy | 2003-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3146269 | 2002-12-10 | Paper |
| A Convenient Category for The Homotopy Theory of Concurrency | 2002-01-25 | Paper |
| Combinatorics of branchings in higher dimensional automata | 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 | 2000-10-10 | Paper |
| Lambda operations on the homology of a Lie algebra of matrices | 1998-06-02 | Paper |
| Tensor products of matrices, cyclic homology, homology of Lie algebras | 1994-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3985690 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203210 | 1991-01-01 | Paper |
| Towards a theory of natural directed paths | N/A | Paper |
| Natural homotopy of multipointed d-spaces | N/A | Paper |
