Abstract strategies and coherence, (with Cameron Calk and Eric Goubault), 2021, submitted.
Shuffle polygraphic resolutions for operads, (with Isaac Ren), 2020, submitted, 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.
Completion in operads via essential syzygies, (with Isaac Ren), International Symposium on Symbolic and Algebraic Computation (ISSAC 2021), Association for Computing Machinery, to appear, 2021,
Maurice Janet’s algorithms on systems of linear partial differential equations, (with Kenji Iohara), Archive for History of Exact Sciences, Vol. 75, pp. 43–81, 2021,
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,