Philippe Gaucher
37
Documents
Publications
|
Regular directed path and Moore flowRendiconti di Matematica e delle sue Applicazioni, 2024, 45 (1-2), pp.111-151
Article dans une revue
hal-03741876v5
|
|
Directed degeneracy maps for precubical setsTheory and Applications of Categories, 2024, 41 (7), pp.194-237
Article dans une revue
hal-03771404v3
|
|
Comparing the non-unital and unital settings for directed homotopyCahiers de topologie et géométrie différentielle catégoriques, 2023, LXIV-2
Article dans une revue
hal-03713806v2
|
|
Comparing cubical and globular directed pathsFundamenta Mathematicae, 2023, ⟨10.4064/fm219-3-2023⟩
Article dans une revue
hal-03713809v4
|
|
Six model categories for directed homotopyCategories and General Algebraic Structures with Applications, 2021, 15 (1), pp.145-181. ⟨10.52547/cgasa.15.1.145⟩
Article dans une revue
hal-02106424v1
|
|
Left properness of flowsTheory and Applications of Categories, 2021, 37 (19), pp.562-612
Article dans une revue
hal-02324169v1
|
|
Homotopy theory of Moore flows (I)Compositionality, 2021, 3 (3), ⟨10.32408/compositionality-3-3⟩
Article dans une revue
hal-02989109v2
|
|
Homotopy theory of Moore flows (II)Extracta Mathematicae, 2021, 36 (2), pp.157-239. ⟨10.17398/2605-5686.36.2.157⟩
Article dans une revue
hal-03215805v3
|
|
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
Article dans une revue
hal-01919037v1
|
|
Enriched diagrams of topological spaces over locally contractible enriched categoriesNew York Journal of Mathematics, 2019, 25, pp.1485-1510
Article dans une revue
hal-01919036v1
|
Combinatorics of past-similarity in higher dimensional transition systemsTheory and Applications of Categories, 2017
Article dans une revue
hal-01619405v1
|
|
Left determined model categoriesNew York Journal of Mathematics, 2015, 21, pp.1093-1115
Article dans une revue
hal-01225829v1
|
|
The choice of cofibrations of higher dimensional transition systemsNew York Journal of Mathematics, 2015, 21, pp.1117-1151
Article dans une revue
hal-01225832v1
|
|
The geometry of cubical and regular transition systemsCahiers de topologie et géométrie différentielle catégoriques, 2015, LVI (4)
Article dans une revue
hal-01225836v1
|
|
Erratum to "Towards a homotopy theory of higher dimensional transition systems''Theory and Applications of Categories, 2014, 29, pp.17-20
Article dans une revue
hal-01076932v1
|
|
Homotopy Theory of Labelled Symmetric Precubical SetsNew York Journal of Mathematics, 2014, 20, pp.93-131
Article dans une revue
hal-01076930v1
|
|
Globular realization and cubical underlying homotopy type of time flow of process algebraNew York Journal of Mathematics, 2008, 14, pp.101-137
Article dans une revue
hal-00338468v1
|
|
Towards a homotopy theory of process algebraHomology, Homotopy and Applications, 2008, 10 (1), pp.353-388
Article dans une revue
hal-00338471v1
|
|
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⟩
Article dans une revue
hal-00150917v1
|
|
T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy typeThe New York Journal of Mathematics, 2006, 12, pp.63--95
Article dans une revue
hal-00150919v1
|
|
T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologiesThe New York Journal of Mathematics, 2006, 12, pp.319--348
Article dans une revue
hal-00150918v1
|
|
Inverting weak dihomotopy equivalence using homotopy continuous flowTheory and Applications of Categories, 2006, 16 (3), pp.59-83
Article dans une revue
hal-00150920v1
|
|
Flow does not model flows up to weak dihomotopyApplied Categorical Structures, 2005, 13 (5-6), pp.371-388
Article dans une revue
hal-00150921v1
|
|
Homological properties of non-deterministic branchings and mergings in higher dimensional automataHomology, Homotopy and Applications(HHA), 2005, 7 (1), pp.51-76
Article dans une revue
hal-00150922v1
|
|
Comparing globular complex and flowThe New York Journal of Mathematics, 2005, 11, pp.97-150
Article dans une revue
hal-00150923v1
|
|
A model category for the homotopy theory of concurrencyHomology, Homotopy and Applications(HHA), 2003, 5 (1), pp.549-599
Article dans une revue
hal-00150924v1
|
Towards a Homotopy Theory of Higher Dimensional Transition SystemsSéminaire Itinérant de Catégories, Mar 2011, Paris, France
Communication dans un congrès
hal-00695068v1
|
|
About Higher Dimensional Transition SystemsGeometric and Topological Methods in Computer Science 2010, Jan 2010, Aalborg, Denmark
Communication dans un congrès
hal-00695056v1
|
|
Higher Dimensional Transition System and Labelled Symmetric Precubical SetSéminaire Itinérant de Catégories, Oct 2009, Paris, France
Communication dans un congrès
hal-00695146v1
|
|
Cubes, homotopy and process algebraAlgebraic Topological Methods in Computer Science 2008, Jul 2008, Paris, France
Communication dans un congrès
hal-00695053v1
|
|
A topological model for studying branching and merging homologies of flowsCONFÉRENCE INTERNATIONALE DE THÉORIE DES CATÉGORIES 2008, Jun 2008, Calais, France
Communication dans un congrès
hal-00695198v1
|
|
Combinatorics of labelling in higher dimensional automataRencontre du projet ANR "Invariants algébriques des systèmes informatiques, Sep 2008, Lyon, France
Communication dans un congrès
hal-00695163v1
|
|
Homotopical semantics of parallel composition in CCSPSSL86, Sep 2007, Nancy, France
Communication dans un congrès
hal-00695226v1
|
|
Globular realization and cubical underlying homotopy typeRencontre du projet ANR "Invariants algébriques des systèmes informatiques", Sep 2007, Nancy, France
Communication dans un congrès
hal-00695230v1
|
|
Sémantique purement homotopique des algèbres de processusRencontre du projet ANR "Invariants algébriques des systèmes informatiques", Apr 2007, Paris, France
Communication dans un congrès
hal-00695233v1
|
|
Towards a theory of natural directed paths2024
Pré-publication, Document de travail
hal-04118042v3
|
|
Homotopy theory of Moore flows (III)2023
Pré-publication, Document de travail
hal-04050004v4
|