## Gaucher, Philippe

Compute Distance To:
 Author ID: 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
all top 5

### Serials

 9 The New York Journal of Mathematics 8 Theory and Applications of Categories 4 Homology, Homotopy and Applications 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Comptes Rendus de l’Académie des Sciences. Série I 2 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Annales de l’Institut Fourier 1 International Journal of Mathematics and Mathematical Sciences 1 Theoretical Computer Science 1 Extracta Mathematicae 1 $$K$$-Theory 1 MSCS. Mathematical Structures in Computer Science 1 Applied Categorical Structures 1 Categories and General Algebraic Structures with Applications
all top 5

### Fields

 35 Computer science (68-XX) 31 Algebraic topology (55-XX) 22 Category theory; homological algebra (18-XX) 3 Nonassociative rings and algebras (17-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Associative rings and algebras (16-XX) 2 $$K$$-theory (19-XX) 1 Manifolds and cell complexes (57-XX)

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

### Cited by 30 Authors

 12 Gaucher, Philippe 6 Kahl, Thomas 3 Goubault, Eric 3 Grandis, Marco 3 Haucourt, Emmanuel 2 Brown, Ronald 2 Krishnan, Sanjeevi 2 Raussen, Martin 1 Al-Agl, Fahd Ali 1 Bubenik, Peter 1 Buckland, Richard 1 Fahrenberg, Uli 1 Fajstrup, Lisbeth 1 Ghrist, Robert W. 1 Ginot, Grégory 1 Hirschowitz, André 1 Hirschowitz, Michel 1 Hirschowitz, Tom 1 Husainov, Ahmet A. 1 Johnson, Michael Sterling James 1 Legay, Axel 1 Lucas, Maxime 1 Mimram, Samuel 1 North, Paige Randall 1 Patras, Frédéric 1 Peterson, Valerie J. 1 Sofronie-Stokkermans, Viorica 1 Steiner, Richard J. 1 van Glabbeek, Robert Jan 1 Verity, Dominic
all top 5

### Cited in 17 Serials

 6 Applied Categorical Structures 5 Theoretical Computer Science 2 Annales de l’Institut Fourier 2 Theory and Applications of Categories 2 Comptes Rendus. Mathématique. Académie des Sciences, Paris 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Journal of Homotopy and Related Structures 1 Advances in Mathematics 1 International Journal of Mathematics and Mathematical Sciences 1 Topology and its Applications 1 Advances in Applied Mathematics 1 Extracta Mathematicae 1 MSCS. Mathematical Structures in Computer Science 1 Logical Methods in Computer Science 1 Categories and General Algebraic Structures with Applications 1 Journal of Applied and Computational Topology 1 Higher Structures
all top 5

### Cited in 15 Fields

 31 Computer science (68-XX) 22 Algebraic topology (55-XX) 18 Category theory; homological algebra (18-XX) 3 $$K$$-theory (19-XX) 3 General topology (54-XX) 2 Associative rings and algebras (16-XX) 2 Manifolds and cell complexes (57-XX) 1 History and biography (01-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX)