Philippe Gaucher
- Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243))
Domaines de recherche
Publications
Publications
|
|
Natural homotopy of multipointed d-spacesMathematical Journal of Okayama University, 2026, 68, pp.13-62 |
|
|
Towards a theory of natural directed pathsCompositionality, 2026, 7 (6), ⟨10.46298/compositionality-7-6⟩ |
|
|
Globular subdivisions are dihomotopy equivalencesBulletin of the Belgian Mathematical Society - Simon Stevin, 2025, 32 (5), pp.607-656. ⟨10.36045/j.bbms.250522⟩ |
|
|
Directed degeneracy maps for precubical setsTheory and Applications of Categories, 2024, 41 (7), pp.194-237 |
|
|
Regular directed path and Moore flowRendiconti di Matematica e delle sue Applicazioni, 2024, 45 (1-2), pp.111-151 |
|
|
Homotopy theory of Moore flows (III)North-Western European Journal of Mathematics, 2024, 10, pp.55-113 |
|
|
Comparing the non-unital and unital settings for directed homotopyCahiers de topologie et géométrie différentielle catégoriques, 2023, LXIV-2 |
|
|
Comparing cubical and globular directed pathsFundamenta Mathematicae, 2023, ⟨10.4064/fm219-3-2023⟩ |
|
|
Six model categories for directed homotopyCategories and General Algebraic Structures with Applications, 2021, 15 (1), pp.145-181. ⟨10.52547/cgasa.15.1.145⟩ |
|
|
Homotopy theory of Moore flows (I)Compositionality, 2021, 3 (3), ⟨10.32408/compositionality-3-3⟩ |
|
|
Homotopy theory of Moore flows (II)Extracta Mathematicae, 2021, 36 (2), pp.157-239. ⟨10.17398/2605-5686.36.2.157⟩ |
|
|
Left properness of flowsTheory and Applications of Categories, 2021, 37 (19), pp.562-612 |
|
|
Flows revisited: the model category structure and its left determinednessCahiers de topologie et géométrie différentielle catégoriques, 2020, LXI (2), pp.208-226 |
|
|
Enriched diagrams of topological spaces over locally contractible enriched categoriesNew York Journal of Mathematics, 2019, 25, pp.1485-1510 |
Combinatorics of past-similarity in higher dimensional transition systemsTheory and Applications of Categories, 2017 |
|
|
|
The geometry of cubical and regular transition systemsCahiers de topologie et géométrie différentielle catégoriques, 2015, LVI (4) |
The choice of cofibrations of higher dimensional transition systemsNew York Journal of Mathematics, 2015, 21, pp.1117-1151 |
|
Left determined model categoriesNew York Journal of Mathematics, 2015, 21, pp.1093-1115 |
|
Erratum to "Towards a homotopy theory of higher dimensional transition systemsTheory and Applications of Categories, 2014, 29, pp.17-20 |
|
|
|
Homotopy Theory of Labelled Symmetric Precubical SetsNew York Journal of Mathematics, 2014, 20, pp.93-131 |
Globular realization and cubical underlying homotopy type of time flow of process algebraNew York Journal of Mathematics, 2008, 14, pp.101-137 |
|
Towards a homotopy theory of process algebraHomology, Homotopy and Applications, 2008, 10 (1), pp.353-388 |
|
|
|
T-Homotopy and Refinement of Observation, Part II: Adding New T-Homotopy EquivalencesInternational Journal of Mathematics and Mathematical Sciences, 2007, 2007, Article ID 87404, 20 p. ⟨10.1155/2007/87404⟩ |
T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologiesThe New York Journal of Mathematics, 2006, 12, pp.319--348 |
|
Inverting weak dihomotopy equivalence using homotopy continuous flowTheory and Applications of Categories, 2006, 16 (3), pp.59-83 |
|
T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy typeThe New York Journal of Mathematics, 2006, 12, pp.63--95 |
|
Homological properties of non-deterministic branchings and mergings in higher dimensional automataHomology, Homotopy and Applications(HHA), 2005, 7 (1), pp.51-76 |
|
Flow does not model flows up to weak dihomotopyApplied Categorical Structures, 2005, 13 (5-6), pp.371-388 |
|
Comparing globular complex and flowThe New York Journal of Mathematics, 2005, 11, pp.97-150 |
|
A model category for the homotopy theory of concurrencyHomology, Homotopy and Applications(HHA), 2003, 5 (1), pp.549-599 |
|
|
Branching space of multipointed d-space2026 |
|
|
Branching space of precubical set2026 |
Towards a Homotopy Theory of Higher Dimensional Transition SystemsSéminaire Itinérant de Catégories, Mar 2011, Paris, France |
|
About Higher Dimensional Transition SystemsGeometric and Topological Methods in Computer Science 2010, Jan 2010, Aalborg, Denmark |
|
Higher Dimensional Transition System and Labelled Symmetric Precubical SetSéminaire Itinérant de Catégories, Oct 2009, Paris, France |
|
A topological model for studying branching and merging homologies of flowsCONFÉRENCE INTERNATIONALE DE THÉORIE DES CATÉGORIES 2008, Jun 2008, Calais, France |
|
Combinatorics of labelling in higher dimensional automataRencontre du projet ANR "Invariants algébriques des systèmes informatiques, Sep 2008, Lyon, France |
|
Cubes, homotopy and process algebraAlgebraic Topological Methods in Computer Science 2008, Jul 2008, Paris, France |
|
Sémantique purement homotopique des algèbres de processusRencontre du projet ANR "Invariants algébriques des systèmes informatiques", Apr 2007, Paris, France |
|
Homotopical semantics of parallel composition in CCSPSSL86, Sep 2007, Nancy, France |
|
Globular realization and cubical underlying homotopy typeRencontre du projet ANR "Invariants algébriques des systèmes informatiques", Sep 2007, Nancy, France |