An Algebraic Formalism for Graphs. - Michel Bauderon; Bruno Courcelle (CAAP, 1986)

Searching for Weakly Autocorrelated Binary Sequences. - Michel Bauderon; François Laubié (AAECC, 1987)

Graph Expressions and Graph Rewritings. - Michel Bauderon; Bruno Courcelle (Math. Syst. Theory, 1987)

On Systems of Equations Defining Infinite Graphs. - Michel Bauderon (WG, 1988)

General Solution to a System of Recursive Equations. - Michel Bauderon (Graph-Grammars and Their Application to Computer Science, 1990)

Infinite Hypergraphs I. Basic Properties. - Michel Bauderon (Theor. Comput. Sci., 1991)

Infinite Hypergraphs II: Systems of Recursive Equations. - Michel Bauderon (Theor. Comput. Sci., 1992)

A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs. - Michel Bauderon (TAGT, 1994)

A Uniform Approach to Graph Rewriting: The Pullback Approach. - Michel Bauderon (WG, 1995)

Parallel rewriting of graphs through the pullback approach. - Michel Bauderon (SEGRAGRA, 1995)

Node Rewriting in Hypergraphs. - Michel Bauderon; Hélène Jacquet (WG, 1996)

Pullback as a Generic Graph Rewriting Mechanism. - Michel Bauderon; Hélène Jacquet (Appl. Categorical Struct., 2001)

Preface. - Michel Bauderon; Andrea Corradini 001 (GETGRATS Closing Workshop, 2001)

Visualization of Distributed Algorithms Based on Graph Relabelling Systems. - Michel Bauderon; Stefan Gruner; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (GT-VMT@ICALP, 2001)

Pullback rewriting and applications. - Michel Bauderon; Hélène Jacquet; Renate Klempien-Hinrichs (GETGRATS Closing Workshop, 2001)

Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. - Michel Bauderon; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (GETGRATS Closing Workshop, 2001)

Node rewriting in graphs and hypergraphs: a categorical framework. - Michel Bauderon; Hélène Jacquet (Theor. Comput. Sci., 2001)

Decomposing Graphs with Symmetries. - Michel Bauderon; Frédérique Carrère (ICGT, 2002)

A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. - Michel Bauderon; Mohamed Mosbah 001 (GT-VMT@ICGT, 2002)

Pullback Grammars Are Context-Free. - Michel Bauderon; Rui Chen; Olivier Ly (ICGT, 2008)

Context-Free Categorical Grammars. - Michel Bauderon; Rui Chen; Olivier Ly (CAI, 2009)