## Courcelle, Bruno

Compute Distance To:
 Author ID: courcelle.bruno Published as: Courcelle, Bruno; Courcelle, B. Homepage: http://www.labri.fr/perso/courcell/ External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · dblp · GND · IdRef · theses.fr
 Documents Indexed: 168 Publications since 1974, including 1 Book 3 Contributions as Editor Co-Authors: 46 Co-Authors with 67 Joint Publications 1,323 Co-Co-Authors
all top 5

### Co-Authors

 101 single-authored 5 Durand, Irène A. 5 Kanté, Mamadou Moustapha 5 Vuillemin, Jean E. 4 Engelfriet, Joost 4 Makowsky, Johann-Andreas 4 Nivat, Maurice 4 Rotics, Udi 3 Blumensath, Achim 3 Gavoille, Cyril 3 Rozenberg, Grzegorz 3 Twigg, Andrew 2 Arnborg, Stefan 2 Bauderon, Michel 2 Boasson, Luc 2 Braquelaire, Jean-Pierre 2 Delhommé, Christian 2 Franchi-Zannettacci, Paul 2 Kahn, Gilles 2 Lagergren, Jens 2 Lavandier, Francois 2 Proskurowski, Andrzej 2 Seese, Detlef G. 2 Sénizergues, Géraud 2 Weil, Pascal 1 Deransart, Pierre 1 Downey, Rodney Graham 1 Dussaux, V. 1 Fellows, Michael Ralph 1 Gallier, Jean H. 1 Guessarian, Irène 1 Heggernes, Pinar 1 Knapik, Teodor 1 Lapoire, Denis 1 Meister, Daniel 1 Métivier, Yves 1 Niwiński, Damian 1 Olariu, Stephan 1 Olive, Frédéric 1 Oum, Sang-Il 1 Papadopoulos, Charis 1 Pariès, A. 1 Podelski, Andreas 1 Raoult, Jean-Claude 1 Raskin, Michael A. 1 Vanicat, R. 1 Walukiewicz, Igor
all top 5

### Serials

 23 Theoretical Computer Science 13 Discrete Applied Mathematics 7 Mathematical Systems Theory 5 Information and Computation 5 Bulletin of the European Association for Theoretical Computer Science (EATCS) 5 Logical Methods in Computer Science 3 Information Processing Letters 3 Journal of Computer and System Sciences 3 RAIRO, Informatique Théorique 3 Annals of Pure and Applied Logic 3 MSCS. Mathematical Structures in Computer Science 3 RAIRO. Informatique Théorique et Applications 3 Journal of Applied Logic 2 Discrete Mathematics 2 Journal of Combinatorial Theory. Series B 2 The Electronic Journal of Combinatorics 2 Theory of Computing Systems 1 Annales de l’Institut Fourier 1 Information and Control 1 Journal of the Association for Computing Machinery 1 SIAM Journal on Computing 1 European Journal of Combinatorics 1 Annales Societatis Mathematicae Polonae. Series IV 1 Journal of Combinatorial Optimization 1 Journal of Universal Computer Science 1 Collection Didactique 1 Encyclopedia of Mathematics and Its Applications 1 RAIRO. Theoretical Informatics and Applications 1 Moscow Journal of Combinatorics and Number Theory 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
all top 5

### Fields

 142 Computer science (68-XX) 78 Mathematical logic and foundations (03-XX) 63 Combinatorics (05-XX) 6 General algebraic systems (08-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 2 Operations research, mathematical programming (90-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX)

### Citations contained in zbMATH Open

132 Publications have been cited 3,087 times in 1,609 Documents Cited by Year
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008
Courcelle, Bruno
1990
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2000
Upper bounds to the clique width of graphs. Zbl 0958.05105
Courcelle, Bruno; Olariu, Stephan
2000
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
2012
Handle-rewriting hypergraph grammars. Zbl 0825.68446
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
1993
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
1983
Graph rewriting: An algebraic and logic approach. Zbl 0900.68282
Courcelle, Bruno
1990
Graph expressions and graph rewritings. Zbl 0641.68115
Bauderon, Michel; Courcelle, Bruno
1987
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
1993
The monadic second-order logic of graphs. III: Tree-decompositions, minors and complexity issues. Zbl 0754.03006
Courcelle, B.
1992
On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Zbl 0972.05023
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2001
An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68095
Courcelle, B.
1987
Monadic second-order definable graph transductions: a survey. Zbl 0805.68077
Courcelle, Bruno
1994
The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005
Courcelle, Bruno
1994
The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability. Zbl 0754.68065
Courcelle, Bruno
1991
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars. Zbl 0636.68104
Courcelle, Bruno
1986
Attribute grammars and recursive program schemes. I. II. Zbl 0481.68068
Courcelle, Bruno; Franchi-Zannettacci, Paul
1982
Vertex-minors, monadic second-order logic, and a conjecture by Seese. Zbl 1121.03016
Courcelle, Bruno; Oum, Sang-Il
2007
An algebraic theory of graph reduction. Zbl 0795.68156
Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef
1993
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
1978
The monadic second-order logic of graphs. VII: Graphs as relational structures. Zbl 0809.03006
Courcelle, Bruno
1992
A representation of trees by languages. II. Zbl 0428.68088
Courcelle, Bruno
1978
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
1995
Frontiers of infinite trees. Zbl 0411.68065
Courcelle, B.
1978
The monadic second-order logic of graphs. X: Linear orderings. Zbl 0877.68087
Courcelle, Bruno
1996
The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043
Courcelle, Bruno
1989
Linear delay enumeration and monadic second-order logic. Zbl 1217.03024
Courcelle, Bruno
2009
Recurcive applicative program schemes. Zbl 0900.68095
Courcelle, Bruno
1990
Infinite trees in normal form and recursive equations having a unique solution. Zbl 0418.68013
Courcelle, Bruno
1979
A representation of trees by languages. I. Zbl 0377.68040
Courcelle, Bruno
1978
Query efficient implementation of graphs of bounded clique-width. Zbl 1029.68113
Courcelle, B.; Vanicat, R.
2003
The monadic second-order logic of graphs. VIII: Orientations. Zbl 0830.03016
Courcelle, Bruno
1995
The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifications. Zbl 1038.68048
Courcelle, Bruno
2003
On the expression of graph properties in some fragments of monadic second-order logic. Zbl 0883.03004
Courcelle, Bruno
1997
Structural properties of context-free sets of graphs generated by vertex replacement. Zbl 0828.68091
Courcelle, Bruno
1995
The monadic second-order logic of graphs. IV: Definability properties of equational graphs. Zbl 0731.03006
Courcelle, Bruno
1990
Automata for the verification of monadic second-order graph properties. Zbl 1285.03049
Courcelle, Bruno; Durand, Irène
2012
Algorithmes d’équivalence et de reduction à des expressions minimales dans une classe d’équations recursive simples. Zbl 0285.68022
Courcelle, B.; Kahn, G.; Vuillemin, J.
1974
Basic notions of universal algebra for language theory and graph grammars. Zbl 0874.68170
Courcelle, Bruno
1996
On jump-deterministic pushdown automata. Zbl 0365.02021
Courcelle, Bruno
1977
An axiomatic approach to the Korenjak-Hopcroft algorithms. Zbl 0581.68032
Courcelle, Bruno
1983
On the model-checking of monadic second-order formulas with edge set quantifications. Zbl 1236.05143
Courcelle, Bruno
2012
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
2002
Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
1991
On some classes of interpretations. Zbl 0392.68009
Courcelle, Bruno; Guessarian, Irene
1978
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
1998
Completeness results for the equivalence of recursive schemas. Zbl 0342.68008
Courcelle, Bruno; Vuillemin, Jean
1976
A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Zbl 1181.05010
Courcelle, Bruno
2008
Compact forbidden-set routing. Zbl 1186.68331
Courcelle, Bruno; Twigg, Andrew
2007
Clique-width of countable graphs: A compactness property. Zbl 1073.68062
Courcelle, B.
2004
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
2008
Graph operations characterizing rank-width. Zbl 1173.05349
Courcelle, Bruno; Kanté, Mamadou Moustapha
2009
Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036
Courcelle, Bruno; Walukiewicz, Igor
1998
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007
Courcelle, Bruno
2006
Clique-width and edge contraction. Zbl 1329.05278
Courcelle, Bruno
2014
The rational index: a complexity measure for languages. Zbl 0469.68083
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
1981
On the equivalence problem for attribute systems. Zbl 0529.68005
Courcelle, Bruno; Franchi-Zannettacci, Paul
1982
Graph grammars, monadic second-order logic and the theory of graph minors. Zbl 0787.05086
Courcelle, Bruno
1993
Recognizability, hypergraph operations, and logical types. Zbl 1110.03021
Blumensath, A.; Courcelle, B.
2006
Completions of ordered magmas. Zbl 0463.06005
Courcelle, Bruno; Raoult, Jean-Claude
1980
Recognizable sets of graphs: Equivalent definitions and closure properties. Zbl 0798.68090
Courcelle, Bruno
1994
The monadic second-order logic of graphs. XVI: Canonical graph decompositions. Zbl 1126.03016
Courcelle, Bruno
2006
The recognizability of sets of graphs is a robust property. Zbl 1077.68070
Courcelle, Bruno; Weil, Pascal
2005
On constructing obstruction sets of words. Zbl 0744.68074
Courcelle, Bruno
1991
The monadic second-order logic of graphs. IX: Machines and their behaviours. Zbl 0872.03026
Courcelle, Bruno
1995
Une forme canonique pour les grammaires simples déterministes. Zbl 0285.68033
Courcelle, Bruno
1974
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. Zbl 1136.68041
Courcelle, Bruno; Delhommé, Christian
2008
Coverings and minors: Application to local computations in graphs. Zbl 0788.05076
Courcelle, Bruno; Métivier, Yves
1994
Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming. Zbl 0719.68038
Courcelle, B.; Deransart, P.
1988
A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas
1991
The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs. Zbl 0938.03015
Courcelle, Bruno
1999
The monadic second-order logic of graphs. XII: Planar graphs and planar maps. Zbl 0951.03004
Courcelle, Bruno
2000
Program equivalence and canonical forms in stable discrete interpretations. Zbl 0363.68036
Berry, G.; Courcelle, B.
1976
A note on the computability of graph minor obstruction sets for monadic second order ideals. Zbl 0960.68129
Courcelle, Bruno; Downey, Rodney G.; Fellows, Michael R.
1997
On context-free sets of graphs and their monadic second-order theory. Zbl 0643.68105
Courcelle, Bruno
1987
Equivalent definitions of recognizability for sets of graphs of bounded tree-width. Zbl 0846.68054
Courcelle, Bruno; Lagergren, Jens
1996
The solutions of two star-height problems for regular trees. Zbl 0554.68037
Braquelaire, J. P.; Courcelle, B.
1984
Arbres infinis et systèmes d’équations. Zbl 0406.68017
Courcelle, Bruno
1979
Graph structure and monadic second-order logic: Language theoretical aspects. Zbl 1143.68433
Courcelle, Bruno
2008
Recursive queries and context-free graph grammars. Zbl 0716.68026
Courcelle, Bruno
1991
Computations by fly-automata beyond monadic second-order logic. Zbl 1335.68116
Courcelle, Bruno; Durand, Irène
2016
Recognizable sets of graphs, hypergraphs and relational structures: a survey. Zbl 1117.68397
Courcelle, Bruno
2004
An algebraic theory of graph reduction. Zbl 0765.68062
Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef
1991
A characterisation of clique-width through nested partitions. Zbl 1315.05110
Courcelle, Bruno; Heggernes, Pinar; Meister, Daniel; Papadopoulos, Charis; Rotics, Udi
2015
From tree-decompositions to clique-width terms. Zbl 1395.05097
Courcelle, Bruno
2018
Constrained-path labellings on graphs of bounded clique-width. Zbl 1204.68143
Courcelle, Bruno; Twigg, Andrew
2010
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
1977
The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings. Zbl 0945.68144
Courcelle, B.
2000
Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135
Courcelle, Bruno
1988
The definability of equational graphs in monadic second-order logic. Zbl 0686.68011
Courcelle, B.
1989
Model-checking by infinite fly-automata. Zbl 1398.68336
Courcelle, Bruno; Durand, Irène
2013
Fly-automata for checking monadic second-order properties of graphs of bounded tree-width. Zbl 1347.03077
Courcelle, Bruno
2015
An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68096
Courcelle, B.
1988
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0768.68130
Courcelle, B.; Mosbah, M.
1992
Erratum to “The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures”. Zbl 0831.03001
Courcelle, Bruno
1995
Graph operations characterizing rank-width and balanced graph expressions. Zbl 1141.68523
Courcelle, Bruno; Kanté, Mamadou Moustapha
2007
Facial circuits of planar graphs and context-free languages. Zbl 0914.68115
Courcelle, Bruno; Lapoire, Denis
1998
Attribute grammars: Theory and applications. Zbl 0457.68090
Courcelle, B.
1981
The modular decomposition of countable graphs: Constructions in monadic second-order logic. Zbl 1136.68452
Courcelle, Bruno; Delhommé, Christian
2005
A monadic second-order definition of the structure of convex hypergraphs. Zbl 1049.68098
Courcelle, Bruno
2002
Axiomatization of betweenness in order-theoretic trees. Zbl 07327944
Courcelle, Bruno
2021
From tree-decompositions to clique-width terms. Zbl 1395.05097
Courcelle, Bruno
2018
Fly-automata for checking $$\mathrm{MSO}_2$$ graph properties. Zbl 1445.03045
Courcelle, Bruno
2018
Several notions of rank-width for countable graphs. Zbl 1354.05038
Courcelle, Bruno
2017
Algebraic and logical descriptions of generalized trees. Zbl 1459.03007
Courcelle, Bruno
2017
Computations by fly-automata beyond monadic second-order logic. Zbl 1335.68116
Courcelle, Bruno; Durand, Irène
2016
A characterisation of clique-width through nested partitions. Zbl 1315.05110
Courcelle, Bruno; Heggernes, Pinar; Meister, Daniel; Papadopoulos, Charis; Rotics, Udi
2015
Fly-automata for checking monadic second-order properties of graphs of bounded tree-width. Zbl 1347.03077
Courcelle, Bruno
2015
Regularity equals monadic second-order definability for quasi-trees. Zbl 1465.03072
Courcelle, Bruno
2015
Clique-width and edge contraction. Zbl 1329.05278
Courcelle, Bruno
2014
Monadic second-order definable graph orderings. Zbl 1315.03015
Blumensath, Achim; Courcelle, Bruno
2014
Model-checking by infinite fly-automata. Zbl 1398.68336
Courcelle, Bruno; Durand, Irène
2013
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
2012
Automata for the verification of monadic second-order graph properties. Zbl 1285.03049
Courcelle, Bruno; Durand, Irène
2012
On the model-checking of monadic second-order formulas with edge set quantifications. Zbl 1236.05143
Courcelle, Bruno
2012
Compact labelings for efficient first-order model-checking. Zbl 1237.90191
Courcelle, Bruno; Gavoille, Cyril; Kanté, Mamadou Moustapha
2011
Fly-automata, their properties and applications. Zbl 1297.68117
Courcelle, Bruno; Durand, Irène A.
2011
Constrained-path labellings on graphs of bounded clique-width. Zbl 1204.68143
Courcelle, Bruno; Twigg, Andrew
2010
On the monadic second-order transduction hierarchy. Zbl 1198.03020
Blumensath, Achim; Courcelle, Bruno
2010
Special tree-width and the verification of monadic second-order graph properties. Zbl 1245.68133
Courcelle, Bruno
2010
Linear delay enumeration and monadic second-order logic. Zbl 1217.03024
Courcelle, Bruno
2009
Graph operations characterizing rank-width. Zbl 1173.05349
Courcelle, Bruno; Kanté, Mamadou Moustapha
2009
A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Zbl 1181.05010
Courcelle, Bruno
2008
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
2008
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. Zbl 1136.68041
Courcelle, Bruno; Delhommé, Christian
2008
Graph structure and monadic second-order logic: Language theoretical aspects. Zbl 1143.68433
Courcelle, Bruno
2008
Connectivity check in 3-connected planar graphs with obstacles. Zbl 1267.05155
Courcelle, Bruno; Gavoille, Cyril; Kanté, Mamadou Moustapha; Twigg, Andrew
2008
Vertex-minors, monadic second-order logic, and a conjecture by Seese. Zbl 1121.03016
Courcelle, Bruno; Oum, Sang-Il
2007
Compact forbidden-set routing. Zbl 1186.68331
Courcelle, Bruno; Twigg, Andrew
2007
Graph operations characterizing rank-width and balanced graph expressions. Zbl 1141.68523
Courcelle, Bruno; Kanté, Mamadou Moustapha
2007
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007
Courcelle, Bruno
2006
Recognizability, hypergraph operations, and logical types. Zbl 1110.03021
Blumensath, A.; Courcelle, B.
2006
The monadic second-order logic of graphs. XVI: Canonical graph decompositions. Zbl 1126.03016
Courcelle, Bruno
2006
The recognizability of sets of graphs is a robust property. Zbl 1077.68070
Courcelle, Bruno; Weil, Pascal
2005
The modular decomposition of countable graphs: Constructions in monadic second-order logic. Zbl 1136.68452
Courcelle, Bruno; Delhommé, Christian
2005
Clique-width of countable graphs: A compactness property. Zbl 1073.68062
Courcelle, B.
2004
Recognizable sets of graphs, hypergraphs and relational structures: a survey. Zbl 1117.68397
Courcelle, Bruno
2004
Query efficient implementation of graphs of bounded clique-width. Zbl 1029.68113
Courcelle, B.; Vanicat, R.
2003
The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifications. Zbl 1038.68048
Courcelle, Bruno
2003
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
2002
A monadic second-order definition of the structure of convex hypergraphs. Zbl 1049.68098
Courcelle, Bruno
2002
Graph operations, graph transformations and monadic second-order logic: a survey. Zbl 1263.68071
Courcelle, Bruno
2002
The evaluation of first-order substitution is monadic second-order compatible. Zbl 0996.68061
Courcelle, Bruno; Knapik, Teodor
2002
On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Zbl 0972.05023
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2001
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2000
Upper bounds to the clique width of graphs. Zbl 0958.05105
Courcelle, Bruno; Olariu, Stephan
2000
The monadic second-order logic of graphs. XII: Planar graphs and planar maps. Zbl 0951.03004
Courcelle, Bruno
2000
The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings. Zbl 0945.68144
Courcelle, B.
2000
Graph operations and monadic second-order logic: A survey. Zbl 0988.68559
Courcelle, Bruno
2000
Clique-width of countable graphs: a compactness property. Zbl 1412.05149
Courcelle, Bruno
2000
The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs. Zbl 0938.03015
Courcelle, Bruno
1999
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.). Zbl 0973.51006
Courcelle, Bruno; Olive, Frédéric
1999
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
1998
Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036
Courcelle, Bruno; Walukiewicz, Igor
1998
Facial circuits of planar graphs and context-free languages. Zbl 0914.68115
Courcelle, Bruno; Lapoire, Denis
1998
On the expression of graph properties in some fragments of monadic second-order logic. Zbl 0883.03004
Courcelle, Bruno
1997
A note on the computability of graph minor obstruction sets for monadic second order ideals. Zbl 0960.68129
Courcelle, Bruno; Downey, Rodney G.; Fellows, Michael R.
1997
The monadic second-order logic of graphs. X: Linear orderings. Zbl 0877.68087
Courcelle, Bruno
1996
Basic notions of universal algebra for language theory and graph grammars. Zbl 0874.68170
Courcelle, Bruno
1996
Equivalent definitions of recognizability for sets of graphs of bounded tree-width. Zbl 0846.68054
Courcelle, Bruno; Lagergren, Jens
1996
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
1995
The monadic second-order logic of graphs. VIII: Orientations. Zbl 0830.03016
Courcelle, Bruno
1995
Structural properties of context-free sets of graphs generated by vertex replacement. Zbl 0828.68091
Courcelle, Bruno
1995
The monadic second-order logic of graphs. IX: Machines and their behaviours. Zbl 0872.03026
Courcelle, Bruno
1995
Erratum to “The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures”. Zbl 0831.03001
Courcelle, Bruno
1995
Monadic second-order definable graph transductions: a survey. Zbl 0805.68077
Courcelle, Bruno
1994
The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005
Courcelle, Bruno
1994
Recognizable sets of graphs: Equivalent definitions and closure properties. Zbl 0798.68090
Courcelle, Bruno
1994
Coverings and minors: Application to local computations in graphs. Zbl 0788.05076
Courcelle, Bruno; Métivier, Yves
1994
Handle-rewriting hypergraph grammars. Zbl 0825.68446
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
1993
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
1993
An algebraic theory of graph reduction. Zbl 0795.68156
Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef
1993
Graph grammars, monadic second-order logic and the theory of graph minors. Zbl 0787.05086
Courcelle, Bruno
1993
The monadic second-order logic of graphs. III: Tree-decompositions, minors and complexity issues. Zbl 0754.03006
Courcelle, B.
1992
The monadic second-order logic of graphs. VII: Graphs as relational structures. Zbl 0809.03006
Courcelle, Bruno
1992
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0768.68130
Courcelle, B.; Mosbah, M.
1992
Recognizable sets of unrooted trees. Zbl 0798.68112
Courcelle, Bruno
1992
The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability. Zbl 0754.68065
Courcelle, Bruno
1991
Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
1991
On constructing obstruction sets of words. Zbl 0744.68074
Courcelle, Bruno
1991
A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas
1991
Recursive queries and context-free graph grammars. Zbl 0716.68026
Courcelle, Bruno
1991
An algebraic theory of graph reduction. Zbl 0765.68062
Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef
1991
Graphs as relational structures: An algebraic and logical approach. Zbl 0765.68085
Courcelle, Bruno
1991
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008
Courcelle, Bruno
1990
Graph rewriting: An algebraic and logic approach. Zbl 0900.68282
Courcelle, Bruno
1990
Recurcive applicative program schemes. Zbl 0900.68095
Courcelle, Bruno
1990
The monadic second-order logic of graphs. IV: Definability properties of equational graphs. Zbl 0731.03006
Courcelle, Bruno
1990
The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043
Courcelle, Bruno
1989
The definability of equational graphs in monadic second-order logic. Zbl 0686.68011
Courcelle, B.
1989
Monadic second-order logic and context-free graph-grammars. Zbl 0755.68090
Courcelle, Bruno
1989
Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming. Zbl 0719.68038
Courcelle, B.; Deransart, P.
1988
Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135
Courcelle, Bruno
1988
An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68096
Courcelle, B.
1988
On using context-free graph grammars for analyzing recursive definitions. Zbl 0675.68042
Courcelle, Bruno
1988
Graph expressions and graph rewritings. Zbl 0641.68115
Bauderon, Michel; Courcelle, Bruno
1987
An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68095
Courcelle, B.
1987
On context-free sets of graphs and their monadic second-order theory. Zbl 0643.68105
Courcelle, Bruno
1987
A representation of graphs by algebraic expressions and its use for graph rewriting systems. Zbl 0643.68104
Courcelle, Bruno
1987
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars. Zbl 0636.68104
Courcelle, Bruno
1986
...and 32 more Documents
all top 5

### Cited by 1,740 Authors

 82 Courcelle, Bruno 40 Paulusma, Daniël 34 Engelfriet, Joost 33 Golovach, Petr A. 33 Lozin, Vadim Vladislavovich 31 Thilikos, Dimitrios M. 26 Bodlaender, Hans L. 25 Ganian, Robert 24 Kanté, Mamadou Moustapha 22 Kwon, Ojoung 21 Gurski, Frank 21 Makowsky, Johann-Andreas 20 Brandstädt, Andreas 20 Otachi, Yota 19 Heggernes, Pinar 19 Lampis, Michael 19 Szeider, Stefan 19 Vogler, Heiko 18 Dabrowski, Konrad Kazimierz 18 Fomin, Fedor V. 18 Oum, Sang-Il 17 Sau, Ignasi 16 Drewes, Frank 16 Lokshtanov, Daniel 16 Milanič, Martin 15 Saurabh, Saket 14 Pilipczuk, Michał 13 Hliněný, Petr 13 Kratsch, Dieter 13 Maneth, Sebastian 13 Papadopoulos, Charis 13 Paul, Christophe 13 Sénizergues, Géraud 13 Wanke, Egon 12 Eiben, Eduard 12 Ésik, Zoltán 12 Fellows, Michael Ralph 11 Fülöp, Zoltán 11 Kamiński, Marcin Marek 11 Meister, Daniel 11 Sopena, Éric 11 Zamaraev, Victor A. 10 Bazgan, Cristina 10 Belmonte, Rémy 10 Milius, Stefan 10 Mosca, Raffaele 10 Ordyniak, Sebastian 10 Rotics, Udi 10 Telle, Jan Arne 9 De Oliveira Oliveira, Mateus 9 Kratochvíl, Jan 9 Malyshev, Dmitriĭ Sergeevich 9 Rossmanith, Peter 9 Todinca, Ioan 9 Tuza, Zsolt 9 van ’t Hof, Pim 8 Adler, Isolde 8 Broersma, Hajo J. 8 Fernau, Henning 8 Gavoille, Cyril 8 Hanaka, Tesshu 8 Knop, Dušan 8 Komander, Dominique 8 Marx, Dániel 8 Masařík, Tomáš 8 Nešetřil, Jaroslav 8 Obdržálek, Jan 8 Ossona de Mendez, Patrice 8 Padovani, Luca 8 Pinlou, Alexandre 8 Rao, Michaël 8 Rautenbach, Dieter 8 Reddy, I. Vinod 8 Rehs, Carolin 8 Souza, Uéverton S. 7 Baste, Julien 7 Bloom, Stephen L. 7 Blumensath, Achim 7 Bonomo-Braberman, Flavia 7 Bozapalidis, Symeon 7 Downey, Rodney Graham 7 Fiala, Jiří 7 Foucaud, Florent 7 Grohe, Martin 7 Hoàng, Chính T. 7 Kim, Eunjung 7 Koutecký, Martin 7 Kreutzer, Stephan 7 Lohrey, Markus 7 Mertzios, George B. 7 Mitsou, Valia 7 Müller, Haiko 7 Naserasr, Reza 7 Nisse, Nicolas 7 Paschos, Vangelis Th. 7 Protti, Fábio 7 Sikdar, Somnath 7 Traldi, Lorenzo 7 Uno, Takeaki 7 Vatshelle, Martin ...and 1,640 more Authors
all top 5

### Cited in 125 Serials

 297 Theoretical Computer Science 160 Discrete Applied Mathematics 90 Algorithmica 89 Journal of Computer and System Sciences 56 Information and Computation 49 Information Processing Letters 42 Discrete Mathematics 30 European Journal of Combinatorics 29 Acta Informatica 28 SIAM Journal on Discrete Mathematics 28 Theory of Computing Systems 21 Logical Methods in Computer Science 18 Artificial Intelligence 17 Journal of Combinatorial Theory. Series B 15 Annals of Pure and Applied Logic 15 International Journal of Foundations of Computer Science 14 RAIRO, Informatique Théorique 14 Journal of Combinatorial Optimization 12 RAIRO. Informatique Théorique et Applications 11 Mathematical Systems Theory 10 Journal of Graph Theory 10 Discrete Optimization 9 MSCS. Mathematical Structures in Computer Science 9 RAIRO. Theoretical Informatics and Applications 8 Journal of Graph Algorithms and Applications 8 Journal of Discrete Algorithms 7 SIAM Journal on Computing 7 Computer Science Review 6 Journal of Logical and Algebraic Methods in Programming 5 The Journal of Symbolic Logic 5 Graphs and Combinatorics 5 Journal of Logic, Language and Information 5 The Electronic Journal of Combinatorics 5 Discussiones Mathematicae. Graph Theory 4 Journal of Automated Reasoning 4 Combinatorics, Probability and Computing 4 Constraints 4 Theory and Practice of Logic Programming 4 ACM Transactions on Computational Logic 4 Journal of Applied Logic 4 Discrete Mathematics, Algorithms and Applications 4 Algorithms 3 Journal of Pure and Applied Algebra 3 Operations Research Letters 3 Order 3 Journal of Symbolic Computation 3 Annals of Operations Research 3 Distributed Computing 3 Formal Methods in System Design 3 Journal of Functional Programming 3 Annals of Mathematics and Artificial Intelligence 3 Discrete Mathematics and Theoretical Computer Science. DMTCS 3 Optimization Letters 3 RAIRO. Theoretical Informatics and Applications 2 Applied Mathematics and Computation 2 Networks 2 Advances in Applied Mathematics 2 Discrete & Computational Geometry 2 European Journal of Operational Research 2 International Journal of Computer Mathematics 2 Linear Algebra and its Applications 2 Archive for Mathematical Logic 2 Computational Complexity 2 Mathematical Logic Quarterly (MLQ) 2 The Bulletin of Symbolic Logic 2 Mathematical Methods of Operations Research 2 Algebraic & Geometric Topology 2 The Journal of Logic and Algebraic Programming 2 ACM Journal of Experimental Algorithmics 2 AKCE International Journal of Graphs and Combinatorics 2 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 1 Advances in Applied Probability 1 Journal of Mathematical Physics 1 Problems of Information Transmission 1 ACM Transactions on Mathematical Software 1 Algebra Universalis 1 BIT 1 Computing 1 Fuzzy Sets and Systems 1 International Journal of Computer & Information Sciences 1 Journal of Combinatorial Theory. Series A 1 Kybernetika 1 Kyungpook Mathematical Journal 1 Programming and Computer Software 1 Semigroup Forum 1 Transactions of the American Mathematical Society 1 Moscow University Computational Mathematics and Cybernetics 1 Science of Computer Programming 1 Mathematical Social Sciences 1 Bulletin of the Iranian Mathematical Society 1 Optimization 1 Journal of Computer Science and Technology 1 Applied Mathematics Letters 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Japan Journal of Industrial and Applied Mathematics 1 Computational Geometry 1 Discrete Mathematics and Applications 1 Designs, Codes and Cryptography 1 Games and Economic Behavior ...and 25 more Serials
all top 5

### Cited in 27 Fields

 1,212 Computer science (68-XX) 759 Combinatorics (05-XX) 268 Mathematical logic and foundations (03-XX) 87 Operations research, mathematical programming (90-XX) 36 Category theory; homological algebra (18-XX) 33 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 Order, lattices, ordered algebraic structures (06-XX) 20 General algebraic systems (08-XX) 11 Biology and other natural sciences (92-XX) 9 Group theory and generalizations (20-XX) 9 Probability theory and stochastic processes (60-XX) 8 Information and communication theory, circuits (94-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Convex and discrete geometry (52-XX) 6 Manifolds and cell complexes (57-XX) 5 Quantum theory (81-XX) 3 Number theory (11-XX) 3 Associative rings and algebras (16-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Commutative algebra (13-XX) 2 General topology (54-XX) 2 Statistics (62-XX) 1 Algebraic geometry (14-XX) 1 Special functions (33-XX) 1 Geometry (51-XX)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.