Lisbeth Fajstrup

Ph.D. i matematik fra Århus Universitet 1992

  • Skjernvej 4, A, 5-132

    9220 Aalborg Ø

    Denmark

19952019
If you made any changes in Pure these will be visible here soon.

Research Output 1995 2019

2019

An obstruction to contractibility of spaces of directed paths

Belton, R., Brooks, R., Ebli, S., Fajstrup, L., fasy, B. T., RAy, C., Sanderson, N. & Vidaurre, E., 4 Feb 2019, ArXiv, 16 p.

Research output: Working paperResearch

Open Access
2018

Cut-off Theorems for the PV-model

Fajstrup, L., 2018, ArXiv, 14 p.

Research output: Working paperResearch

Open Access
2017

Being a Female Mathematician in the 20th century seen through the eyes of four Danes

Fajstrup, L., Kjeldsen, T. H. & Gjerløff, A. K., 2017, Women in Mathematics: Historical and Modern Perspectives. European Mathematical Society Publishing House, Vol. 2. p. 99-102 4 p. (Oberwolfach Reports; No. 1, Vol. 14).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

On the Hierarchy of d-structures

Fajstrup, L. & Costa, J. P., 2017, In : Order: A Journal on the Theory of Ordered Sets and its Applications. 34, 1, p. 139-163 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2016

Algebraisk Topologi

Fajstrup, L., Nov 2016

Research output: Non-textual formSound/Visual production (digital)Education

Open Access
17 Citations (Scopus)

Directed Algebraic Topology and Concurrency

Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S. & Raussen, M. H., 2016, Springer. 167 p.

Research output: Book/ReportBookResearchpeer-review

2014
1 Citation (Scopus)

Trace spaces of directed tori with rectangular holes

Fajstrup, L., Apr 2014, In : Mathematical Structures in Computer Science. 24, 2, 23 p., e240202.

Research output: Contribution to journalJournal articleResearchpeer-review

Formal languages
Torus
Trace
Poset
Regular Languages
2012

Behøver rigtige drenge ikke at lave lektier?

Fajstrup, L. & Afzelius, N., 2012, In : MONA: Matematik og Naturfagsdidaktik. 2, p. 71-74 4 p.

Research output: Contribution to journalComment/debateCommunication

Ditipology: a short tutorial

Fajstrup, L., 2012, Report from Dagstuhl Seminar 12121: Applications of combinatorial topology to computer science. Fajstrup, L., Feichtner-Kozlov, D. & Herlihy, M. (eds.). 3 ed. Dagstuhl, Germany, Vol. 2. p. 56-57 2 p.

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearchpeer-review

15 Citations (Scopus)

Trace spaces: An efficient new technique for state-space reduction

Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S. & Raussen, M., 2012, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer, Vol. 7211. p. 274-294 21 p. (Lecture Notes in Computer Science, Vol. 7211).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Equivalence classes
Semantics
Flow graphs
Topology
2011

25 Year Anniversary of European Women in Mathematics

Fajstrup, L., Dec 2011, In : EMS Newsletter. 82, p. 8-9 2 p.

Research output: Contribution to journalJournal articleCommunication

Erratum to "Dicovering Spaces"

Fajstrup, L., 2011, In : Homology, Homotopy and Applications. 13, 1, p. 403-406 4 p.

Research output: Contribution to journalJournal articleResearchpeer-review

359 Downloads (Pure)

The lattice of d-structures

Fajstrup, L., Jan 2011, Department of Mathematical Sciences, Aalborg University. 12 p. (Research Report Series; No. R-2011-01).

Research output: Book/ReportReportResearch

File
Galois Connection
Locale
Space Form
Topological space
Homotopy
191 Downloads (Pure)

Trace spaces of directed tori with rectangular holes

Fajstrup, L., 2011, Department of Mathematical Sciences, Aalborg University. 12 p. (Research Report Series; No. R-2011-08).

Research output: Book/ReportReportResearch

File
Torus
Trace
Regular Languages
Simplicial Complex
Automata
2010
2 Citations (Scopus)

Classification of dicoverings

Fajstrup, L., 2010, In : Topology and Its Applications. 157, 15, p. 2402-2412 11 p.

Research output: Contribution to journalJournal articleResearchpeer-review

D-space
Interval
Congruence Relation
Universal Space
Topological space
2009
168 Downloads (Pure)

Classification of dicoverings

Fajstrup, L., 2009, Aalborg: Department of Mathematical Sciences, Aalborg University. 18 p. (Research Report Series; No. R-2009-13).

Research output: Book/ReportReportResearch

Open Access
File
D-space
Interval
Congruence Relation
Universal Space
Topological space

European Women in Mathematics: 14th General Meeting of the EWM, Novi Sad, Serbia, August 2009

Fajstrup, L., 2009, In : EMS Newsletter. 74, p. 9-10

Research output: Contribution to journalJournal articleCommunication

Matematikkens betydning undervurderes

Fajstrup, L., 2009, Lykkelig i Nørdland. Gyldendal

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

2008
16 Citations (Scopus)
157 Downloads (Pure)

A convenient category for directed homotopy

Fajstrup, L. & Rosický, J., 2008, In : Theory and Applications of Categories. 21, 1, p. 7-20 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Topological space
Homotopy
Regular hexahedron
140 Downloads (Pure)

On directed coverings

Fajstrup, L., 2008, Aalborg: Department of Mathematical Sciences, Aalborg University. 4 p. (Research Report Series; No. R-2008-21).

Research output: Book/ReportReportResearch

Open Access
File
2007
108 Downloads (Pure)

A convenient category for directed homotopy

Fajstrup, L. & Rosický, J., 2007, Department of Mathematical Sciences, Aalborg University. 14 p. (Research Report Series; No. R-2007-18).

Research output: Book/ReportReportResearch

Open Access
File
Topological space
Homotopy
Regular hexahedron

At eksperimentere med matematik

Fajstrup, L., 2007, Eksperimentel Matematik: en inspirationsbog til undervisning. Afzelius m.fl., N. M. (ed.). København: Matematiklærerforeningen, p. 43-46 4 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

Matematik i fjernsynet

Fajstrup, L., 2007, In : Aktuel Naturvidenskab. 3, p. 34-35 2 p.

Research output: Contribution to journalJournal articleCommunication

106 Downloads (Pure)

Numb3rs. Underholdning og inspiration til matematikundervisning

Fajstrup, L., 2007, In : LMFK-Bladet. 29, 1, p. 20-21 2 p.

Research output: Contribution to journalJournal articleCommunication

Open Access
File
2006
69 Citations (Scopus)

Algebraic topology and concurrency

Fajstrup, L., Raussen, M. & Goubault, E., 2006, In : Theoretical Computer Science. 357, 1-3, p. 241-278 38 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Algebraic topology
Elastic deformation
Concurrency
Homotopy
Semantics
1 Citation (Scopus)

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

Fajstrup, L., 2006, In : Theoretical Computer Science. 365, 3, p. 199-205 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Partial Order
Subdivision
Topological space
Automata
High-dimensional

Dicoverings as quotients

Fajstrup, L., 2006, The Royal Swedish Academy of Sciences. 14 p. (Reports of Institut Mittag-Leffler; No. 37, Vol. 2005/2006).

Research output: Book/ReportReportResearch

Quotient
Covering
Algebraic topology
Topological space
Homotopy
88 Downloads (Pure)

Dicoverings as quotients

Fajstrup, L., 2006, Aalborg: Department of Mathematical Sciences, Aalborg University. 14 p. (Research Report Series; No. R-2006-30).

Research output: Book/ReportReportResearch

Open Access
File
Quotient
Covering
Topological space
Homotopy
Homology

Numb3rs - matematik i fjernsynet

Fajstrup, L., 2006, In : Matilde. 29, p. 22 1 p.

Research output: Contribution to journalJournal articleCommunication

Rundkredspædagogik: eller når matematik er andet end at regne stykker

Keiding, T. B., Højgaard, B. & Fajstrup, L., 11 May 2006, In : Gymnasieskolen. 89, 9, p. 24-27 4 p.

Research output: Contribution to journalJournal articleCommunication

2005

Cubical complexes in concurrency theory, discrete and continuous models for directed lifting problems

Fajstrup, L., 2005, Conference on Pure and Applied Topology, 2005. Aberdeen Topology Centre, Univeristy of Aberdeen, p. 68-73 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Cubical Complex
Concurrency
Automata
Figure
Cubical Set

Dihomotopy classes of dipaths in the geometric realization of a cubical set: from discrete to continuous and back again

Fajstrup, L., 2005, Spatial Representation: Discrete vs. Continuous Computational Models. Kopperman, R., Smyth, M. B., Spreen, D. & Webster, J. (eds.). Germany, p. 1-3 (Dagstuhl Seminar Proceedings; No. 04351).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Cubical Set
Cubical Complex
Ordered Space
Algebraic topology
Geometric Model
25 Citations (Scopus)

Dipaths and dihomotopies in a cubical complex

Fajstrup, L., 2005, In : Advances in Applied Mathematics. 35, 2, p. 188-206

Research output: Contribution to journalJournal articleResearchpeer-review

Cubical Complex
Vertex of a graph
Skeleton
Homotopy
Classify
2004
35 Citations (Scopus)

Components of the fundamental category

Fajstrup, L., Raussen, M., Goubault, E. & Haucourt, E., 2004, In : Applied Categorical Structures. 12, 1, p. 81-108

Research output: Contribution to journalJournal articleResearchpeer-review

229 Downloads (Pure)

Cubical local partial orders on cubically subdivided spaces - existence and construction

Fajstrup, L., 2004, Aalborg: Department of Mathematical Sciences, Aalborg University. 8 p. (Research Report Series; No. R-2004-31).

Research output: Book/ReportReportResearch

Open Access
File
Partial Order
Subdivision
Topological space
N-cube
Geometric Model
2003

Components of the fundamental category

Fajstrup, L., Goubault, É., Haucourt, E. & Raussen, M., 2003, Dept. of Mathematical Sciences: Aalborg Universitetsforlag. 25 p. (Research Report Series; No. R-2003-02).

Research output: Book/ReportReportResearch

97 Downloads (Pure)

Dicovering spaces

Fajstrup, L., 2003, In : Homology, Homotopy and Applications. 5, 2, p. 1-17

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Dipaths and dihomotopies in a cubical complex

Fajstrup, L., 2003, Dept. of Mathematical Sciences: Aalborg Universitetsforlag. 15 p. (Research Report Series; No. R-2003-22).

Research output: Book/ReportReportResearch

2001

Dicovering spaces

Fajstrup, L., 2001, Aalborg: Aalborg Universitetsforlag. (Research Report Series; No. R-01-2023).

Research output: Book/ReportReportResearch

Kirsten Paludan: Videnskaben, Verden og Vi. Om naturvidenskab og hverdagstænkning, Aarhus Universitetsforlag

Fajstrup, L., 2001, In : Matilde. 9, p. 28-29

Research output: Contribution to journalJournal articleCommunication

Sommerskoler som mentoring

Fajstrup, L. & Friedman, C. W. T., 2001, In : Matilde. 9, p. 12-13

Research output: Contribution to journalJournal articleResearch

Visual Interactive DIfferential GEOmetry - VIDIGEO - Developing a geometry learning environment at the university level

Fajstrup, L. & Raussen, M., 2001, Aalborg: Aalborg Universitetsforlag. (Papers from DCN : Dansk Center for Naturvidenskabsdidaktik, DCN; No. 14).

Research output: Book/ReportReportCommunication

2000

Geometry and topology in concurrent computing

Fajstrup, L., 2000, EUROPEAN WOMEN IN MATHEMATICS. Hindawi Publishing Corporation, p. 135-140 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Infinitely running concurrent processes with loops from a geometric viewpoint

Fajstrup, L. & Solokowski, S., 2000, In : Electronical notes in theoretical computer science. 39, 2

Research output: Contribution to journalJournal articleResearchpeer-review

Infinitely running concurrent processes with loops from a geometric viewpoint

Fajstrup, L. & Sokolowski, S., 2000, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-00-3).

Research output: Book/ReportReportResearch

11 Citations (Scopus)

Loops, ditopology and deadlocks

Fajstrup, L., 2000, In : Mathematical Structures in Computer Science. 10, p. 459-480

Research output: Contribution to journalJournal articleResearchpeer-review

1999

Algebraic topology and concurrency

Fajstrup, L., Goubault, E. & Raussen, M., 1999, Aalborg: Aalborg Universitetsforlag. (Research Report Series; No. R-99-2008).

Research output: Book/ReportReportResearch

Loops, ditopology and deadlocks

Fajstrup, L., 1999, Aalborg: Aalborg Universitetsforlag. (Research Report Series; No. R-99-2023).

Research output: Book/ReportReportResearch

1998
2 Citations (Scopus)

A Z/2 descent theorem for the algebraic K-theory of a semisimple real algebra

Fajstrup, L., 1998, In : K - Theory. 14, p. 43-77

Research output: Contribution to journalJournal articleResearchpeer-review