Martin Raussen

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 4

Top Topics

Arbitrary Dimension

Geometric Models

Higher Dimensional

Top Venues

Math. Struct. Comput. Sci.

J. Appl. Comput. Topol.

Publications

Martin Raussen
Connectivity of spaces of directed paths in geometric models for concurrent computation. Comput. Geom. 109 (2023)
Martin Raussen
Connectivity of spaces of directed paths in geometric models for concurrent computation. CoRR (2021)
Martin Raussen
Strictifying and taming directed paths in Higher Dimensional Automata. Math. Struct. Comput. Sci. 31 (2) (2021)
Martin Raussen
Pair component categories for directed spaces. J. Appl. Comput. Topol. 4 (1) (2020)
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
Preface. Electron. Notes Theor. Comput. Sci. 283 (2012)
Martin Raussen
Execution spaces for simple higher dimensional automata. Appl. Algebra Eng. Commun. Comput. 23 (1-2) (2012)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Trace Spaces: an Efficient New Technique for State-Space Reduction CoRR (2012)
Martin Raussen
Invariants of Directed Spaces. Appl. Categorical Struct. 15 (4) (2007)
Rafael Wisniewski, Martin Raussen
Geometric analysis of nondeterminacy in dynamical systems. Acta Informatica 43 (7) (2007)
Martin Raussen
Deadlocks and Dihomotopy in Mutual Exclusion Models. Spatial Representation (2005)