Martin Rauen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–2012
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ESOP | Trace Spaces: An Efficient New Technique for State-Space Reduction. | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Rauen |
| 2002 | LATIN | Dihomotopy as a Tool in State Space Analysis. | Eric Goubault, Martin Rauen |
| 1998 | CONCUR | Detecting Deadlocks in Concurrent Systems. | Lisbeth Fajstrup, Eric Goubault, Martin Rauen |