Michel Bauderon

	2009
21		Michel Bauderon, Rui Chen, Olivier Ly: Context-Free Categorical Grammars. CAI 2009: 160-171
	2008
20		Michel Bauderon, Rui Chen, Olivier Ly: Pullback Grammars Are Context-Free. ICGT 2008: 366-378
	2003
19		Michel Bauderon, Mohamed Mosbah: A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
	2002
18		Michel Bauderon, Frédérique Carrère: Decomposing Graphs with Symmetries. ICGT 2002: 45-59
	2001
17		Michel Bauderon, Hélène Jacquet: Pullback as a Generic Graph Rewriting Mechanism. Applied Categorical Structures 9(1): 65-82 (2001)
16		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		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		Michel Bauderon, Andrea Corradini: Preface. Electr. Notes Theor. Comput. Sci. 51: (2001)
13		Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs: Pullback rewriting and applications. Electr. Notes Theor. Comput. Sci. 51: (2001)
12		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		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

Coauthor Index

1	Frédérique Carrère	[18]
2	Rui Chen	[20] [21]
3	Andrea Corradini	[14]
4	Bruno Courcelle	[1] [2]
5	Stefan Gruner	[16]
6	Hélène Jacquet	[11] [12] [13] [17]
7	Renate Klempien-Hinrichs	[13]
8	François Laubié	[3]
9	Olivier Ly	[20] [21]
10	Yves Métivier	[15] [16]
11	Mohamed Mosbah	[15] [16] [19]
12	Afif Sellami	[15] [16]

Colors in the list of coauthors