Michel Bauderon

Publication Activity (10 Years)

Years Active: 1986-2009
Publications (10 Years): 0

Publications

Michel Bauderon, Rui Chen, Olivier Ly
Context-Free Categorical Grammars. CAI (2009)
Michel Bauderon, Rui Chen, Olivier Ly
Pullback Grammars Are Context-Free. ICGT (2008)
Michel Bauderon, Mohamed Mosbah
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Michel Bauderon, Frédérique Carrère
Decomposing Graphs with Symmetries. ICGT (2002)
Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami
Visualization of Distributed Algorithms Based on Graph Relabelling Systems. Electron. Notes Theor. Comput. Sci. 50 (3) (2001)
Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami
Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. Electron. Notes Theor. Comput. Sci. 51 (2001)
Michel Bauderon, Andrea Corradini
Preface. Electron. Notes Theor. Comput. Sci. 51 (2001)
Michel Bauderon, Hélène Jacquet
Pullback as a Generic Graph Rewriting Mechanism. Appl. Categorical Struct. 9 (1) (2001)
Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs
Pullback rewriting and applications. Electron. Notes Theor. Comput. Sci. 51 (2001)
Michel Bauderon, Hélène Jacquet
Node rewriting in graphs and hypergraphs: a categorical framework. Theor. Comput. Sci. 266 (1-2) (2001)
Michel Bauderon, Hélène Jacquet
Node Rewriting in Hypergraphs. WG (1996)
Michel Bauderon
A Uniform Approach to Graph Rewriting: The Pullback Approach. WG (1995)
Michel Bauderon
Parallel rewriting of graphs through the pullback approach. Electron. Notes Theor. Comput. Sci. 2 (1995)
Michel Bauderon
A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs. TAGT (1994)
Michel Bauderon
Infinite Hypergraphs II: Systems of Recursive Equations. Theor. Comput. Sci. 103 (2) (1992)
Michel Bauderon
Infinite Hypergraphs I. Basic Properties. Theor. Comput. Sci. 82 (2) (1991)
Michel Bauderon
General Solution to a System of Recursive Equations. Graph-Grammars and Their Application to Computer Science (1990)
Michel Bauderon
On Systems of Equations Defining Infinite Graphs. WG (1988)
Michel Bauderon, François Laubié
Searching for Weakly Autocorrelated Binary Sequences. AAECC (1987)
Michel Bauderon, Bruno Courcelle
Graph Expressions and Graph Rewritings. Math. Syst. Theory 20 (2-3) (1987)
Michel Bauderon, Bruno Courcelle
An Algebraic Formalism for Graphs. CAAP (1986)