Martin Raußen

Publication Activity (10 Years)

Years Active: 1998-2012
Publications (10 Years): 0

Top Topics

Scheduling Problem

Space Reduction

Image Segmentation

Top Venues

Publications

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP (2012)
Martin Raußen
Deadlocks and dihomotopy in mutual exclusion models. Theor. Comput. Sci. 365 (3) (2006)
Lisbeth Fajstrup, Martin Raußen, Eric Goubault
Algebraic topology and concurrency. Theor. Comput. Sci. 357 (1-3) (2006)
Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt
Components of the Fundamental Category. Appl. Categorical Struct. 12 (1) (2004)
Eric Goubault, Martin Raußen
Dihomotopy as a Tool in State Space Analysis. LATIN (2002)
Martin Raußen
On the classification of dipaths in geometric models for concurrency. Math. Struct. Comput. Sci. 10 (4) (2000)
Lisbeth Fajstrup, Eric Goubault, Martin Raußen
Detecting Deadlocks in Concurrent Systems. CONCUR (1998)