×
Compute Distance To:
Author ID: gaucher.philippe Recent zbMATH articles by "Gaucher, Philippe"
Published as: Gaucher, Philippe
Homepage: https://www.irif.fr/~gaucher/
External Links: MGP · MathOverflow · dblp
Documents Indexed: 39 Publications since 1991
Reviewing Activity: 178 Reviews
Co-Authors: 1 Co-Author with 1 Joint Publication
51 Co-Co-Authors

Co-Authors

38 single-authored
1 Goubault, Eric

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 117 times in 42 Documents Cited by Year
A model category for the homotopy theory of concurrency. Zbl 1069.55008
Gaucher, Philippe
18
2003
Topological deformation of higher dimensional automata. Zbl 1030.68058
Gaucher, Philippe; Goubault, Eric
14
2003
Homotopy invariants of higher dimensional categories and concurrency in computer science. Zbl 0956.68097
Gaucher, Philippe
12
2000
Comparing globular complex and flow. Zbl 1090.55002
Gaucher, Philippe
7
2005
Homological properties of non-deterministic branchings of mergings in higher dimensional automata. Zbl 1085.55003
Gaucher, Philippe
6
2005
Combinatorics of branchings in higher dimensional automata. Zbl 0977.55012
Gaucher, Philippe
6
2001
Towards a homotopy theory of process algebra. Zbl 1151.68037
Gaucher, Philippe
6
2008
From concurrency to algebraic topology. Zbl 0976.68069
Gaucher, Philippe
5
2000
About the globular homology of higher-dimensional automata. Zbl 1001.18003
Gaucher, Philippe
5
2002
Homotopical interpretation of globular complex by multipointed d-space. Zbl 1191.55013
Gaucher, Philippe
4
2009
Enriched diagrams of topological spaces over locally contractible enriched categories. Zbl 1435.18004
Gaucher, Philippe
4
2019
Combinatorics of labelling in higher-dimensional automata. Zbl 1191.68384
Gaucher, Philippe
3
2010
Flows revisited: the model category structure and its left determinedness. Zbl 1452.18010
Gaucher, Philippe
3
2020
T-homotopy and refinement of observation. I: Introduction. Zbl 1339.55016
Gaucher, Philippe
3
2009
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type. Zbl 1110.55011
Gaucher, Philippe
3
2006
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies. Zbl 1109.55010
Gaucher, Philippe
3
2006
Inverting weak dihomotopy equivalence using homotopy continuous flow. Zbl 1088.55015
Gaucher, Philippe
2
2006
Flow does not model flows up to weak dihomotopy. Zbl 1115.68103
Gaucher, Philippe
2
2005
Lambda operations on the homology of a Lie algebra of matrices. (Lambda-opérations sur l’homologie d’une algèbre de Lie de matrices.) Zbl 0903.17009
Gaucher, Philippe
1
1998
Tensor products of matrices, cyclic homology, homology of Lie algebras. (Produit tensoriel de matrices, homologie cyclique, homologie des algèbres de Lie.) Zbl 0803.19003
Gaucher, Philippe
1
1994
The branching nerve of HDA and the Kan condition. Zbl 1029.55014
Gaucher, Philippe
1
2003
Towards a homotopy theory of higher dimensional transition systems. Zbl 1235.18004
Gaucher, Philippe
1
2011
Directed algebraic topology and higher dimensional transition systems. Zbl 1250.18004
Gaucher, Philippe
1
2010
Left properness of flows. Zbl 1481.18027
Gaucher, Philippe
1
2021
Lambda-operations and homology of matrices. (Lambda-opérations et homologie des matrices.) Zbl 0754.16005
Gaucher, Philippe
1
1991
Globular realization and cubical underlying homotopy type of time flow of process algebra. Zbl 1144.55021
Gaucher, Philippe
1
2008
\(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences. Zbl 1149.55009
Gaucher, Philippe
1
2007
Produit tensoriel de matrices et homologie cyclique. (Tensor product of matrices and cyclic homology). Zbl 0725.17024
Gaucher, Philippe
1
1991
The homotopy branching space of a flow. Zbl 1271.68182
Gaucher, Philippe
1
2004
Left properness of flows. Zbl 1481.18027
Gaucher, Philippe
1
2021
Flows revisited: the model category structure and its left determinedness. Zbl 1452.18010
Gaucher, Philippe
3
2020
Enriched diagrams of topological spaces over locally contractible enriched categories. Zbl 1435.18004
Gaucher, Philippe
4
2019
Towards a homotopy theory of higher dimensional transition systems. Zbl 1235.18004
Gaucher, Philippe
1
2011
Combinatorics of labelling in higher-dimensional automata. Zbl 1191.68384
Gaucher, Philippe
3
2010
Directed algebraic topology and higher dimensional transition systems. Zbl 1250.18004
Gaucher, Philippe
1
2010
Homotopical interpretation of globular complex by multipointed d-space. Zbl 1191.55013
Gaucher, Philippe
4
2009
T-homotopy and refinement of observation. I: Introduction. Zbl 1339.55016
Gaucher, Philippe
3
2009
Towards a homotopy theory of process algebra. Zbl 1151.68037
Gaucher, Philippe
6
2008
Globular realization and cubical underlying homotopy type of time flow of process algebra. Zbl 1144.55021
Gaucher, Philippe
1
2008
\(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences. Zbl 1149.55009
Gaucher, Philippe
1
2007
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type. Zbl 1110.55011
Gaucher, Philippe
3
2006
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies. Zbl 1109.55010
Gaucher, Philippe
3
2006
Inverting weak dihomotopy equivalence using homotopy continuous flow. Zbl 1088.55015
Gaucher, Philippe
2
2006
Comparing globular complex and flow. Zbl 1090.55002
Gaucher, Philippe
7
2005
Homological properties of non-deterministic branchings of mergings in higher dimensional automata. Zbl 1085.55003
Gaucher, Philippe
6
2005
Flow does not model flows up to weak dihomotopy. Zbl 1115.68103
Gaucher, Philippe
2
2005
The homotopy branching space of a flow. Zbl 1271.68182
Gaucher, Philippe
1
2004
A model category for the homotopy theory of concurrency. Zbl 1069.55008
Gaucher, Philippe
18
2003
Topological deformation of higher dimensional automata. Zbl 1030.68058
Gaucher, Philippe; Goubault, Eric
14
2003
The branching nerve of HDA and the Kan condition. Zbl 1029.55014
Gaucher, Philippe
1
2003
About the globular homology of higher-dimensional automata. Zbl 1001.18003
Gaucher, Philippe
5
2002
Combinatorics of branchings in higher dimensional automata. Zbl 0977.55012
Gaucher, Philippe
6
2001
Homotopy invariants of higher dimensional categories and concurrency in computer science. Zbl 0956.68097
Gaucher, Philippe
12
2000
From concurrency to algebraic topology. Zbl 0976.68069
Gaucher, Philippe
5
2000
Lambda operations on the homology of a Lie algebra of matrices. (Lambda-opérations sur l’homologie d’une algèbre de Lie de matrices.) Zbl 0903.17009
Gaucher, Philippe
1
1998
Tensor products of matrices, cyclic homology, homology of Lie algebras. (Produit tensoriel de matrices, homologie cyclique, homologie des algèbres de Lie.) Zbl 0803.19003
Gaucher, Philippe
1
1994
Lambda-operations and homology of matrices. (Lambda-opérations et homologie des matrices.) Zbl 0754.16005
Gaucher, Philippe
1
1991
Produit tensoriel de matrices et homologie cyclique. (Tensor product of matrices and cyclic homology). Zbl 0725.17024
Gaucher, Philippe
1
1991

Citations by Year