Lisbeth Fajstrup
- 2012
- 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 review › Bidrag til bog/antologi
- 2011
- Udgivet
The lattice of d-structures. / Fajstrup, Lisbeth.
Department of Mathematical Sciences, Aalborg University, 2011. 12 s. (Research Report Series; R-2011-01).Publikation: Forskning › Rapport
- Udgivet
25 Year Anniversary of European Women in Mathematics. / Fajstrup, Lisbeth.
I: European Mathematical Society. Newsletter, Nr. 82, 12.2011, s. 8-9.Publikation: Formidling › Tidsskriftartikel
- Udgivet
Erratum to "Dicovering Spaces". / Fajstrup, Lisbeth.
I: Homology, Homotopy and Applications, Vol. 13, Nr. 1, 2011, s. 403-406.Publikation: Forskning - peer review › Tidsskriftartikel
- 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: Forskning › Rapport
- 2010
- Udgivet
Classification of dicoverings. / Fajstrup, Lisbeth.
I: Topology and Its Applications, Vol. 157, Nr. 15, 2010, s. 2402-2412.Publikation: Forskning - peer review › Tidsskriftartikel
- 2009
- Udgivet
Classification of dicoverings. / Fajstrup, Lisbeth.
Aalborg : Department of Mathematical Sciences, Aalborg University, 2009. 18 s. (Research Report Series; R-2009-13).Publikation: Forskning › Rapport
- Udgivet
European Women in Mathematics : 14th General Meeting of the EWM, Novi Sad, Serbia, August 2009. / Fajstrup, Lisbeth.
I: European Mathematical Society. Newsletter, Nr. 74, 2009, s. 9-10.Publikation: Formidling › Tidsskriftartikel
- Udgivet
Matematikkens betydning undervurderes. / Fajstrup, Lisbeth.
I: Lykkelig i Nørdland. Gyldendal, 2009.Publikation: Formidling › Bidrag til bog/antologi
- 2008
- 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 review › Tidsskriftartikel
- Udgivet
On directed coverings. / Fajstrup, Lisbeth.
Aalborg : Department of Mathematical Sciences, Aalborg University, 2008. 4 s. (Research Report Series; R-2008-21).Publikation: Forskning › Rapport
- 2007
- 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: Forskning › Rapport
- 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: Formidling › Bidrag til bog/antologi
- Udgivet
Matematik i fjernsynet. / Fajstrup, Lisbeth.
I: Aktuel Naturvidenskab, Nr. 3, 2007, s. 34-35.Publikation: Formidling › Tidsskriftartikel
- Udgivet
Numb3rs. Underholdning og inspiration til matematikundervisning. / Fajstrup, Lisbeth.
I: LMFK-Bladet, Vol. 29, Nr. 1, 2007, s. 20-21.Publikation: Formidling › Tidsskriftartikel
- 2006
- Udgivet
Rundkredspædagogik : eller når matematik er andet end at regne stykker. / Keiding, Tina Bering ; Højgaard, Bjarne ; Fajstrup, Lisbeth.
I: Gymnasieskolen, Vol. 89, Nr. 9, 11.05.2006, s. 24-27.Publikation: Formidling › Tidsskriftartikel
- 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 review › Tidsskriftartikel
- 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 review › Tidsskriftartikel
- Udgivet
Dicoverings as quotients. / Fajstrup, Lisbeth.
Aalborg : Department of Mathematical Sciences, Aalborg University, 2006. 14 s. (Research Report Series; R-2006-30).Publikation: Forskning › Rapport
- Udgivet
Dicoverings as quotients. / Fajstrup, Lisbeth.
The Royal Swedish Academy of Sciences, 2006. 14 s. (Reports of Institut Mittag-Leffler; 37).Publikation: Forskning › Rapport
- Udgivet
Numb3rs - matematik i fjernsynet. / Fajstrup, Lisbeth.
I: Matilde, Nr. 29, 2006, s. 22.Publikation: Formidling › Tidsskriftartikel
- 2005
- 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: Forskning › Konferenceartikel i proceeding
- 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: Forskning › Konferenceartikel i proceeding
- 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 review › Tidsskriftartikel
- 2004
- 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 review › Tidsskriftartikel
- 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: Forskning › Rapport
- 2003
- 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: Forskning › Rapport
- Udgivet
Dicovering spaces. / Fajstrup, Lisbeth.
I: Homology, Homotopy and Applications, Vol. 5, Nr. 2, 2003, s. 1-17.Publikation: Forskning - peer review › Tidsskriftartikel
- 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: Forskning › Rapport
- 2001
- Udgivet
Dicovering spaces. / Fajstrup, Lisbeth.
Aalborg : Aalborg Universitetsforlag, 2001. (Research Report Series; R-01-2023).Publikation: Forskning › Rapport
- Udgivet
Kirsten Paludan: Videnskaben, Verden og Vi. Om naturvidenskab og hverdagstænkning, Aarhus Universitetsforlag. / Fajstrup, Lisbeth.
I: Matilde, Nr. 9, 2001, s. 28-29.Publikation: Formidling › Tidsskriftartikel
- Udgivet
Sommerskoler som mentoring. / Fajstrup, Lisbeth ; Friedman, Christina W. T..
I: Matilde, Nr. 9, 2001, s. 12-13.Publikation: Forskning › Tidsskriftartikel
- 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: Formidling › Rapport
- 2000
- Udgivet
Geometry and topology in concurrent computing. / Fajstrup, Lisbeth.
I: EUROPEAN WOMEN IN MATHEMATICS. Hindawi Publishing Corporation, 2000. s. 135-140.Publikation: Forskning - peer review › Konferenceartikel i proceeding
- 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 review › Tidsskriftartikel
- 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: Forskning › Rapport
- Udgivet
Loops, ditopology and deadlocks. / Fajstrup, Lisbeth.
I: Mathematical Structures in Computer Science, Vol. 10, 2000, s. 459-480.Publikation: Forskning - peer review › Tidsskriftartikel
- 1999
- Udgivet
Algebraic topology and concurrency. / Fajstrup, Lisbeth ; Goubault, Eric ; Raussen, Martin.
Aalborg : Aalborg Universitetsforlag, 1999. (Research Report Series; R-99-2008).Publikation: Forskning › Rapport
- Udgivet
Loops, ditopology and deadlocks. / Fajstrup, Lisbeth.
Aalborg : Aalborg Universitetsforlag, 1999. (Research Report Series; R-99-2023).Publikation: Forskning › Rapport
- 1998
- 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 review › Tidsskriftartikel
- 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: Forskning › Rapport
- 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: Forskning › Konferenceartikel i proceeding
- 1996
- Udgivet
Algebraic topology in scheduling problems. / Fajstrup, Lisbeth ; Raussen, Martin.
Aalborg : Aalborg Universitetsforlag, 1996. (Research Report Series; R-96-2013).Publikation: Forskning › Rapport
- 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: Forskning › Rapport
- 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: Forskning › Rapport
- 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: Forskning › Bidrag til bog/antologi
- Udgivet
Periodic equivariant Real K-theories have rational Tate theory. / Fajstrup, Lisbeth.
I: Manuscripta Mathematica, Vol. 91, 1996, s. 211-221.Publikation: Forskning - peer review › Tidsskriftartikel
- 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: Forskning › Rapport
- Udgivet
The connected components of a Gauge group. / Fajstrup, Lisbeth.
Aalborg : Aalborg Universitetsforlag, 1996. (Research Report Series; R-96-2007).Publikation: Forskning › Rapport
- 1995
- 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 review › Tidsskriftartikel