Michel Bauderon

22 papers B 5Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2009 — conf
Context-Free Categorical Grammars.
CAI
Michel Bauderon, Rui Chen, Olivier Ly
2008 B conf
Pullback Grammars Are Context-Free.
ICGT
Michel Bauderon, Rui Chen, Olivier Ly
2002 — conf
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms.
GT-VMT@ICGT
Michel Bauderon, Mohamed Mosbah
2002 B conf
Decomposing Graphs with Symmetries.
ICGT
Michel Bauderon, Frédérique Carrère
2001 — ed.
GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001
GETGRATS Closing Workshop
Michel Bauderon, Andrea Corradini
2001 — conf
Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms.
GETGRATS Closing Workshop
Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami
2001 J jnl
Node rewriting in graphs and hypergraphs: a categorical framework.
Theor. Comput. Sci.
Michel Bauderon, Hélène Jacquet
2001 — conf
Preface.
GETGRATS Closing Workshop
Michel Bauderon, Andrea Corradini
2001 J jnl
Pullback as a Generic Graph Rewriting Mechanism.
Appl. Categorical Struct.
Michel Bauderon, Hélène Jacquet
2001 — conf
Pullback rewriting and applications.
GETGRATS Closing Workshop
Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs
2001 — conf
Visualization of Distributed Algorithms Based on Graph Relabelling Systems.
GT-VMT@ICALP
Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami
1996 B conf
Node Rewriting in Hypergraphs.
WG
Michel Bauderon, Hélène Jacquet
1995 B conf
A Uniform Approach to Graph Rewriting: The Pullback Approach.
WG
Michel Bauderon
1995 — conf
Parallel rewriting of graphs through the pullback approach.
SEGRAGRA
Michel Bauderon
1994 — conf
A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs.
TAGT
Michel Bauderon
1992 J jnl
Infinite Hypergraphs II: Systems of Recursive Equations.
Theor. Comput. Sci.
Michel Bauderon
1991 J jnl
Infinite Hypergraphs I. Basic Properties.
Theor. Comput. Sci.
Michel Bauderon
1990 — conf
General Solution to a System of Recursive Equations.
Graph-Grammars and Their Application to Computer Science
Michel Bauderon
1988 B conf
On Systems of Equations Defining Infinite Graphs.
WG
Michel Bauderon
1987 J jnl
Graph Expressions and Graph Rewritings.
Math. Syst. Theory
Michel Bauderon, Bruno Courcelle
1987 — conf
Searching for Weakly Autocorrelated Binary Sequences.
AAECC
Michel Bauderon, François Laubié
1986 — conf
An Algebraic Formalism for Graphs.
CAAP
Michel Bauderon, Bruno Courcelle