Lisbeth Fajstrup

According to our database, Lisbeth Fajstrup authored at least 16 papers between 1998 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Cut-off theorems for the PV-model.

Lisbeth Fajstrup

Formal Methods Syst. Des., 2021

Combinatorial Conditions for Directed Collapsing.

Robin Belton, Robyn Brooks, Stefania Ebli, Lisbeth Fajstrup, Brittany Terese Fasy, Nicole Sanderson, Elizabeth Vidaurre

CoRR, 2021

2017

On the Hierarchy of d-structures.

Lisbeth Fajstrup, João Pita Costa

Order, 2017

2016

Directed Algebraic Topology and Concurrency

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen

Springer, ISBN: 978-3-319-15398-8, 2016

2014

Trace spaces of directed tori with rectangular holes.

Lisbeth Fajstrup

Math. Struct. Comput. Sci., 2014

2012

Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121).

Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, Maurice Herlihy

Dagstuhl Reports, 2012

Trace Spaces: An Efficient New Technique for State-Space Reduction.

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen

Proceedings of the Programming Languages and Systems, 2012

2010

Preface.

Lisbeth Fajstrup, Eric Goubault, Martin Raussen

Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

2006

Algebraic topology and concurrency.

Lisbeth Fajstrup, Martin Raußen, Eric Goubault

Theor. Comput. Sci., 2006

Cubical local partial orders on cubically subdivided spaces - Existence and construction.

Lisbeth Fajstrup

Theor. Comput. Sci., 2006

2005

Dipaths and dihomotopies in a cubical complex.

Lisbeth Fajstrup

Adv. Appl. Math., 2005

Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again.

Lisbeth Fajstrup

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Components of the Fundamental Category.

Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt

Appl. Categorical Struct., 2004

2000

Loops, ditopology and deadlocks.

Lisbeth Fajstrup

Math. Struct. Comput. Sci., 2000

Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint.

Lisbeth Fajstrup, Stefan Sokolowski

Proceedings of the 2nd Workshop on Geometry and Topology in Concurrency theory, 2000

1998

Detecting Deadlocks in Concurrent Systems.

Lisbeth Fajstrup, Eric Goubault, Martin Raußen

Proceedings of the CONCUR '98: Concurrency Theory, 1998