Lisbeth Fajstrup

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 4

Top Topics

Hierarchical Structures

Top Venues

Math. Struct. Comput. Sci.

Formal Methods Syst. Des.

Publications

Lisbeth Fajstrup
Cut-off theorems for the PV-model. Formal Methods Syst. Des. 59 (1) (2021)
Robin Belton, Robyn Brooks, Stefania Ebli, Lisbeth Fajstrup, Brittany Terese Fasy, Nicole Sanderson, Elizabeth Vidaurre
Combinatorial Conditions for Directed Collapsing. CoRR (2021)
Lisbeth Fajstrup
Cut-off Theorems for the PV-model. CoRR (2018)
Lisbeth Fajstrup, João Pita Costa
On the Hierarchy of d-structures. Order 34 (1) (2017)
Lisbeth Fajstrup
Trace spaces of directed tori with rectangular holes. Math. Struct. Comput. Sci. 24 (2) (2014)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP (2012)
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
Preface. Electron. Notes Theor. Comput. Sci. 283 (2012)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Trace Spaces: an Efficient New Technique for State-Space Reduction CoRR (2012)
Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, Maurice Herlihy
Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121). Dagstuhl Reports 2 (3) (2012)
Lisbeth Fajstrup
Cubical local partial orders on cubically subdivided spaces - Existence and construction. Theor. Comput. Sci. 365 (3) (2006)
Lisbeth Fajstrup, Martin Raußen, Eric Goubault
Algebraic topology and concurrency. Theor. Comput. Sci. 357 (1-3) (2006)
Lisbeth Fajstrup
Dipaths and dihomotopies in a cubical complex. Adv. Appl. Math. 35 (2) (2005)
Lisbeth Fajstrup
Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again. Spatial Representation (2005)
Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt
Components of the Fundamental Category. Appl. Categorical Struct. 12 (1) (2004)
Lisbeth Fajstrup, Stefan Sokolowski
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. Electron. Notes Theor. Comput. Sci. 39 (2) (2001)
Lisbeth Fajstrup
Loops, ditopology and deadlocks. Math. Struct. Comput. Sci. 10 (4) (2000)
Lisbeth Fajstrup, Eric Goubault, Martin Raußen
Detecting Deadlocks in Concurrent Systems. CONCUR (1998)