Completion in operads via essential syzygies, (with Isaac Ren), 2021, submitted.
Shuffle polygraphic resolutions for operads, (with Isaac Ren), 2020, arXiv:2012.15718.
String of columns rewriting and plactic-like data structures, (with Nohra Hage), 2020, arXiv:2012.15649.
Algebraic coherent confluence and higher-dimensional globular Kleene algebras, (with Cameron Calk, Eric Goubault, and Georg Struth), 2020, submitted, arXiv:2006.16129.
Confluence of algebraic rewriting systems, (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,
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.