Martin Raußen Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLisbeth Fajstrup, Martin Raußen, Eric Goubault: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1-3): 241-278 (2006)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Raußen: Deadlocks and dihomotopy in mutual exclusion models. Theor. Comput. Sci. 365(3): 247-257 (2006)
2004
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category. Applied Categorical Structures 12(1): 81-108 (2004)
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Goubault, Martin Raußen: Dihomotopy as a Tool in State Space Analysis. LATIN 2002: 16-37
2000
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Raußen: On the classification of dipaths in geometric models for concurrency. Mathematical Structures in Computer Science 10(4): 427-457 (2000)
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLisbeth Fajstrup, Eric Goubault, Martin Raußen: Detecting Deadlocks in Concurrent Systems. CONCUR 1998: 332-347

Coauthor Index

1Lisbeth Fajstrup [1] [4] [6]
2Eric Goubault [1] [3] [4] [6]
3Emmanuel Haucourt [4]

Copyright © Wed Dec 9 16:00:12 2009 by Michael Ley (ley@uni-trier.de)