Philippe Malbos

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 12

Top Topics

Rewriting Systems

Top Venues

Math. Struct. Comput. Sci.

Publications

Philippe Malbos, Tanguy Massacrier, Georg Struth
Single-set cubical categories and their formalisation with a proof assistant. CoRR (2024)
Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
Polygraphs: From Rewriting to Higher Categories. CoRR (2023)
Cameron Calk, Eric Goubault, Philippe Malbos
Persistent homology of directed spaces. CoRR (2023)
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
Higher Catoids, Higher Quantales and their Correspondences. CoRR (2023)
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
Confluence of algebraic rewriting systems. Math. Struct. Comput. Sci. 32 (7) (2022)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18 (4) (2022)
Philippe Malbos, Isaac Ren
Completion in Operads via Essential Syzygies. ISSAC (2021)
Cameron Calk, Eric Goubault, Philippe Malbos
Abstract Strategies and Coherence. RAMiCS (2021)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR (2020)
Cameron Calk, Eric Goubault, Philippe Malbos
Time-reversal homotopical properties of concurrent systems. CoRR (2018)
Yves Guiraud, Philippe Malbos
Polygraphs of finite derivation type. Math. Struct. Comput. Sci. 28 (2) (2018)
Philippe Malbos, Samuel Mimram
Homological Computations for Term Rewriting Systems. FSCD (2016)
Aurelien Grolet, Philippe Malbos, Fabrice Thouverez
Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures. CASC (2014)
Yves Guiraud, Philippe Malbos, Samuel Mimram
A Homotopical Completion Procedure with Applications to Coherence of Monoids. RTA (2013)
Yves Guiraud, Philippe Malbos
Coherence in monoidal track categories. Math. Struct. Comput. Sci. 22 (6) (2012)
Philippe Malbos
Rewriting Systems and Hochschild-Mitchell Homology. Electron. Notes Theor. Comput. Sci. 81 (2003)
Frédéric Gruau, Philippe Malbos
The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation. UMC (2002)