Philippe Gaucher

15 papers Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Towards a theory of natural directed paths.
CoRR
Philippe Gaucher
2021 J jnl
Homotopy theory of Moore flows (I).
Compositionality
Philippe Gaucher
2014 J jnl
Temporal and spatial variability of animal sound within a neotropical forest.
Ecol. Informatics
Alexandra Rodriguez, Amandine Gasc, Sandrine Pavoine, Philippe Grandcolas, Philippe Gaucher, Jérôme Sueur
2010 J jnl
Combinatorics of labelling in higher-dimensional automata.
Theor. Comput. Sci.
Philippe Gaucher
2007 J jnl
T-Homotopy and Refinement of Observation - Part II: Adding New T-Homotopy Equivalences.
Int. J. Math. Math. Sci.
Philippe Gaucher
2005 J jnl
Flow does not Model Flows up to Weak Dihomotopy.
Appl. Categorical Struct.
Philippe Gaucher
2005 — conf
T-homotopy and Refinement of Observation (I): Introduction.
GETCO@CONCUR
Philippe Gaucher
2003 — conf
The Homotopy Branching Space of a Flow.
CMCIM/GETCO@CONCUR
Philippe Gaucher
2001 — conf
Investigating The Algebraic Structure of Dihomotopy Types.
GETCO
Philippe Gaucher
2001 J jnl
The branching nerve of HDA and the Kan condition
CoRR
Philippe Gaucher
2000 J jnl
About the globular homology of higher dimensional automata
CoRR
Philippe Gaucher
2000 — conf
From Concurrency to Algebraic Topology.
GETCO
Philippe Gaucher
2000 J jnl
Homotopy invariants of higher dimensional categories and concurrency in computer science.
Math. Struct. Comput. Sci.
Philippe Gaucher
1999 J jnl
Combinatorics of branchings in higher dimensional automata
CoRR
Philippe Gaucher
1999 J jnl
Homotopy invariants of higher dimensional categories and concurrency in computer science
CoRR
Philippe Gaucher