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

Filter
Article in proceeding
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
2012
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
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
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

1998
51 Citations (Scopus)

Detecting deadlocks in concurrent systems

Fajstrup, L., Goubault, E. & Raussen, M., 1998, CONCUR '98 - Concurrency Theory : 9th International Conference, Nice, France, September 8-11,1998 : Proceedings: Lecture Notes in Computer Science. Sangiorgi, D. : Simone R. de (eds.) (ed.). 1466 ed. IEEE Computer Society Press, p. 332-347

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