Detecting Deadlocks in Concurrent Systems. - Lisbeth Fajstrup; Eric Goubault; Martin Raußen (CONCUR, 1998)

On the classification of dipaths in geometric models for concurrency. - Martin Raußen (Math. Struct. Comput. Sci., 2000)

Dihomotopy as a Tool in State Space Analysis. - Eric Goubault; Martin Raußen (LATIN, 2002)

Components of the Fundamental Category. - Lisbeth Fajstrup; Martin Raußen; Eric Goubault; Emmanuel Haucourt (Appl. Categorical Struct., 2004)

Algebraic topology and concurrency. - Lisbeth Fajstrup; Martin Raußen; Eric Goubault (Theor. Comput. Sci., 2006)

Deadlocks and dihomotopy in mutual exclusion models. - Martin Raußen (Theor. Comput. Sci., 2006)

Invariants of Directed Spaces. - Martin Raussen (Appl. Categorical Struct., 2007)

Geometric analysis of nondeterminacy in dynamical systems. - Rafael Wisniewski; Martin Raussen (Acta Informatica, 2007)

Preface. - Lisbeth Fajstrup; Eric Goubault; Martin Raussen (GETCO, 2010)

Trace Spaces: An Efficient New Technique for State-Space Reduction. - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raußen (ESOP, 2012)

Execution spaces for simple higher dimensional automata. - Martin Raussen (Appl. Algebra Eng. Commun. Comput., 2012)

Directed Algebraic Topology and Concurrency - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raussen (Springer, 2016)

Pair component categories for directed spaces. - Martin Raussen (J. Appl. Comput. Topol., 2020)

Strictifying and taming directed paths in Higher Dimensional Automata. - Martin Raussen (Math. Struct. Comput. Sci., 2021)

Connectivity of spaces of directed paths in geometric models for concurrent computation. - Martin Raussen (Comput. Geom., 2023)

Geometric and topological methods in computer science (11th GETCO conference, 2022). - Eric Goubault; Marian Mrozek; Martin Raussen (J. Appl. Comput. Topol., 2024)