Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique. (The lattice of reduction operators: applications to noncommutative Gröbner bases and homological algebra). - Cyrille Chenavier (2016)

A lattice formulation of the F4 completion procedure. - Cyrille Chenavier (CoRR, 2017)

Syzygies among reduction operators. - Cyrille Chenavier (CoRR, 2017)

Reduction operators and completion of rewriting systems. - Cyrille Chenavier (J. Symb. Comput., 2018)

Topological rewriting systems applied to standard bases and syntactic algebras. - Cyrille Chenavier (CoRR, 2019)

A lattice formulation of the noncommutative F4 procedure. - Cyrille Chenavier (Int. J. Algebra Comput., 2019)

Normal forms of matrix words for stability analysis of discrete-time switched linear systems. - Cyrille Chenavier; Rosane Ushirobira; Laurentiu Hetel (ECC, 2020)

Compatible rewriting of noncommutative polynomials for proving operator identities. - Cyrille Chenavier; Clemens Hofstadler; Clemens G. Raab; Georg Regensburger (ISSAC, 2020)

Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions. - Cyrille Chenavier; Maxime Lucas (CoRR, 2020)

Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems. - Cyrille Chenavier; Christophe Cordero; Samuele Giraudo (Exp. Math., 2021)

Confluence of algebraic rewriting systems. - Cyrille Chenavier; Benjamin Dupont; Philippe Malbos (Math. Struct. Comput. Sci., 2022)

Topological closure of formal powers series ideals and application to topological rewriting theory. - Cyrille Chenavier; Thomas Cluzeau; Adya Musson-Leymarie (J. Symb. Comput., 2025)