Algebraic topology and concurrency L Fajstrup, M Raußen, E Goubault Theoretical Computer Science 357 (1-3), 241-278, 2006 | 224* | 2006 |
Directed algebraic topology and concurrency L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen Springer, 2016 | 134 | 2016 |
Detecting deadlocks in concurrent systems L Fajstrup, E Goubault, M Raußen International Conference on Concurrency Theory, 332-347, 1998 | 123 | 1998 |
Components of the fundamental category L Fajstrup, M Raußen, E Goubault, E Haucourt Applied Categorical Structures 12, 81-108, 2004 | 71 | 2004 |
Dihomotopy as a tool in state space analysis tutorial E Goubault, M Raussen LATIN 2002: Theoretical Informatics: 5th Latin American Symposium Cancun …, 2002 | 68 | 2002 |
Rational homotopy of spaces of maps into spheres and complex projective spaces JM Møller, M Raussen Transactions of the American Mathematical Society, 721-732, 1985 | 40 | 1985 |
Reparametrizations of continuous paths. U Fahrenberg, M Raussen Journal of Homotopy and Related structures 2 (2), 93-117, 2007 | 39 | 2007 |
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 | 34 | 2012 |
Trace spaces in a pre-cubical complex M Raussen Topology and its Applications 156 (9), 1718-1728, 2009 | 33 | 2009 |
On the classification of dipaths in geometric models for concurrency M Raussen Mathematical Structures in Computer Science 10 (4), 427-457, 2000 | 33 | 2000 |
Invariants of directed spaces M Raussen Applied Categorical Structures 15, 355-386, 2007 | 32 | 2007 |
Simplicial models of trace spaces M Raussen Algebraic & Geometric Topology 10 (3), 1683-1714, 2010 | 31 | 2010 |
Interview with Mikhail Gromov M Raussen, C Skau Notices of the AMS 57 (3), 391-403, 2010 | 28 | 2010 |
Simplicial models for trace spaces II: General higher dimensional automata M Raussen Algebraic & Geometric Topology 12 (3), 1741-1761, 2012 | 24 | 2012 |
State spaces and dipaths up to dihomotopy M Raussen | 24 | 2003 |
Elementary differential geometry: curves and surfaces M Raussen Aalborg University, Denmark, 2008 | 23 | 2008 |
Interview with Michael Atiyah and Isadore Singer M Raussen, C Skau Matilde, 16-24, 2004 | 21 | 2004 |
Interview with Jean-Pierre Serre M Raussen, C Skau Notices of AMS 51 (2), 210-214, 2004 | 19 | 2004 |
Homology of spaces of directed paths on Euclidean cubical complexes M Raussen, K Ziemiański Journal of Homotopy and Related Structures 9 (1), 67-84, 2014 | 18 | 2014 |
Algebraic topology and concurrency. submitted to Theoretical Computer Science L Fajstrup, E Goubault, M Raussen also technical report, Aalborg University, 1999 | 16 | 1999 |