Foto af Lisbeth Fajstrup

Lisbeth Fajstrup

Ph.D. i matematik fra Århus Universitet 1992

  • Skjernvej 4, A, 5-132

    9220 Aalborg Ø

    Danmark

19952019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1995 2019

Filter
Konferenceartikel i 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, Bind 2. s. 99-102 4 s. (Oberwolfach Reports; Nr. 1, Bind 14).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
2012
15 Citationer (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, Bind 7211. s. 274-294 21 s. (Lecture Notes in Computer Science, Bind 7211).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, s. 68-73 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). Germany, s. 1-3 (Dagstuhl Seminar Proceedings; Nr. 04351).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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, s. 135-140 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1998
51 Citationer (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.) (red.). 1466 udg. IEEE Computer Society Press, s. 332-347

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning