Higher-dimensional categories with finite derivation type Y Guiraud, P Malbos arXiv preprint arXiv:0810.1442, 2008 | 62 | 2008 |

Polygraphs of finite derivation type Y Guiraud, P Malbos Mathematical Structures in Computer Science 28 (2), 155-201, 2018 | 45 | 2018 |

Higher-dimensional normalisation strategies for acyclicity Y Guiraud, P Malbos Advances in Mathematics 231 (3-4), 2294-2351, 2012 | 40 | 2012 |

Coherent presentations of Artin monoids S Gaussent, Y Guiraud, P Malbos Compositio Mathematica 151 (5), 957-998, 2015 | 38 | 2015 |

Convergent presentations and polygraphic resolutions of associative algebras Y Guiraud, E Hoffbeck, P Malbos arXiv preprint arXiv:1406.0815, 2014 | 30* | 2014 |

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 | 25 | 2013 |

Coherence in monoidal track categories Y Guiraud, P Malbos Mathematical Structures in Computer Science 22 (6), 931-969, 2012 | 23 | 2012 |

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 | 16 | 2002 |

Rewriting systems and hochschild-mitchell homology P Malbos Electronic Notes in Theoretical Computer Science 81, 59-72, 2003 | 14 | 2003 |

A framework for supervised conceptualizing GM Da Nobrega, E Castro, P Malbos, J Sallantin, SA Cerri ECAI'00: pp, 17.1-17.4, 2000 | 14 | 2000 |

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 | 12 | 2002 |

Knuth’s coherent presentations of plactic monoids of type A N Hage, P Malbos Algebras and Representation Theory 20 (5), 1259-1288, 2017 | 11 | 2017 |

Identities among relations for higher-dimensional rewriting systems Y Guiraud, P Malbos Séminaires et congrès 26, 145-161, 2013 | 11 | 2013 |

Homological computations for term rewriting systems P Malbos, S Mimram 1st International Conference on Formal Structures for Computation and …, 2016 | 7 | 2016 |

Coherent confluence modulo relations and double groupoids B Dupont, P Malbos arXiv preprint arXiv:1810.08184, 2018 | 6 | 2018 |

From analytical mechanics problems to rewriting theory through M. Janet’s work K Iohara, P Malbos Two algebraic byways from differential equations: Gröbner Bases and Quivers …, 2020 | 3 | 2020 |

Coherence of string rewriting systems by decreasingness C Alleaume, P Malbos arXiv preprint arXiv:1612.09193, 2016 | 3 | 2016 |

Algebraic polygraphs modulo and linear rewriting C Chenavier, B Dupont, P Malbos arXiv preprint arXiv:2004.14361, 2020 | 2 | 2020 |

Algébre appliquée: Introduction aux bases de Gröbner et à leurs applications, lecture notes, version 4 May 2015 P Malbos, T Blossier | 2 | 2015 |

Noncommutative gröbner bases: applications and generalizations P Malbos Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers …, 2020 | 1 | 2020 |