Martin Raußen

According to our database, Martin Raußen authored at least 15 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Connectivity of spaces of directed paths in geometric models for concurrent computation.

Martin Raussen

Comput. Geom., 2023

2021

Strictifying and taming directed paths in Higher Dimensional Automata.

Martin Raussen

Math. Struct. Comput. Sci., 2021

2020

Pair component categories for directed spaces.

Martin Raussen

J. Appl. Comput. Topol., 2020

2016

Directed Algebraic Topology and Concurrency

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen

Springer, ISBN: 978-3-319-15398-8, 2016

2012

Execution spaces for simple higher dimensional automata.

Martin Raussen

Appl. Algebra Eng. Commun. Comput., 2012

Trace Spaces: An Efficient New Technique for State-Space Reduction.

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen

Proceedings of the Programming Languages and Systems, 2012

2010

Preface.

Lisbeth Fajstrup, Eric Goubault, Martin Raussen

Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

2007

Geometric analysis of nondeterminacy in dynamical systems.

Rafael Wisniewski, Martin Raussen

Acta Informatica, 2007

Invariants of Directed Spaces.

Martin Raussen

Appl. Categorical Struct., 2007

2006

Deadlocks and dihomotopy in mutual exclusion models.

Martin Raußen

Theor. Comput. Sci., 2006

Algebraic topology and concurrency.

Lisbeth Fajstrup, Martin Raußen, Eric Goubault

Theor. Comput. Sci., 2006

2004

Components of the Fundamental Category.

Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt

Appl. Categorical Struct., 2004

2002

Dihomotopy as a Tool in State Space Analysis.

Eric Goubault, Martin Raußen

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2000

On the classification of dipaths in geometric models for concurrency.

Martin Raußen

Math. Struct. Comput. Sci., 2000

1998

Detecting Deadlocks in Concurrent Systems.

Lisbeth Fajstrup, Eric Goubault, Martin Raußen

Proceedings of the CONCUR '98: Concurrency Theory, 1998