| 2008 |
|---|
| 20 | EE | Michel Bauderon,
Rui Chen,
Olivier Ly:
Pullback Grammars Are Context-Free.
ICGT 2008: 366-378 |
| 2003 |
|---|
| 19 | EE | Michel Bauderon,
Mohamed Mosbah:
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 2002 |
|---|
| 18 | EE | Michel Bauderon,
Frédérique Carrère:
Decomposing Graphs with Symmetries.
ICGT 2002: 45-59 |
| 2001 |
|---|
| 17 | EE | Michel Bauderon,
Hélène Jacquet:
Pullback as a Generic Graph Rewriting Mechanism.
Applied Categorical Structures 9(1): 65-82 (2001) |
| 16 | EE | Michel Bauderon,
Stefan Gruner,
Yves Métivier,
Mohamed Mosbah,
Afif Sellami:
Visualization of Distributed Algorithms Based on Graph Relabelling Systems.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
| 15 | EE | Michel Bauderon,
Yves Métivier,
Mohamed Mosbah,
Afif Sellami:
Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 14 | EE | Michel Bauderon,
Andrea Corradini:
Preface.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 13 | EE | Michel Bauderon,
Hélène Jacquet,
Renate Klempien-Hinrichs:
Pullback rewriting and applications.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 12 | EE | Michel Bauderon,
Hélène Jacquet:
Node rewriting in graphs and hypergraphs: a categorical framework.
Theor. Comput. Sci. 266(1-2): 463-487 (2001) |
| 1996 |
|---|
| 11 | | Michel Bauderon,
Hélène Jacquet:
Node Rewriting in Hypergraphs.
WG 1996: 31-43 |
| 1995 |
|---|
| 10 | | Michel Bauderon:
A Uniform Approach to Graph Rewriting: The Pullback Approach.
WG 1995: 101-115 |
| 9 | EE | Michel Bauderon:
Parallel rewriting of graphs through the pullback approach.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1994 |
|---|
| 8 | | Michel Bauderon:
A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs.
TAGT 1994: 27-37 |
| 1992 |
|---|
| 7 | | Michel Bauderon:
Infinite Hypergraphs II: Systems of Recursive Equations.
Theor. Comput. Sci. 103(2): 165-190 (1992) |
| 1991 |
|---|
| 6 | | Michel Bauderon:
Infinite Hypergraphs I. Basic Properties.
Theor. Comput. Sci. 82(2): 177-214 (1991) |
| 1990 |
|---|
| 5 | | Michel Bauderon:
General Solution to a System of Recursive Equations.
Graph-Grammars and Their Application to Computer Science 1990: 113-126 |
| 1988 |
|---|
| 4 | | Michel Bauderon:
On Systems of Equations Defining Infinite Graphs.
WG 1988: 54-73 |
| 1987 |
|---|
| 3 | | Michel Bauderon,
François Laubié:
Searching for Weakly Autocorrelated Binary Sequences.
AAECC 1987: 25-34 |
| 2 | | Michel Bauderon,
Bruno Courcelle:
Graph Expressions and Graph Rewritings.
Mathematical Systems Theory 20(2-3): 83-127 (1987) |
| 1986 |
|---|
| 1 | | Michel Bauderon,
Bruno Courcelle:
An Algebraic Formalism for Graphs.
CAAP 1986: 74-84 |
