Philippe Malbos

22 papers B 3C 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cubical coherent confluence, ω-groupoids and the cube equation.
CoRR
Philippe Malbos, Tanguy Massacrier, Georg Struth
2025 J jnl
Higher Catoids, Higher Quantales and their Correspondences.
Appl. Categorical Struct.
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
2025 J jnl
Polygraphic resolutions for operated algebras.
CoRR
Zuan Liu, Philippe Malbos
2024 J jnl
Persistent homology of partially ordered spaces.
J. Appl. Comput. Topol.
Cameron Calk, Eric Goubault, Philippe Malbos
2024 J jnl
Single-Set Cubical Categories and Their Formalisation with a Proof Assistant.
J. Autom. Reason.
Philippe Malbos, Tanguy Massacrier, Georg Struth
2024 J jnl
Single-set cubical categories and their formalisation with a proof assistant.
CoRR
Philippe Malbos, Tanguy Massacrier, Georg Struth
2023 J jnl
Higher Catoids, Higher Quantales and their Correspondences.
CoRR
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
2023 J jnl
Persistent homology of directed spaces.
CoRR
Cameron Calk, Eric Goubault, Philippe Malbos
2023 J jnl
Polygraphs: From Rewriting to Higher Categories.
CoRR
Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
2022 J jnl
Algebraic coherent confluence and higher globular Kleene algebras.
Log. Methods Comput. Sci.
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2022 J jnl
Confluence of algebraic rewriting systems.
Math. Struct. Comput. Sci.
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
2021 C conf
Abstract Strategies and Coherence.
RAMiCS
Cameron Calk, Eric Goubault, Philippe Malbos
2021 B conf
Completion in Operads via Essential Syzygies.
ISSAC
Philippe Malbos, Isaac Ren
2020 J jnl
Algebraic coherent confluence and higher-dimensional globular Kleene algebras.
CoRR
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2018 J jnl
Polygraphs of finite derivation type.
Math. Struct. Comput. Sci.
Yves Guiraud, Philippe Malbos
2018 J jnl
Time-reversal homotopical properties of concurrent systems.
CoRR
Cameron Calk, Eric Goubault, Philippe Malbos
2016 B conf
Homological Computations for Term Rewriting Systems.
FSCD
Philippe Malbos, Samuel Mimram
2014 B conf
Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures.
CASC
Aurelien Grolet, Philippe Malbos, Fabrice Thouverez
2013 — conf
A Homotopical Completion Procedure with Applications to Coherence of Monoids.
RTA
Yves Guiraud, Philippe Malbos, Samuel Mimram
2012 J jnl
Coherence in monoidal track categories.
Math. Struct. Comput. Sci.
Yves Guiraud, Philippe Malbos
2002 — conf
Rewriting Systems and Hochschild-Mitchell Homology.
GETCO
Philippe Malbos
2002 — conf
The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation.
UMC
Frédéric Gruau, Philippe Malbos