Algebraic coherent confluence and higher-dimensional globular Kleene algebras, (with Cameron Calk, Eric Goubault, and Georg Struth), 2020, arXiv:2006.16129.
Algebraic polygraphs modulo and linear rewriting, (with Cyrille Chenavier and Benjamin Dupont), 2020, arXiv:2004.14361.
Maurice Janet’s algorithms on systems of linear partial differential equations, (with Kenji Iohara), Archive for History of Exact Sciences, to appear, 2020, arXiv:1911.09703, hal-02375192.
Coherence of monoids by insertions and Chinese syzygies, (with Nohra Hage), 2019, submitted, arXiv:1901.09879, hal-02015084.
Coherent confluence modulo relations and double groupoids, (with Benjamin Dupont), 2018, submitted, arXiv:1810.08184, hal-01898868.
Time-reversal homotopical properties of concurrent systems, (with Cameron Calk and Eric Goubault), Homology, Homotopy and Applications, Vol. 22, No. 2, pp. 31-57, 2020.
Convergent presentations and polygraphic resolutions of associative algebras, (with Yves Guiraud and Eric Hoffbeck), Mathematische Zeitschrift, Vol. 293, Issue 1–2, pp. 113–179, 2019.