Maurice Janet’s algorithms on systems of linear partial differential equations, (with Kenji Iohara), Archive for History of Exact Sciences, to appear, 2020, aXiv: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, to appear, 2020, arXiv:1812.05062, hal-02015088.
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, arXiv:1406.0815, hal-01006220v3.
Editor of Mathematical Structures in Computer Science.
Two algebraic byways from differential equations: Gröbner Bases and Quivers
edited by K. Iohara, P. Malbos, M.-H. Saito, N. Takayama,
series Algorithms and Computations in Mathematics, volume 28, Springer, to appear, 2020, hal-02084961.