Lisbeth Fajstrup

21 papers A 1B 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2021 J jnl
Combinatorial Conditions for Directed Collapsing.
CoRR
Robin Belton, Robyn Brooks, Stefania Ebli, Lisbeth Fajstrup, Brittany Terese Fasy, Nicole Sanderson, Elizabeth Vidaurre
2021 J jnl
Cut-off theorems for the PV-model.
Formal Methods Syst. Des.
Lisbeth Fajstrup
2018 J jnl
Cut-off Theorems for the PV-model.
CoRR
Lisbeth Fajstrup
2017 J jnl
On the Hierarchy of d-structures.
Order
Lisbeth Fajstrup, João Pita Costa
2016 — book
Directed Algebraic Topology and Concurrency
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2014 J jnl
Trace spaces of directed tori with rectangular holes.
Math. Struct. Comput. Sci.
Lisbeth Fajstrup
2012 J jnl
Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121).
Dagstuhl Reports
Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, Maurice Herlihy
2012 — ed.
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010
GETCO
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
2012 A conf
Trace Spaces: An Efficient New Technique for State-Space Reduction.
ESOP
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
2012 J jnl
Trace Spaces: an Efficient New Technique for State-Space Reduction
CoRR
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2010 — conf
Preface.
GETCO
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
2006 J jnl
Algebraic topology and concurrency.
Theor. Comput. Sci.
Lisbeth Fajstrup, Martin Raußen, Eric Goubault
2006 J jnl
Cubical local partial orders on cubically subdivided spaces - Existence and construction.
Theor. Comput. Sci.
Lisbeth Fajstrup
2005 — conf
Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again.
Spatial Representation
Lisbeth Fajstrup
2005 J jnl
Dipaths and dihomotopies in a cubical complex.
Adv. Appl. Math.
Lisbeth Fajstrup
2004 J jnl
Components of the Fundamental Category.
Appl. Categorical Struct.
Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt
2003 — ed.
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2002 — ed.
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2000 — conf
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint.
GETCO
Lisbeth Fajstrup, Stefan Sokolowski
2000 J jnl
Loops, ditopology and deadlocks.
Math. Struct. Comput. Sci.
Lisbeth Fajstrup
1998 B conf
Detecting Deadlocks in Concurrent Systems.
CONCUR
Lisbeth Fajstrup, Eric Goubault, Martin Raußen