| Higher-dimensional categories with finite derivation type Y Guiraud, P Malbos arXiv preprint arXiv:0810.1442, 2008 | 86 | 2008 |
| Polygraphs of finite derivation type Y Guiraud, P Malbos Mathematical Structures in Computer Science 28 (2), 155-201, 2018 | 76 | 2018 |
| Higher-dimensional normalisation strategies for acyclicity Y Guiraud, P Malbos Advances in Mathematics 231 (3-4), 2294-2351, 2012 | 69 | 2012 |
| Coherent presentations of Artin monoids S Gaussent, Y Guiraud, P Malbos Compositio Mathematica 151 (5), 957-998, 2015 | 63 | 2015 |
| A multifractal mass transference principle for Gibbs measures with applications to dynamical Diophantine approximation AH Fan, J Schmeling, S Troubetzkoy Proceedings of the London Mathematical Society 107 (5), 1173-1219, 2013 | 53 | 2013 |
| Convergent presentations and polygraphic resolutions of associative algebras Y Guiraud, E Hoffbeck, P Malbos arXiv preprint arXiv:1406.0815, 2014 | 51* | 2014 |
| Coherence in monoidal track categories Y Guiraud, P Malbos Mathematical Structures in Computer Science 22 (6), 931-969, 2012 | 39 | 2012 |
| A homotopical completion procedure with applications to coherence of monoids Y Guiraud, P Malbos, S Mimram RTA-24th International Conference on Rewriting Techniques and Applications …, 2013 | 36 | 2013 |
| Knuth’s coherent presentations of plactic monoids of type A N Hage, P Malbos Algebras and Representation Theory 20 (5), 1259-1288, 2017 | 31 | 2017 |
| The Blob: A Basic Topological Concept for “Hardware-Free” Distributed Computation F Gruau, P Malbos International Conference on Unconventional Methods of Computation, 151-163, 2002 | 17 | 2002 |
| Coherent confluence modulo relations and double groupoids B Dupont, P Malbos arXiv preprint arXiv:1810.08184, 2018 | 15* | 2018 |
| Identities among relations for higher-dimensional rewriting systems Y Guiraud, P Malbos Séminaires et congrčs 26, 145-161, 2013 | 15 | 2013 |
| A framework for supervised conceptualizing GM Da Nobrega, E Castro, P Malbos, J Sallantin, SA Cerri ECAI'00, 17.1-17.4, 2000 | 15 | 2000 |
| Rewriting systems and hochschild-mitchell homology P Malbos Electronic Notes in Theoretical Computer Science 81, 59-72, 2003 | 14 | 2003 |
| Homological computations for term rewriting systems P Malbos, S Mimram 1st International Conference on Formal Structures for Computation and …, 2016 | 13 | 2016 |
| Polygraphs: from rewriting to higher categories D Ara, A Burroni, Y Guiraud, P Malbos, F Métayer, S Mimram arXiv preprint arXiv:2312.00429, 2023 | 12 | 2023 |
| Confluence of algebraic rewriting systems C Chenavier, B Dupont, P Malbos Mathematical Structures in Computer Science 32 (7), 870-897, 2022 | 11 | 2022 |
| Modeling through human-computer interactions and mathematical discourse GM da Nóbrega, P Malbos, J Sallantin Logical and computational aspects of model-based reasoning, 293-311, 2002 | 11 | 2002 |
| Algebraic coherent confluence and higher globular Kleene algebras C Calk, E Goubault, P Malbos, G Struth Logical Methods in Computer Science 18, 2022 | 8 | 2022 |
| Chinese syzygies by insertions N Hage, P Malbos Semigroup Forum, 1-21, 2022 | 7 | 2022 |
Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de ParisVerified email at polytechnique.edu
