62 results on '"Raußen, Martin"'
Search Results
2. Abel Prize 2015: John F. Nash, Jr. and Louis Nirenberg
3. Abel Prize 2014: Yakov G. Sinai
4. An Imaginary Interview with Niels Henrik Abel
5. Abel Prize 2008: John Griggs Thompson and Jacques Tits
6. Abel Prize 2013: Pierre Deligne
7. Abel Prize 2016: Sir Andrew J. Wiles
8. Abel Prize 2003: Jean-Pierre Serre
9. Abel Prize 2006: Lennart Carleson
10. Abel Prize 2010: John Tate
11. Abel Prize 2005: Peter D. Lax
12. Abel Prize 2004: Sir Michael Francis Atiyah and Isadore M. Singer
13. Abel Prize 2009: Mikhail Gromov
14. Abel Prize 2012: Endre Szemerédi
15. Abel Prize 2007: Srinivasa S. R. Varadhan
16. Abel Prize 2011: John Milnor
17. Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
18. Directed Topological Models of Concurrency
19. The Category of Components
20. Path Spaces
21. A Toy Language for Concurrency
22. Directed Algebraic Topology and Concurrency
23. Truly Concurrent Models of Programs with Resources
24. Introduction
25. Algorithmics on Directed Spaces
26. Perspectives
27. Strictifying and taming directed paths in Higher Dimensional Automata
28. Trace Spaces: An Efficient New Technique for State-Space Reduction
29. Inessential directed maps and directed homotopy equivalences
30. Pair component categories for directed spaces
31. Symmetries on Manifolds, Deformations and Rational Homotopy: A Survey
32. Detecting deadlocks in concurrent systems
33. Rational cohomology and homotopy of spaces with circle action
34. Interview with Abel Laureate John F. Nash Jr.
35. Interview with Louis Nirenberg
36. Interview with Abel Laureate Sir Andrew Wiles
37. Interview with Yakov Sinai
38. Smooth and locally linear g homotopy representations
39. Interview with Pierre Deligne
40. Homology of spaces of directed paths on Euclidean cubical complexes
41. Interview with Endre Szemerédi
42. Simplicial models for trace spaces II: General higher dimensional automata
43. Simplicial models for trace spaces II: General higher dimensional automata
44. Preface
45. Execution spaces for simple higher dimensional automata
46. Interview with John Milnor
47. Simplicial models of trace spaces
48. Trace spaces in a pre-cubical complex
49. Invariants of Directed Spaces
50. Geometric analysis of nondeterminacy in dynamical systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.