![]() | ![]() |
| 2010 | ||
|---|---|---|
| 12 | Philippe Gaucher: Combinatorics of labelling in higher-dimensional automata. Theor. Comput. Sci. 411(11-13): 1452-1483 (2010) | |
| 2009 | ||
| 11 | Philippe Gaucher: T-homotopy and Refinement of Observation (I): Introduction. Electr. Notes Theor. Comput. Sci. 230: 103-110 (2009) | |
| 2007 | ||
| 10 | Philippe Gaucher: T-Homotopy and Refinement of Observation - Part II: Adding New T-Homotopy Equivalences. Int. J. Math. Mathematical Sciences 2007: (2007) | |
| 2005 | ||
| 9 | Philippe Gaucher: Flow does not Model Flows up to Weak Dihomotopy. Applied Categorical Structures 13(5-6): 371-388 (2005) | |
| 2004 | ||
| 8 | Philippe Gaucher: The Homotopy Branching Space of a Flow. Electr. Notes Theor. Comput. Sci. 100: 95-109 (2004) | |
| 2001 | ||
| 7 | Philippe Gaucher: The branching nerve of HDA and the Kan condition CoRR math.AT/0103011: (2001) | |
| 6 | Philippe Gaucher: From Concurrency to Algebraic Topology. Electr. Notes Theor. Comput. Sci. 39(2): 1-19 (2001) | |
| 5 | Philippe Gaucher: Investigating The Algebraic Structure of Dihomotopy Types. Electr. Notes Theor. Comput. Sci. 52(2): 139-163 (2001) | |
| 2000 | ||
| 4 | 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 | Philippe Gaucher: Homotopy invariants of higher dimensional categories and concurrency in computer science CoRR math.CT/9902151: (1999) | |
| 1 | Philippe Gaucher: Combinatorics of branchings in higher dimensional automata CoRR math.CT/9912059: (1999) | |
Data released under the ODC-BY 1.0 license — See also our legal information page