Algebraic topology and concurrency L Fajstrup, M Raußen, E Goubault Theoretical Computer Science 357 (1-3), 241-278, 2006 | 181 | 2006 |
Directed algebraic topology and concurrency L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen Springer International Publishing, 2016 | 124 | 2016 |
Detecting deadlocks in concurrent systems L Fajstrup, E Goubault, M Raußen International Conference on Concurrency Theory, 332-347, 1998 | 120 | 1998 |
A convenient category for directed homotopy L Fajstrup, J Rosický Theory and applications of categories 21 (1), 7-20, 2008 | 80 | 2008 |
Components of the fundamental category L Fajstrup, M Raußen, E Goubault, E Haucourt Applied Categorical Structures 12, 81-108, 2004 | 69 | 2004 |
Revealing hidden medium-range order in amorphous materials using topological data analysis SS Sørensen, CAN Biscio, M Bauchy, L Fajstrup, MM Smedskjaer Science Advances 6 (37), eabc2320, 2020 | 64 | 2020 |
Dipaths and dihomotopies in a cubical complex L Fajstrup Advances in Applied Mathematics 35 (2), 188-206, 2005 | 63 | 2005 |
Algebraic topology and concurrency L Fajstrup, E Goubault, M Raussen Theoretical Computer Science, 1998 | 46 | 1998 |
Dicovering spaces L Fajstrup Homology, Homotopy and Applications 5 (2), 1-17, 2003 | 44 | 2003 |
Trace spaces: An efficient new technique for state-space reduction L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen European Symposium on Programming, 274-294, 2012 | 33 | 2012 |
Loops, ditopology and deadlocks L Fajstrup Mathematical Structures in Computer Science 10 (4), 459-480, 2000 | 28 | 2000 |
Infinitely running concurrent processes with loops from a geometric viewpoint L Fajstrup, S Sokolowski Electronic Notes in Theoretical Computer Science 39 (2), 1-19, 2000 | 18 | 2000 |
Hypersensitivity of the Glass Transition to Pressure History in a Metal–Organic Framework Glass A Qiao, SS Sørensen, M Stepniewska, CAN Biscio, L Fajstrup, Z Wang, ... Chemistry of Materials 34 (11), 5030-5038, 2022 | 16 | 2022 |
Algebraic topology and concurrency. submitted to Theoretical Computer Science L Fajstrup, E Goubault, M Raussen also technical report, Aalborg University, 1999 | 16 | 1999 |
Persistent homology: A tool to understand medium-range order glass structure SS Sørensen, T Du, CAN Biscio, L Fajstrup, MM Smedskjaer Journal of Non-Crystalline Solids: X 16, 100123, 2022 | 13 | 2022 |
Infinitely running processes with loops from a geometric view-point L Fajstrup, S Sokolowski ENTCS, Proceedings of GETCO’00, 2000 | 9 | 2000 |
Tate cohomology of periodic 𝐾-theory with reality is trivial L Fajstrup Transactions of the American Mathematical Society 347 (5), 1841-1846, 1995 | 9 | 1995 |
Trace spaces of directed tori with rectangular holes L Fajstrup Mathematical Structures in Computer Science 24 (2), 2014 | 8 | 2014 |
Irradiation-induced toughening of calcium aluminoborosilicate glasses X Ren, T Du, H Peng, LR Jensen, CAN Biscio, L Fajstrup, M Bauchy, ... Materials Today Communications 31, 103649, 2022 | 7 | 2022 |
Erratum to'Dicovering spaces' L Fajstrup Homology, Homotopy and Applications 13 (1), 403-406, 2011 | 5 | 2011 |