Martin Raussen

16 papers Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Geometric and topological methods in computer science (11th GETCO conference, 2022).
J. Appl. Comput. Topol.
Eric Goubault, Marian Mrozek, Martin Raussen
2023 J jnl
Connectivity of spaces of directed paths in geometric models for concurrent computation.
Comput. Geom.
Martin Raussen
2021 J jnl
Connectivity of spaces of directed paths in geometric models for concurrent computation.
CoRR
Martin Raussen
2021 J jnl
Strictifying and taming directed paths in Higher Dimensional Automata.
Math. Struct. Comput. Sci.
Martin Raussen
2020 J jnl
Pair component categories for directed spaces.
J. Appl. Comput. Topol.
Martin Raussen
2016 — book
Directed Algebraic Topology and Concurrency
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2012 J jnl
Execution spaces for simple higher dimensional automata.
Appl. Algebra Eng. Commun. Comput.
Martin Raussen
2012 — ed.
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010
GETCO
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
2012 J jnl
Trace Spaces: an Efficient New Technique for State-Space Reduction
CoRR
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2010 — conf
Preface.
GETCO
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
2007 J jnl
Geometric analysis of nondeterminacy in dynamical systems.
Acta Informatica
Rafael Wisniewski, Martin Raussen
2007 J jnl
Invariants of Directed Spaces.
Appl. Categorical Struct.
Martin Raussen
2005 — conf
Deadlocks and Dihomotopy in Mutual Exclusion Models.
Spatial Representation
Martin Raussen
2003 — ed.
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2002 — ed.
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2000 — ed.
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000
GETCO
Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone