Philippe Malbos

According to our database, Philippe Malbos authored at least 17 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Single-Set Cubical Categories and Their Formalisation with a Proof Assistant.

Philippe Malbos, Tanguy Massacrier, Georg Struth

J. Autom. Reason., December, 2024

2023

Polygraphs: From Rewriting to Higher Categories.

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram

CoRR, 2023

Higher Catoids, Higher Quantales and their Correspondences.

Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth

CoRR, 2023

Persistent homology of directed spaces.

Cameron Calk, Eric Goubault, Philippe Malbos

CoRR, 2023

2022

Confluence of algebraic rewriting systems.

Cyrille Chenavier, Benjamin Dupont, Philippe Malbos

Math. Struct. Comput. Sci., August, 2022

Algebraic coherent confluence and higher globular Kleene algebras.

Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth

Log. Methods Comput. Sci., 2022

2021

Completion in Operads via Essential Syzygies.

Philippe Malbos, Isaac Ren

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

Abstract Strategies and Coherence.

Cameron Calk, Eric Goubault, Philippe Malbos

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Algebraic coherent confluence and higher-dimensional globular Kleene algebras.

Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth

CoRR, 2020

2018

Polygraphs of finite derivation type.

Yves Guiraud, Philippe Malbos

Math. Struct. Comput. Sci., 2018

Time-reversal homotopical properties of concurrent systems.

Cameron Calk, Eric Goubault, Philippe Malbos

CoRR, 2018

2016

Homological Computations for Term Rewriting Systems.

Philippe Malbos, Samuel Mimram

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2014

Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures.

Aurelien Grolet, Philippe Malbos, Fabrice Thouverez

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

A Homotopical Completion Procedure with Applications to Coherence of Monoids.

Yves Guiraud, Philippe Malbos, Samuel Mimram

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Coherence in monoidal track categories.

Yves Guiraud, Philippe Malbos

Math. Struct. Comput. Sci., 2012

2002

Rewriting Systems and Hochschild-Mitchell Homology.

Philippe Malbos

Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002

The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation.

Frédéric Gruau, Philippe Malbos

Proceedings of the Unconventional Models of Computation, Third International Conference, 2002