Martin Raußen

According to our database1, Martin Raußen
  • authored at least 14 papers between 1998 and 2016.
  • has a "Dijkstra number"2 of five.

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

Trace Spaces: an Efficient New Technique for State-Space Reduction
CoRR, 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
Deadlocks and dihomotopy in mutual exclusion models.
Theor. Comput. Sci., 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


  Loading...