Detecting Deadlocks in Concurrent Systems. - Lisbeth Fajstrup; Eric Goubault; Martin Raußen (CONCUR, 1998)

Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. - Lisbeth Fajstrup; Stefan Sokolowski (GETCO, 2000)

Loops, ditopology and deadlocks. - Lisbeth Fajstrup (Math. Struct. Comput. Sci., 2000)

Components of the Fundamental Category. - Lisbeth Fajstrup; Martin Raußen; Eric Goubault; Emmanuel Haucourt (Appl. Categorical Struct., 2004)

Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again. - Lisbeth Fajstrup (Spatial Representation, 2005)

Dipaths and dihomotopies in a cubical complex. - Lisbeth Fajstrup (Adv. Appl. Math., 2005)

Cubical local partial orders on cubically subdivided spaces - Existence and construction. - Lisbeth Fajstrup (Theor. Comput. Sci., 2006)

Algebraic topology and concurrency. - Lisbeth Fajstrup; Martin Raußen; Eric Goubault (Theor. Comput. Sci., 2006)

Preface. - Lisbeth Fajstrup; Eric Goubault; Martin Raussen (GETCO, 2010)

Trace Spaces: An Efficient New Technique for State-Space Reduction. - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raußen (ESOP, 2012)

Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121). - Lisbeth Fajstrup; Dmitry Feichtner-Kozlov; Maurice Herlihy (Dagstuhl Reports, 2012)

Trace spaces of directed tori with rectangular holes. - Lisbeth Fajstrup (Math. Struct. Comput. Sci., 2014)

Directed Algebraic Topology and Concurrency - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raussen (Springer, 2016)

On the Hierarchy of d-structures. - Lisbeth Fajstrup; João Pita Costa (Order, 2017)

Combinatorial Conditions for Directed Collapsing. - Robin Belton; Robyn Brooks; Stefania Ebli; Lisbeth Fajstrup; Brittany Terese Fasy; Nicole Sanderson; Elizabeth Vidaurre (CoRR, 2021)

Cut-off theorems for the PV-model. - Lisbeth Fajstrup (Formal Methods Syst. Des., 2021)