Preprints
- 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.
Recent publications
- Time-reversal homotopical properties of concurrent systems, (with Cameron Calk and Eric Goubault), Homology, Homotopy and Applications, to appear, 2019, arXiv:1812.05062, hal-02015088.
- Convergent presentations and polygraphic resolutions of associative algebras, (with Yves Guiraud and Eric Hoffbeck), Mathematische Zeitschrift, to appear, 2019, arXiv:1406.0815, hal-01006220v3.
Editorial
- Editor of Mathematical Structures in Computer Science.
- Book: 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, 2019, hal-02084961.
Announcements
-
Representation Theory, from Schubert Calculus to Rewriting,
Master of Advanced Mathematics second year,
2019 - 2020, Lyon.
