Edit Profile (opens in new tab) Gaucher, Philippe Co-Author Distance Author ID: gaucher.philippe Published as: Gaucher, Philippe Homepage: https://www.irif.fr/~gaucher/ External Links: MGP · ORCID · arXiv · MathOverflow · dblp Documents Indexed: 54 Publications since 1991, including 11 Additional arXiv Preprints Reviewing Activity: 204 Reviews Co-Authors: 1 Co-Author with 1 Joint Publication 77 Co-Co-Authors Co-Authors 53 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 4 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 Fundamenta Mathematicae 1 International Journal of Mathematics and Mathematical Sciences 1 Theoretical Computer Science 1 Rendiconti di Matematica e delle sue Applicazioni. Serie VII 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 1 Compositionality all top 5 Fields 46 Computer science (68-XX) 43 Algebraic topology (55-XX) 28 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 35 Publications have been cited 144 times in 48 Documents Cited by ▼ Year ▼ A model category for the homotopy theory of concurrency. Zbl 1069.55008 Gaucher, Philippe 20 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 Towards a homotopy theory of process algebra. Zbl 1151.68037 Gaucher, Philippe 8 2008 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 7 2005 Combinatorics of branchings in higher dimensional automata. Zbl 0977.55012 Gaucher, Philippe 6 2001 Homotopical interpretation of globular complex by multipointed d-space. Zbl 1191.55013 Gaucher, Philippe 6 2009 About the globular homology of higher-dimensional automata. Zbl 1001.18003 Gaucher, Philippe 5 2002 From concurrency to algebraic topology. Zbl 0976.68069 Gaucher, Philippe 5 2000 Enriched diagrams of topological spaces over locally contractible enriched categories. Zbl 1435.18004 Gaucher, Philippe 5 2019 T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type. Zbl 1110.55011 Gaucher, Philippe 4 2006 Combinatorics of labelling in higher-dimensional automata. Zbl 1191.68384 Gaucher, Philippe 4 2010 Six model categories for directed homotopy. Zbl 1496.18012 Gaucher, Philippe 4 2021 Flows revisited: the model category structure and its left determinedness. Zbl 1452.18010 Gaucher, Philippe 4 2020 T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies. Zbl 1109.55010 Gaucher, Philippe 3 2006 Left properness of flows. Zbl 1481.18027 Gaucher, Philippe 3 2021 T-homotopy and refinement of observation. I: Introduction. Zbl 1339.55016 Gaucher, Philippe 3 2009 Globular realization and cubical underlying homotopy type of time flow of process algebra. Zbl 1144.55021 Gaucher, Philippe 3 2008 Homotopy theory of Moore flows. I. Zbl 1491.18009 Gaucher, Philippe 3 2021 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 Homotopy theory of Moore flows. II. Zbl 1484.18003 Gaucher, Philippe 2 2021 Left determined model categories. Zbl 1360.18027 Gaucher, Philippe 1 2015 Produit tensoriel de matrices et homologie cyclique. (Tensor product of matrices and cyclic homology). Zbl 0725.17024 Gaucher, 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.19003 Gaucher, Philippe 1 1994 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 Lambda-operations and homology of matrices. (Lambda-opérations et homologie des matrices.) Zbl 0754.16005 Gaucher, Philippe 1 1991 The homotopy branching space of a flow. Zbl 1271.68182 Gaucher, Philippe 1 2004 Comparing the non-unital and unital settings for directed homotopy. Zbl 1511.18004 Gaucher, Philippe 1 2023 Directed algebraic topology and higher dimensional transition systems. Zbl 1250.18004 Gaucher, Philippe 1 2010 Towards a homotopy theory of higher dimensional transition systems. Zbl 1235.18004 Gaucher, Philippe 1 2011 \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences. Zbl 1149.55009 Gaucher, Philippe 1 2007 The branching nerve of HDA and the Kan condition. Zbl 1029.55014 Gaucher, Philippe 1 2003 Comparing cubical and globular directed paths. Zbl 07797042 Gaucher, Philippe 1 2023 Comparing the non-unital and unital settings for directed homotopy. Zbl 1511.18004 Gaucher, Philippe 1 2023 Comparing cubical and globular directed paths. Zbl 07797042 Gaucher, Philippe 1 2023 Six model categories for directed homotopy. Zbl 1496.18012 Gaucher, Philippe 4 2021 Left properness of flows. Zbl 1481.18027 Gaucher, Philippe 3 2021 Homotopy theory of Moore flows. I. Zbl 1491.18009 Gaucher, Philippe 3 2021 Homotopy theory of Moore flows. II. Zbl 1484.18003 Gaucher, Philippe 2 2021 Flows revisited: the model category structure and its left determinedness. Zbl 1452.18010 Gaucher, Philippe 4 2020 Enriched diagrams of topological spaces over locally contractible enriched categories. Zbl 1435.18004 Gaucher, Philippe 5 2019 Left determined model categories. Zbl 1360.18027 Gaucher, Philippe 1 2015 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 4 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 6 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 8 2008 Globular realization and cubical underlying homotopy type of time flow of process algebra. Zbl 1144.55021 Gaucher, Philippe 3 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 4 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 7 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 20 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 Produit tensoriel de matrices et homologie cyclique. (Tensor product of matrices and cyclic homology). Zbl 0725.17024 Gaucher, Philippe 1 1991 Lambda-operations and homology of matrices. (Lambda-opérations et homologie des matrices.) Zbl 0754.16005 Gaucher, Philippe 1 1991 all cited Publications top 5 cited Publications all top 5 Cited by 34 Authors 14 Gaucher, Philippe 8 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 Dochtermann, Anton 1 Fahrenberg, Uli 1 Fajstrup, Lisbeth 1 Gagna, Andrea 1 Ghrist, Robert W. 1 Ginot, Grégory 1 Harpaz, Yonatan 1 Hirschowitz, André 1 Hirschowitz, Michel 1 Hirschowitz, Tom 1 Husainov, Ahmet A. 1 Johnson, Michael Sterling James 1 Lanari, Edoardo 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 22 Serials 6 Theoretical Computer Science 6 Applied Categorical Structures 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 Fundamenta Mathematicae 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of the London Mathematical Society. Second Series 1 Topology and its Applications 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Rendiconti di Matematica e delle sue Applicazioni. Serie VII 1 Extracta Mathematicae 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 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 35 Computer science (68-XX) 25 Algebraic topology (55-XX) 20 Category theory; homological algebra (18-XX) 3 \(K\)-theory (19-XX) 3 General topology (54-XX) 3 Manifolds and cell complexes (57-XX) 2 Combinatorics (05-XX) 2 Associative rings and algebras (16-XX) 1 History and biography (01-XX) 1 Mathematical logic and foundations (03-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