MIC: Algebraic Agent Environment. - Abdelkader Gouaïch; Yves Guiraud (ISMIS, 2003)

MIC: A Deployment Environment for Autonomous Agents. - Abdelkader Gouaïch; Fabien Michel; Yves Guiraud (E4MAS, 2004)

Présentations d'opérades et systèmes de réécriture. (Operad presentations and rewrite systems). - Yves Guiraud (2004)

The three dimensions of proofs. - Yves Guiraud (Ann. Pure Appl. Log., 2006)

Termination orders for 3-dimensional rewriting - Yves Guiraud (CoRR, 2006)

Termination orders for 3-polygraphs - Yves Guiraud (CoRR, 2006)

Two polygraphic presentations of Petri nets. - Yves Guiraud (Theor. Comput. Sci., 2006)

Polygraphs for termination of left-linear term rewriting systems - Yves Guiraud (CoRR, 2007)

Intensional Properties of Polygraphs. - Guillaume Bonfante; Yves Guiraud (TERMGRAPH@ETAPS, 2007)

Programs as polygraphs: computability and complexity - Guillaume Bonfante; Yves Guiraud (Logical Methods in Computer Science, 2009)

Coherence in monoidal track categories. - Yves Guiraud; Philippe Malbos (Math. Struct. Comput. Sci., 2012)

A Homotopical Completion Procedure with Applications to Coherence of Monoids. - Yves Guiraud; Philippe Malbos; Samuel Mimram (RTA, 2013)

Quadratic normalization in monoids. - Patrick Dehornoy; Yves Guiraud (Int. J. Algebra Comput., 2016)

Polygraphs of finite derivation type. - Yves Guiraud; Philippe Malbos (Math. Struct. Comput. Sci., 2018)

Rewriting methods in higher algebra. (Méthodes de réécriture en algèbre supérieure). - Yves Guiraud (2019)

Polygraphs: From Rewriting to Higher Categories. - Dimitri Ara; Albert Burroni; Yves Guiraud; Philippe Malbos; François Métayer; Samuel Mimram (CoRR, 2023)