# Martin Raußen

According to our database

Collaborative distances:

^{1}, Martin Raußen authored at least 12 papers between 1998 and 2016.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Directed Algebraic Topology and Concurrency

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

2012

Preface.

Electr. Notes Theor. Comput. Sci., 2012

Execution spaces for simple higher dimensional automata.

Appl. Algebra Eng. Commun. Comput., 2012

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

Proceedings of the Programming Languages and Systems, 2012

2007

Geometric analysis of nondeterminacy in dynamical systems.

Acta Inf., 2007

Invariants of Directed Spaces.

Applied Categorical Structures, 2007

2006

Algebraic topology and concurrency.

Theor. Comput. Sci., 2006

2005

Deadlocks and Dihomotopy in Mutual Exclusion Models.

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Components of the Fundamental Category.

Applied Categorical Structures, 2004

2002

Dihomotopy as a Tool in State Space Analysis.

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2000

On the classification of dipaths in geometric models for concurrency.

Mathematical Structures in Computer Science, 2000

1998

Detecting Deadlocks in Concurrent Systems.

Proceedings of the CONCUR '98: Concurrency Theory, 1998