 | 2012 |
|---|
| 9 |       | Lisbeth Fajstrup,
Eric Goubault,
Emmanuel Haucourt,
Samuel Mimram,
Martin Raußen:
Trace Spaces: An Efficient New Technique for State-Space Reduction.
ESOP 2012: 274-294 |
| 8 | | Lisbeth Fajstrup,
Eric Goubault,
Emmanuel Haucourt,
Samuel Mimram,
Martin Raussen:
Trace Spaces: an Efficient New Technique for State-Space Reduction
CoRR abs/1204.0414: (2012) |
| 2006 |
|---|
| 7 | | Lisbeth Fajstrup,
Martin Raußen,
Eric Goubault:
Algebraic topology and concurrency.
Theor. Comput. Sci. 357(1-3): 241-278 (2006) |
| 6 | | Lisbeth Fajstrup:
Cubical local partial orders on cubically subdivided spaces - Existence and construction.
Theor. Comput. Sci. 365(3): 199-205 (2006) |
| 2005 |
|---|
| 5 | | 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 | | Lisbeth Fajstrup,
Martin Raußen,
Eric Goubault,
Emmanuel Haucourt:
Components of the Fundamental Category.
Applied Categorical Structures 12(1): 81-108 (2004) |
| 2001 |
|---|
| 3 | | Lisbeth Fajstrup,
Stefan Sokolowski:
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint.
Electr. Notes Theor. Comput. Sci. 39(2): 1-19 (2001) |
| 2000 |
|---|
| 2 | | Lisbeth Fajstrup:
Loops, ditopology and deadlocks.
Mathematical Structures in Computer Science 10(4): 459-480 (2000) |
| 1998 |
|---|
| 1 | | Lisbeth Fajstrup,
Eric Goubault,
Martin Raußen:
Detecting Deadlocks in Concurrent Systems.
CONCUR 1998: 332-347 |
Data released under the ODC-BY 1.0 license — See also our legal information page