| Publication | Date of Publication | Type |
|---|
Persistent homology of partially ordered spaces
Journal of Applied and Computational Topology | 2025-01-22 | Paper |
| Completion in operads via essential syzygies | 2025-01-20 | Paper |
Single-set cubical categories and their formalisation with a proof assistant
Journal of Automated Reasoning | 2024-12-16 | Paper |
| Polygraphs: From Rewriting to Higher Categories | 2023-12-01 | Paper |
Shuffle polygraphic resolutions for operads
Journal of the London Mathematical Society | 2023-08-22 | Paper |
| Persistent homology of directed spaces | 2023-05-05 | Paper |
| Abstract strategies and coherence | 2023-03-30 | Paper |
Confluence of algebraic rewriting systems
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
Algebraic coherent confluence and higher globular Kleene algebras
Logical Methods in Computer Science | 2023-01-09 | Paper |
Coherent confluence modulo relations and double groupoids
Journal of Pure and Applied Algebra | 2022-05-10 | Paper |
| Tell me about \dots\ topological persistence | 2022-03-25 | Paper |
Chinese syzygies by insertions
Semigroup Forum | 2022-01-25 | Paper |
Maurice Janet's algorithms on systems of linear partial differential equations
Archive for History of Exact Sciences | 2021-03-25 | Paper |
| String of columns rewriting and confluence of the jeu de taquin | 2020-12-31 | Paper |
Noncommutative Gröbner bases: applications and generalizations
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers | 2020-06-29 | Paper |
From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers | 2020-06-29 | Paper |
Time-reversal homotopical properties of concurrent systems
Homology, Homotopy and Applications | 2020-05-27 | Paper |
Convergent presentations and polygraphic resolutions of associative algebras
Mathematische Zeitschrift | 2019-09-17 | Paper |
Chinese syzygies by insertions
(available as arXiv preprint) | 2019-01-28 | Paper |
Polygraphs of finite derivation type
Mathematical Structures in Computer Science | 2018-01-11 | Paper |
| From analytical mechanical problems to rewriting theory through M. Janet | 2017-12-29 | Paper |
Knuth's coherent presentations of plactic monoids of type A
Algebras and Representation Theory | 2017-11-17 | Paper |
| Homological computations for term rewriting systems | 2017-10-17 | Paper |
| scientific article; zbMATH DE number 6679826 (Why is no real title available?) | 2017-02-01 | Paper |
| Coherence of string rewriting systems by decreasingness | 2016-12-29 | Paper |
Coherent presentations of Artin monoids
Compositio Mathematica | 2015-06-29 | Paper |
Eigenvalue method with symmetry and vibration analysis of cyclic structures
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
| Identities among relations for higher-dimensional rewriting systems | 2013-12-12 | Paper |
Identities among relations for higher-dimensional rewriting systems
(available as arXiv preprint) | 2013-12-12 | Paper |
| Rewriting systems and Hochschild-Mitchell homology | 2013-08-23 | Paper |
Coherence in monoidal track categories
Mathematical Structures in Computer Science | 2012-11-22 | Paper |
Higher-dimensional normalisation strategies for acyclicity
Advances in Mathematics | 2012-10-16 | Paper |
| Higher-dimensional categories with finite derivation type | 2009-11-21 | Paper |
Higher-dimensional categories with finite derivation type
(available as arXiv preprint) | 2009-11-21 | Paper |
| Higher-dimensional categories with finite derivation type | 2009-11-21 | Paper |
| scientific article; zbMATH DE number 2013805 (Why is no real title available?) | 2003-12-07 | Paper |
Single-set cubical categories and their formalisation with a proof assistant
(available as arXiv preprint) | N/A | Paper |
