The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation. - Frédéric Gruau; Philippe Malbos (UMC, 2002)

Rewriting Systems and Hochschild-Mitchell Homology. - Philippe Malbos (GETCO, 2002)

Coherence in monoidal track categories. - Yves Guiraud; Philippe Malbos (Math. Struct. Comput. Sci., 2012)

A Homotopical Completion Procedure with Applications to Coherence of Monoids. - Yves Guiraud; Philippe Malbos; Samuel Mimram (RTA, 2013)

Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures. - Aurelien Grolet; Philippe Malbos; Fabrice Thouverez (CASC, 2014)

Homological Computations for Term Rewriting Systems. - Philippe Malbos; Samuel Mimram (FSCD, 2016)

Time-reversal homotopical properties of concurrent systems. - Cameron Calk; Eric Goubault; Philippe Malbos (CoRR, 2018)

Polygraphs of finite derivation type. - Yves Guiraud; Philippe Malbos (Math. Struct. Comput. Sci., 2018)

Algebraic coherent confluence and higher-dimensional globular Kleene algebras. - Cameron Calk; Eric Goubault; Philippe Malbos; Georg Struth (CoRR, 2020)

Abstract Strategies and Coherence. - Cameron Calk; Eric Goubault; Philippe Malbos (RAMiCS, 2021)

Completion in Operads via Essential Syzygies. - Philippe Malbos; Isaac Ren (ISSAC, 2021)

Algebraic coherent confluence and higher globular Kleene algebras. - Cameron Calk; Eric Goubault; Philippe Malbos; Georg Struth (Log. Methods Comput. Sci., 2022)

Confluence of algebraic rewriting systems. - Cyrille Chenavier; Benjamin Dupont; Philippe Malbos (Math. Struct. Comput. Sci., 2022)

Persistent homology of directed spaces. - Cameron Calk; Eric Goubault; Philippe Malbos (CoRR, 2023)

Polygraphs: From Rewriting to Higher Categories. - Dimitri Ara; Albert Burroni; Yves Guiraud; Philippe Malbos; François Métayer; Samuel Mimram (CoRR, 2023)

Persistent homology of partially ordered spaces. - Cameron Calk; Eric Goubault; Philippe Malbos (J. Appl. Comput. Topol., 2024)

Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. - Philippe Malbos; Tanguy Massacrier; Georg Struth (J. Autom. Reason., 2024)

Polygraphic resolutions for operated algebras. - Zuan Liu; Philippe Malbos (CoRR, 2025)

Higher Catoids, Higher Quantales and their Correspondences. - Cameron Calk; Philippe Malbos; Damien Pous; Georg Struth (Appl. Categorical Struct., 2025)