Michel Bauderon

According to our database, Michel Bauderon authored at least 21 papers between 1986 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Context-Free Categorical Grammars.

Michel Bauderon, Rui Chen, Olivier Ly

Proceedings of the Algebraic Informatics, Third International Conference, 2009

2008

Pullback Grammars Are Context-Free.

Michel Bauderon, Rui Chen, Olivier Ly

Proceedings of the Graph Transformations, 4th International Conference, 2008

2002

A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms.

Michel Bauderon, Mohamed Mosbah

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Decomposing Graphs with Symmetries.

Michel Bauderon, Frédérique Carrère

Proceedings of the Graph Transformation, First International Conference, 2002

2001

Node rewriting in graphs and hypergraphs: a categorical framework.

Michel Bauderon, Hélène Jacquet

Theor. Comput. Sci., 2001

Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms.

Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Pullback rewriting and applications.

Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Visualization of Distributed Algorithms Based on Graph Relabelling Systems.

Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Preface.

Michel Bauderon, Andrea Corradini

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Pullback as a Generic Graph Rewriting Mechanism.

Michel Bauderon, Hélène Jacquet

Appl. Categorical Struct., 2001

1996

Node Rewriting in Hypergraphs.

Michel Bauderon, Hélène Jacquet

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1996

1995

Parallel rewriting of graphs through the pullback approach.

Michel Bauderon

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

A Uniform Approach to Graph Rewriting: The Pullback Approach.

Michel Bauderon

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995

1994

A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs.

Michel Bauderon

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1992

Infinite Hypergraphs II: Systems of Recursive Equations.

Michel Bauderon

Theor. Comput. Sci., 1992

1991

Infinite Hypergraphs I. Basic Properties.

Michel Bauderon

Theor. Comput. Sci., 1991

1990

General Solution to a System of Recursive Equations.

Michel Bauderon

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1988

On Systems of Equations Defining Infinite Graphs.

Michel Bauderon

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1988

1987

Graph Expressions and Graph Rewritings.

Michel Bauderon, Bruno Courcelle

Math. Syst. Theory, 1987

Searching for Weakly Autocorrelated Binary Sequences.

Michel Bauderon, François Laubié

Proceedings of the Applied Algebra, 1987

1986

An Algebraic Formalism for Graphs.

Michel Bauderon, Bruno Courcelle

Proceedings of the CAAP '86, 1986