Combinatorics of branchings in higher dimensional automata - Philippe Gaucher (CoRR, 1999)

About the globular homology of higher dimensional automata - Philippe Gaucher (CoRR, 2000)

From Concurrency to Algebraic Topology. - Philippe Gaucher (GETCO, 2000)

Homotopy invariants of higher dimensional categories and concurrency in computer science. - Philippe Gaucher (Math. Struct. Comput. Sci., 2000)

The branching nerve of HDA and the Kan condition - Philippe Gaucher (CoRR, 2001)

Investigating The Algebraic Structure of Dihomotopy Types. - Philippe Gaucher (GETCO, 2001)

The Homotopy Branching Space of a Flow. - Philippe Gaucher (CMCIM/GETCO@CONCUR, 2003)

Flow does not Model Flows up to Weak Dihomotopy. - Philippe Gaucher (Appl. Categorical Struct., 2005)

T-homotopy and Refinement of Observation (I): Introduction. - Philippe Gaucher (GETCO@CONCUR, 2005)

T-Homotopy and Refinement of Observation - Part II: Adding New T-Homotopy Equivalences. - Philippe Gaucher (Int. J. Math. Math. Sci., 2007)

Combinatorics of labelling in higher-dimensional automata. - Philippe Gaucher (Theor. Comput. Sci., 2010)

Temporal and spatial variability of animal sound within a neotropical forest. - Alexandra Rodriguez; Amandine Gasc; Sandrine Pavoine; Philippe Grandcolas; Philippe Gaucher; Jérôme Sueur (Ecol. Informatics, 2014)

Homotopy theory of Moore flows (I). - Philippe Gaucher (Compositionality, 2021)

Towards a theory of natural directed paths. - Philippe Gaucher (CoRR, 2023)