Philippe Malbos Professeur des universités - Institut Camille Jordan -Université Claude Bernard Lyon 1

Publications

Article dans une revue (19)

Higher Catoids, Higher Quantales and their Correspondences Cameron Calk,Philippe Malbos,Damien Pous,Georg Struth Applied Categorical Structures, 2025, 33 (4), pp.25. ⟨10.1007/s10485-025-09817-z⟩ Article dans une revue hal-05409389v1
Faithful Interpretation of Protein Structures through Weighted Persistent Homology Improves Evolutionary Distance Estimation Léa Bou Dagher,Dominique Madern,Philippe Malbos,Céline Brochier-Armanet Molecular Biology and Evolution, 2025, 42 (2), ⟨10.1093/molbev/msae271⟩ Article dans une revue hal-04981247v1
Persistent homology of partially ordered spaces Cameron Calk,Eric Goubault,Philippe Malbos Journal of Applied and Computational Topology, 2024, 8, p. 2247-2284. ⟨10.1007/s41468-024-00190-9⟩ Article dans une revue hal-04734319v1
Persistent homology reveals strong phylogenetic signal in 3D protein structures Léa Bou Dagher,Dominique Madern,Philippe Malbos,Céline Brochier-Armanet PNAS Nexus, 2024, 3 (4), pp.158. ⟨10.1093/pnasnexus/pgae158⟩ Article dans une revue hal-04599673v1
Single-set cubical categories and their formalisation with a proof assistant Philippe Malbos,Tanguy Massacrier,Georg Struth Journal of Automated Reasoning, 2024, 68 (4), pp.20. ⟨10.1007/s10817-024-09710-9⟩ Article dans une revue hal-04734324v1
Shuffle polygraphic resolutions for operads Philippe Malbos,Isaac Ren Journal of the London Mathematical Society, 2023, 107 (1), pp.61-122. ⟨10.1112/jlms.12681⟩ Article dans une revue hal-03161522v2
Coherent confluence modulo relations and double groupoids Benjamin Dupont,Philippe Malbos Journal of Pure and Applied Algebra, 2022, 226 (10), pp.107037. ⟨10.1016/j.jpaa.2022.107037⟩ Article dans une revue hal-01898868v3
Confluence of algebraic rewriting systems Cyrille Chenavier,Benjamin Dupont,Philippe Malbos Mathematical Structures in Computer Science, 2022, 32 (7), pp.870-897. ⟨10.1017/S0960129521000426⟩ Article dans une revue hal-02945665v3
Algebraic coherent confluence and higher globular Kleene algebras Cameron Calk,Eric Goubault,Philippe Malbos,Georg Struth Logical Methods in Computer Science, 2022, 18 (4), ⟨10.46298/lmcs-18(4:9)2022⟩ Article dans une revue hal-03161580v2
Maurice Janet's algorithms on systems of linear partial differential equations Kenji Iohara,Philippe Malbos Archive for History of Exact Sciences, 2021, 75 (1), pp.43-81. ⟨10.1007/s00407-020-00255-y⟩ Article dans une revue hal-02375192v2
Chinese syzygies by insertions Nohra Hage,Philippe Malbos Semigroup Forum, In press, 104 (1), pp.88-108. ⟨10.1007/s00233-021-10244-4⟩ Article dans une revue hal-02015084v2
Time-reversal homotopical properties of concurrent systems Cameron Calk,Éric Goubault,Philippe Malbos Homology, Homotopy and Applications(HHA), 2020, 22 (2), pp.31-57. ⟨10.4310/HHA.2020.v22.n2.a2⟩ Article dans une revue hal-02015088v1
Convergent presentations and polygraphic resolutions of associative algebras Yves Guiraud,Eric Hoffbeck,Philippe Malbos Mathematische Zeitschrift, 2019, 293 (1-2), pp.113-179. ⟨10.1007/s00209-018-2185-z⟩ Article dans une revue hal-01006220v3
Knuth's coherent presentations of plactic monoids of type A Nohra Hage,Philippe Malbos Algebras and Representation Theory, 2017, 20 (5), pp.1259-1288 Article dans une revue hal-01359677v2
Coherent presentations of Artin monoids Stéphane Gaussent,Yves Guiraud,Philippe Malbos Compositio Mathematica, 2015, 151 (5), pp.957-998. ⟨10.1112/S0010437X14007842⟩ Article dans une revue hal-00682233v4
Identities among relations for higher-dimensional rewriting systems Yves Guiraud,Philippe Malbos Séminaires et congrès, 2013, 26, pp.145-161 Article dans une revue hal-00426228v2
Higher-dimensional normalisation strategies for acyclicity Yves Guiraud,Philippe Malbos Advances in Mathematics, 2012, 231 (3-4), pp.2294-2351. ⟨10.1016/j.aim.2012.05.010⟩ Article dans une revue hal-00531242v3
Coherence in monoidal track categories Yves Guiraud,Philippe Malbos Mathematical Structures in Computer Science, 2012, 22 (6), pp.931-969. ⟨10.1017/S096012951100065X⟩ Article dans une revue hal-00470795v2
Higher-dimensional categories with finite derivation type Yves Guiraud,Philippe Malbos Theory and Applications of Categories, 2009, 22 (18), pp.420-478. ⟨10.48550/arXiv.0810.1442⟩ Article dans une revue hal-00326974v2

Communication dans un congrès (11)

Completion of operadic rewriting systems by Gaussian elimination Benjamin Dupont,Philippe Malbos,Isaac Ren 10th International Workshop of Confluence, 2021 (IWC 2021), Jul 2021, Buenos Aires, Argentina. pp.15-23 Communication dans un congrès hal-03334739v1
Abstract strategies and coherence Cameron Calk,Eric Goubault,Philippe Malbos 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Nov 2021, Marseille, France. pp.108-125, ⟨10.1007/978-3-030-88701-8_7⟩ Communication dans un congrès hal-03334734v1
Completion in Operads via Essential Syzygies Philippe Malbos,Isaac Ren 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465552⟩ Communication dans un congrès hal-03258883v1
Algebraic critical pair lemma Cyrille Chenavier,Benjamin Dupont,Philippe Malbos 9th International Workshop on Confluence (IWC 2020), Jun 2020, Paris, France Communication dans un congrès hal-03348232v1
Coherence modulo relations Benjamin Dupont,Philippe Malbos 7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom Communication dans un congrès hal-01895065v1
Coherence of monoids by insertions Nohra Hage,Philippe Malbos 7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom Communication dans un congrès hal-01895068v1
Coherence of quasi-terminating decreasing 2-polygraphs Philippe Malbos,Clément Alleaume 5th International Workshop on Confluence, IWC 2016, Sep 2016, Obergurgl, Austria Communication dans un congrès hal-01718951v1
Homological computations for term rewriting systems Philippe Malbos,Samuel Mimram 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. pp.27:1-27:17 Communication dans un congrès hal-01678175v1
Confluence of linear rewriting and homology of algebras Yves Guiraud,Eric Hoffbeck,Philippe Malbos 3rd International Workshop on Confluence, Jul 2014, Vienna, Austria Communication dans un congrès hal-01105087v1
Eigenvalue method with symmetry and vibration analysis of cyclic structures Aurélien Grolet,Philippe Malbos,Fabrice Thouverez Computer Algebra in Scientific Computing. CASC 2014., Sep 2014, Warsaw, Poland. pp.121-137, ⟨10.1007/978-3-319-10515-4_10⟩ Communication dans un congrès hal-02084948v1
A Homotopical Completion Procedure with Applications to Coherence of Monoids Yves Guiraud,Philippe Malbos,Samuel Mimram RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩ Communication dans un congrès hal-00818253v1

Ouvrages (1)

Two algebraic byways from differential equations : Gröbner Bases and Quivers Kenji Iohara,Philippe Malbos,Masa-Hiko Saito,Nobuki Takayama Springer, 28, In press, Algorithms and Computations in Mathematics, 978-3-030-26453-6 Ouvrages hal-02084961v1

Chapitre d'ouvrage (3)

From analytical mechanical problems to rewriting theory through M. Janet's work Kenji Iohara,Philippe Malbos Two algebraic byways from differential equations : Gröbner Bases and Quivers, 28, Springer, 2020, Algorithms and Computations in Mathematics, ⟨10.1007/978-3-030-26454-3_1⟩ Chapitre d'ouvrage hal-01673715v3
Noncommutative linear rewriting: applications and generalizations Philippe Malbos Two algebraic byways from differential equations: Gröbner bases and quivers, 28, Springer, In press, Algorithms and Computations in Mathematics Chapitre d'ouvrage hal-01718880v1
Modelling Through Human-Computer Interaction and Mathematical Discourse Germana Menezes da Nóbrega,Philippe Malbos,Jean Sallantin L. Magnani; N.J. Nersessian; C. Pizzi. Logical and Computational Aspects of Model-Based Reasoning, 25, Springer Netherlands, pp.293-311, 2002, Applied Logic Series, 978-94-010-0550-0. ⟨10.1007/978-94-010-0550-0_14⟩ Chapitre d'ouvrage istex lirmm-00268471v1

Autre publication scientifique (1)

Raconte-moi... la persistance topologique Philippe Malbos 2021, Vol. 169, pp. 44-50 Autre publication scientifique hal-03345898v1

Pré-publication, Document de travail (3)

Polygraphic resolutions for operated algebras Zuan Liu,Philippe Malbos 2025 Pré-publication, Document de travail hal-04962400v1
String of columns rewriting and confluence of the jeu de taquin Nohra Hage,Philippe Malbos 2020 Pré-publication, Document de travail hal-03161577v2
Coherence of string rewriting systems by decreasingness Clément Alleaume,Philippe Malbos 2017 Pré-publication, Document de travail hal-01676936v1

Rapport (1)

The Blob: A Basic Topological Concept for &quot;Hardware-Free&quot; Distributed Computation Frédéric Gruau,Philippe Malbos [Research Report] 02056, LIRMM (UM, CNRS). 2002 Rapport (rapport de recherche) lirmm-00268600v1

Thèse (1)

Critères de finitude homologique pour la non convergence des systèmes de réécriture de termes Philippe Malbos Mathématiques [math]. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨NNT : ⟩ Thèse tel-00008784v1

Cours (1)

Lectures on Algebraic Rewriting Philippe Malbos Doctoral. France. 2019 Cours hal-02461874v1