Lisbeth Fajstrup

  1. 2012
  2. Udgivet

    Trace spaces: An efficient new technique for state-space reduction. / Fajstrup, Lisbeth ; Goubault, Eric ; Haucourt, Emmanuel ; Mimram, Samuel ; Raussen, Martin.

    I: Lecture Notes in Computer Science. Springer, 2012. s. 274-294 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  3. 2011
  4. Udgivet

    The lattice of d-structures. / Fajstrup, Lisbeth.

    Department of Mathematical Sciences, Aalborg University, 2011. 12 s. (Research Report Series; R-2011-01).

    Publikation: ForskningRapport

  5. Udgivet

    25 Year Anniversary of European Women in Mathematics. / Fajstrup, Lisbeth.

    I: European Mathematical Society. Newsletter, Nr. 82, 12.2011, s. 8-9.

    Publikation: FormidlingTidsskriftartikel

  6. Udgivet

    Erratum to "Dicovering Spaces". / Fajstrup, Lisbeth.

    I: Homology, Homotopy and Applications, Vol. 13, Nr. 1, 2011, s. 403-406.

    Publikation: Forskning - peer reviewTidsskriftartikel

  7. Udgivet

    Trace spaces of directed tori with rectangular holes. / Fajstrup, Lisbeth.

    Department of Mathematical Sciences, Aalborg University, 2011. 12 s. (Research Report Series; R-2011-08).

    Publikation: ForskningRapport

  8. 2010
  9. Udgivet

    Classification of dicoverings. / Fajstrup, Lisbeth.

    I: Topology and Its Applications, Vol. 157, Nr. 15, 2010, s. 2402-2412.

    Publikation: Forskning - peer reviewTidsskriftartikel

  10. 2009
  11. Udgivet

    Classification of dicoverings. / Fajstrup, Lisbeth.

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

    Publikation: ForskningRapport

  12. Udgivet
  13. Udgivet

    Matematikkens betydning undervurderes. / Fajstrup, Lisbeth.

    I: Lykkelig i Nørdland. Gyldendal, 2009.

    Publikation: FormidlingBidrag til bog/antologi

  14. 2008
  15. Udgivet

    A convenient category for directed homotopy. / Fajstrup, Lisbeth ; Rosický, J..

    I: Theory and Applications of Categories, Vol. 21, Nr. 1, 2008, s. 7-20.

    Publikation: Forskning - peer reviewTidsskriftartikel

  16. Udgivet

    On directed coverings. / Fajstrup, Lisbeth.

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

    Publikation: ForskningRapport

  17. 2007
  18. Udgivet

    A convenient category for directed homotopy. / Fajstrup, Lisbeth ; Rosický, J..

    Department of Mathematical Sciences, Aalborg University, 2007. 14 s. (Research Report Series; R-2007-18).

    Publikation: ForskningRapport

  19. Udgivet

    At eksperimentere med matematik. / Fajstrup, Lisbeth.

    I: Eksperimentel Matematik: en inspirationsbog til undervisning. red. / Nynne Marie Afzelius m.fl.. København : Matematiklærerforeningen, 2007. s. 43-46.

    Publikation: FormidlingBidrag til bog/antologi

  20. Udgivet

    Matematik i fjernsynet. / Fajstrup, Lisbeth.

    I: Aktuel Naturvidenskab, Nr. 3, 2007, s. 34-35.

    Publikation: FormidlingTidsskriftartikel

  21. Udgivet

    Numb3rs. Underholdning og inspiration til matematikundervisning. / Fajstrup, Lisbeth.

    I: LMFK-Bladet, Vol. 29, Nr. 1, 2007, s. 20-21.

    Publikation: FormidlingTidsskriftartikel

  22. 2006
  23. Udgivet
  24. Udgivet

    Algebraic topology and concurrency. / Fajstrup, Lisbeth ; Raussen, Martin ; Goubault, Eric.

    I: Theoretical Computer Science, Vol. 357, Nr. 1-3, 2006, s. 241-278.

    Publikation: Forskning - peer reviewTidsskriftartikel

  25. Udgivet

    Cubical local partial orders on cubically subdivided spaces - Existence and construction. / Fajstrup, Lisbeth.

    I: Theoretical Computer Science, Vol. 365, Nr. 3, 2006, s. 199-205.

    Publikation: Forskning - peer reviewTidsskriftartikel

  26. Udgivet

    Dicoverings as quotients. / Fajstrup, Lisbeth.

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

    Publikation: ForskningRapport

  27. Udgivet

    Dicoverings as quotients. / Fajstrup, Lisbeth.

    The Royal Swedish Academy of Sciences, 2006. 14 s. (Reports of Institut Mittag-Leffler; 37).

    Publikation: ForskningRapport

  28. Udgivet

    Numb3rs - matematik i fjernsynet. / Fajstrup, Lisbeth.

    I: Matilde, Nr. 29, 2006, s. 22.

    Publikation: FormidlingTidsskriftartikel

  29. 2005
  30. Udgivet

    Cubical complexes in concurrency theory, discrete and continuous models for directed lifting problems. / Fajstrup, Lisbeth.

    I: Conference on Pure and Applied Topology, 2005. Aberdeen Topology Centre, Univeristy of Aberdeen, 2005. s. 68-73.

    Publikation: ForskningKonferenceartikel i proceeding

  31. Udgivet

    Dihomotopy classes of dipaths in the geometric realization of a cubical set: from discrete to continuous and back again. / Fajstrup, Lisbeth.

    I: Spatial Representation: Discrete vs. Continuous Computational Models. red. / Ralph Kopperman ; Michael B. Smyth ; Dieter Spreen ; Julian Webster. Germany, 2005. s. 1-3 (Dagstuhl Seminar Proceedings; 04351).

    Publikation: ForskningKonferenceartikel i proceeding

  32. Udgivet

    Dipaths and dihomotopies in a cubical complex. / Fajstrup, Lisbeth.

    I: Advances in Applied Mathematics, Vol. 35, Nr. 2, 2005, s. 188-206.

    Publikation: Forskning - peer reviewTidsskriftartikel

  33. 2004
  34. Udgivet

    Components of the fundamental category. / Fajstrup, Lisbeth ; Raussen, Martin ; Goubault, E. ; Haucourt, E..

    I: Applied Categorical Structures, Vol. 12, Nr. 1, 2004, s. 81-108.

    Publikation: Forskning - peer reviewTidsskriftartikel

  35. Udgivet

    Cubical local partial orders on cubically subdivided spaces - existence and construction. / Fajstrup, Lisbeth.

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

    Publikation: ForskningRapport

  36. 2003
  37. Udgivet

    Components of the fundamental category. / Fajstrup, Lisbeth ; Goubault, Éric ; Haucourt, Emmanuel ; Raussen, Martin.

    Dept. of Mathematical Sciences : Aalborg Universitetsforlag, 2003. 25 s. (Research Report Series; R-2003-02).

    Publikation: ForskningRapport

  38. Udgivet

    Dicovering spaces. / Fajstrup, Lisbeth.

    I: Homology, Homotopy and Applications, Vol. 5, Nr. 2, 2003, s. 1-17.

    Publikation: Forskning - peer reviewTidsskriftartikel

  39. Udgivet

    Dipaths and dihomotopies in a cubical complex. / Fajstrup, Lisbeth.

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

    Publikation: ForskningRapport

  40. 2001
  41. Udgivet

    Dicovering spaces. / Fajstrup, Lisbeth.

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

    Publikation: ForskningRapport

  42. Udgivet
  43. Udgivet

    Sommerskoler som mentoring. / Fajstrup, Lisbeth ; Friedman, Christina W. T..

    I: Matilde, Nr. 9, 2001, s. 12-13.

    Publikation: ForskningTidsskriftartikel

  44. Udgivet

    Visual Interactive DIfferential GEOmetry - VIDIGEO - Developing a geometry learning environment at the university level. / Fajstrup, Lisbeth ; Raussen, Martin.

    Aalborg : Aalborg Universitetsforlag, 2001. (Papers from DCN : Dansk Center for Naturvidenskabsdidaktik, DCN; 14).

    Publikation: FormidlingRapport

  45. 2000
  46. Udgivet

    Geometry and topology in concurrent computing. / Fajstrup, Lisbeth.

    I: EUROPEAN WOMEN IN MATHEMATICS. Hindawi Publishing Corporation, 2000. s. 135-140.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  47. Udgivet

    Infinitely running concurrent processes with loops from a geometric viewpoint. / Fajstrup, Lisbeth ; Solokowski, Stefan.

    I: Electronical Notes in Theoretical Computer Science, Vol. 39, Nr. 2, 2000.

    Publikation: Forskning - peer reviewTidsskriftartikel

  48. Udgivet

    Infinitely running concurrent processes with loops from a geometric viewpoint. / Fajstrup, Lisbeth ; Sokolowski, Stefan.

    Århus : Department of Computer Science, Aarhus University, 2000. (Brics Notes Series; NS-00-3).

    Publikation: ForskningRapport

  49. Udgivet

    Loops, ditopology and deadlocks. / Fajstrup, Lisbeth.

    I: Mathematical Structures in Computer Science, Vol. 10, 2000, s. 459-480.

    Publikation: Forskning - peer reviewTidsskriftartikel

  50. 1999
  51. Udgivet

    Algebraic topology and concurrency. / Fajstrup, Lisbeth ; Goubault, Eric ; Raussen, Martin.

    Aalborg : Aalborg Universitetsforlag, 1999. (Research Report Series; R-99-2008).

    Publikation: ForskningRapport

  52. Udgivet

    Loops, ditopology and deadlocks. / Fajstrup, Lisbeth.

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

    Publikation: ForskningRapport

  53. 1998
  54. Udgivet

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

    I: K - Theory, Vol. 14, 1998, s. 43-77.

    Publikation: Forskning - peer reviewTidsskriftartikel

  55. Udgivet

    Detecting deadlocks in concurrent systems. / Fajstrup, Lisbeth ; Goubault, Eric ; Raussen, Martin.

    Saclay, France : LETI (CEA-Technologies Avancées), 1998. (Rapport DTA/LETI/DEIN/SLA/98-61).

    Publikation: ForskningRapport

  56. Udgivet

    Detecting deadlocks in concurrent systems. / Fajstrup, Lisbeth ; Goubault, Eric ; Raussen, Martin.

    I: CONCUR '98 - Concurrency Theory : 9th International Conference, Nice, France, September 8-11,1998 : Proceedings: Lecture Notes in Computer Science. red. / Sangiorgi, D. : Simone R. de (eds.). 1466. udg. IEEE Computer Society Press, 1998. s. 332-347.

    Publikation: ForskningKonferenceartikel i proceeding

  57. 1996
  58. Udgivet

    Algebraic topology in scheduling problems. / Fajstrup, Lisbeth ; Raussen, Martin.

    Aalborg : Aalborg Universitetsforlag, 1996. (Research Report Series; R-96-2013).

    Publikation: ForskningRapport

  59. Udgivet

    Calculation of the Tate cohomology of z/p-equivariant periodic Real k-theory when p is prime. / Fajstrup, Lisbeth.

    Aalborg : Aalborg Universitetsforlag, 1996. (Research Report Series; R-96-2003).

    Publikation: ForskningRapport

  60. Udgivet

    Detecting deadlocks in concurrent systems. / Fajstrup, Lisbeth ; Raussen, Martin.

    Århus : Department of Computer Science, Aarhus University, 1996. (BRICS Report Series; RS-96-16).

    Publikation: ForskningRapport

  61. Udgivet

    Gender and mathematics education in Denmark. / Branner, Bodil ; Fajstrup, Lisbeth ; Kock, Hanne.

    I: Towards gender equity in mathematics education. red. / Hanna, Gila. Dortrecht, The Netherlands : Kluwer Academic Publishers, 1996. s. 139-154 (New ICMI Studies Series; 3).

    Publikation: ForskningBidrag til bog/antologi

  62. Udgivet

    Periodic equivariant Real K-theories have rational Tate theory. / Fajstrup, Lisbeth.

    I: Manuscripta Mathematica, Vol. 91, 1996, s. 211-221.

    Publikation: Forskning - peer reviewTidsskriftartikel

  63. Udgivet

    Tate cohomology of g-equivariant periodic k-theory is rational when g has odd order. / Fajstrup, Lisbeth.

    Aalborg : Aalborg Universitetsforlag, 1996. (Research Report Series; R-96-2002).

    Publikation: ForskningRapport

  64. Udgivet

    The connected components of a Gauge group. / Fajstrup, Lisbeth.

    Aalborg : Aalborg Universitetsforlag, 1996. (Research Report Series; R-96-2007).

    Publikation: ForskningRapport

  65. 1995
  66. Udgivet

    Tate cohomology of periodic k-theory with reality is trivial. / Fajstrup, Lisbeth.

    I: Transactions of the American Mathematical Society, Vol. 347, Nr. 5, 1995, s. 1841-1846.

    Publikation: Forskning - peer reviewTidsskriftartikel