| |
| 2006 | ||
|---|---|---|
| 6 | EE | Lisbeth Fajstrup, Martin Raußen, Eric Goubault: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1-3): 241-278 (2006) |
| 5 | EE | Martin Raußen: Deadlocks and dihomotopy in mutual exclusion models. Theor. Comput. Sci. 365(3): 247-257 (2006) |
| 2004 | ||
| 4 | EE | Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category. Applied Categorical Structures 12(1): 81-108 (2004) |
| 2002 | ||
| 3 | EE | Eric Goubault, Martin Raußen: Dihomotopy as a Tool in State Space Analysis. LATIN 2002: 16-37 |
| 2000 | ||
| 2 | Martin Raußen: On the classification of dipaths in geometric models for concurrency. Mathematical Structures in Computer Science 10(4): 427-457 (2000) | |
| 1998 | ||
| 1 | EE | Lisbeth Fajstrup, Eric Goubault, Martin Raußen: Detecting Deadlocks in Concurrent Systems. CONCUR 1998: 332-347 |
| 1 | Lisbeth Fajstrup | [1] [4] [6] |
| 2 | Eric Goubault | [1] [3] [4] [6] |
| 3 | Emmanuel Haucourt | [4] |