VLDB 2026 Research / reviewers in the wild / expert
Lisbeth Fajstrup
dblp:01/2810
· DBLP profile ↗
7ranked-venue papers
7as first author
1since 2021 · last 2021
0000-0003-4936-1176ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 6 · 6 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Cut-off theorems for the PV-model
Lisbeth Fajstrup |
Formal Methods Syst. Des. | 1 |
| 2014 | Trace spaces of directed tori with rectangular holesabstractRaussen (2010) gave the trace space, which corresponds to the executions of parallel non-looped, non-branching processes as a prod-simplicial complex derived from a poset. The connected components represent equivalent executions. For looped processes, the state space is a torus and the trace space is a disjoint union of trace spaces of deloopings. In the current paper, we develop the index poset for the trace space of the deloopings from the once delooped case. When just one process is looped, the index poset is generated as words in a regular language. We also construct a corresponding automaton. Lisbeth Fajstrup |
Math. Struct. Comput. Sci. | 1 |
| 2012 | Trace Spaces: An Efficient New Technique for State-Space Reduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen |
ESOP | 1 |
| 2006 | Cubical local partial orders on cubically subdivided spaces - Existence and construction
Lisbeth Fajstrup |
Theor. Comput. Sci. | 1 |
| 2006 | Algebraic topology and concurrency
Lisbeth Fajstrup, Martin Raußen, Eric Goubault |
Theor. Comput. Sci. | 1 |
| 2000 | Loops, ditopology and deadlocks
Lisbeth Fajstrup |
Math. Struct. Comput. Sci. | 1 |
| 1998 | Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Raußen |
CONCUR | 1 |