2009 | ||
---|---|---|
10 | EE | Philippe Gaucher: T-homotopy and Refinement of Observation (I): Introduction. Electr. Notes Theor. Comput. Sci. 230: 103-110 (2009) |
2005 | ||
9 | EE | Philippe Gaucher: Flow does not Model Flows up to Weak Dihomotopy. Applied Categorical Structures 13(5-6): 371-388 (2005) |
2004 | ||
8 | EE | Philippe Gaucher: The Homotopy Branching Space of a Flow. Electr. Notes Theor. Comput. Sci. 100: 95-109 (2004) |
2001 | ||
7 | EE | Philippe Gaucher: The branching nerve of HDA and the Kan condition CoRR math.AT/0103011: (2001) |
6 | EE | Philippe Gaucher: From Concurrency to Algebraic Topology. Electr. Notes Theor. Comput. Sci. 39(2): (2001) |
5 | EE | Philippe Gaucher: Investigating The Algebraic Structure of Dihomotopy Types. Electr. Notes Theor. Comput. Sci. 52(2): (2001) |
2000 | ||
4 | EE | Philippe Gaucher: About the globular homology of higher dimensional automata CoRR math.CT/0002216: (2000) |
3 | Philippe Gaucher: Homotopy invariants of higher dimensional categories and concurrency in computer science. Mathematical Structures in Computer Science 10(4): 481-524 (2000) | |
1999 | ||
2 | EE | Philippe Gaucher: Homotopy invariants of higher dimensional categories and concurrency in computer science CoRR math.CT/9902151: (1999) |
1 | EE | Philippe Gaucher: Combinatorics of branchings in higher dimensional automata CoRR math.CT/9912059: (1999) |