| |
| 2006 | ||
|---|---|---|
| 7 | EE | Lisbeth Fajstrup, Martin Raußen, Eric Goubault: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1-3): 241-278 (2006) |
| 6 | EE | Lisbeth Fajstrup: Cubical local partial orders on cubically subdivided spaces - Existence and construction. Theor. Comput. Sci. 365(3): 199-205 (2006) |
| 2005 | ||
| 5 | EE | Lisbeth Fajstrup: Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again. Spatial Representation 2005 |
| 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) |
| 2001 | ||
| 3 | EE | Lisbeth Fajstrup, Stefan Sokolowski: Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. Electr. Notes Theor. Comput. Sci. 39(2): (2001) |
| 2000 | ||
| 2 | Lisbeth Fajstrup: Loops, ditopology and deadlocks. Mathematical Structures in Computer Science 10(4): 459-480 (2000) | |
| 1998 | ||
| 1 | EE | Lisbeth Fajstrup, Eric Goubault, Martin Raußen: Detecting Deadlocks in Concurrent Systems. CONCUR 1998: 332-347 |
| 1 | Eric Goubault | [1] [4] [7] |
| 2 | Emmanuel Haucourt | [4] |
| 3 | Martin Raußen | [1] [4] [7] |
| 4 | Stefan Sokolowski | [3] |