91 results on '"Raußen, Martin"'
Search Results
2. Pair component categories for directed spaces
3. Homology of spaces of directed paths on Euclidean cubical complexes
4. Trace spaces in a pre-cubical complex
5. Rational Homotopy of Spaces of Maps Into Spheres and Complex Projective Spaces
6. Circle Actions on Rational Homology Manifolds and Deformations of Rational Homotopy Types
7. Execution spaces for simple higher dimensional automata
8. Invariants of Directed Spaces
9. Geometric analysis of nondeterminacy in dynamical systems: Towards a geometric analysis of concurrent systems
10. Deadlocks and dihomotopy in mutual exclusion models
11. Algebraic topology and concurrency
12. Cyclic group actions on manifolds from deformations of rational homotopy types
13. Inessential directed maps and directed homotopy equivalences.
14. Pair component categories for directed spaces
15. Strictifying and taming directed paths in Higher Dimensional Automata.
16. Interview with Abel Laureate Sir Andrew J. Wiles
17. Interview with Yakov Sinai Abel Laureate 2014
18. Interview with Louis Nireberg
19. Interview with Abel Laureate Louis Nirenberg
20. Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
21. Contributions to Directed Algebraic Topology:with inspirations from concurrency theory
22. Hurewicz isomorphism and Whitehead theorems in pro-categories
23. Homology of spaces of directed paths on Euclidian cubical complexes
24. Spaces of executions as simplicial complexes
25. Preface:Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO) 2010
26. Directed algebraic topology:with an eye to concurrency theory
27. Book reviews on www.euro-math-soc.eu
28. Simplicial models for trace spaces II: General higher dimensional automata
29. Execution spaces for simple higher dimensional automata
30. An interview with Beno Eckmann
31. Simplicial models for trace spaces
32. Book Review: Invitation to Topological Robotics by Michael Farber
33. Editorial
34. Trace spaces in a pre-cubical complex
35. BackMatter.
36. Directed Topological Models of Concurrency.
37. The Category of Components.
38. Algorithmics on Directed Spaces.
39. Path Spaces.
40. Introduction.
41. Truly Concurrent Models of Programs with Resources.
42. A Toy Language for Concurrency.
43. FrontMatter.
44. Reparametrizations of continuous paths
45. Interview with Abel Laureate Sir Andrew J. Wiles.
46. Editorial
47. Interview with Michael Atiyah and Isadore Singer
48. Components of the fundamental category
49. I hope we shall continue:an interview with Jean-Pierre Serre
50. Components of the fundamental category
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.