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