×
Author ID: courcelle.bruno Recent zbMATH articles by "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
Videos: carmin.tv

Publications by Year

Citations contained in zbMATH Open

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

Cited by 2,119 Authors

91 Courcelle, Bruno
55 Paulusma, Daniël
42 Golovach, Petr A.
41 Thilikos, Dimitrios M.
36 Lozin, Vadim Vladislavovich
35 Bodlaender, Hans L.
34 Engelfriet, Joost
31 Ganian, Robert
31 Kanté, Mamadou Moustapha
31 Kwon, O. joung
31 Otachi, Yota
30 Lampis, Michael
27 Sau, Ignasi
25 Dabrowski, Konrad Kazimierz
25 Fomin, Fedor V.
24 Brandstädt, Andreas
24 Gurski, Frank
24 Makowsky, Johann-Andreas
24 Szeider, Stefan
23 Oum, Sang-Il
22 Lokshtanov, Daniel
22 Milanič, Martin
20 Drewes, Frank
20 Heggernes, Pinar
20 Pilipczuk, Michał
19 Vogler, Heiko
18 Hliněný, Petr
17 Fellows, Michael Ralph
17 Hanaka, Tesshu
17 Paul, Christophe
17 Saurabh, Saket
16 Papadopoulos, Charis
16 Souza, Uéverton S.
16 Telle, Jan Arne
16 Wanke, Egon
15 Eiben, Eduard
14 Belmonte, Rémy
14 De Oliveira Oliveira, Mateus
14 Ésik, Zoltán
14 Grohe, Martin
14 Kratsch, Dieter
14 Sénizergues, Géraud
13 Kratochvíl, Jan
13 Kreutzer, Stephan
13 Ordyniak, Sebastian
13 Rossmanith, Peter
13 Siebertz, Sebastian
12 Kamiński, Marcin Marek
12 Malyshev, Dmitriĭ Sergeevich
12 Meister, Daniel
12 Ono, Hirotaka
12 Ossona de Mendez, Patrice
12 Reddy, I. Vinod
12 Sopena, Éric
12 Todinca, Ioan
12 Zamaraev, Victor A.
11 Bergougnoux, Benjamin
11 Fülöp, Zoltán
11 Marx, Dániel
11 Masařík, Tomáš
11 Mitsou, Valia
11 Nešetřil, Jaroslav
11 Obdržálek, Jan
11 Rotics, Udi
10 Adler, Isolde
10 Bauderon, Michel
10 Bazgan, Cristina
10 Bojańczyk, Mikołaj
10 Gavoille, Cyril
10 Komander, Dominique
10 Maneth, Sebastian
10 Milius, Stefan
10 Mosca, Raffaele
10 Padovani, Luca
10 Rautenbach, Dieter
10 Rehs, Carolin
9 Baste, Julien
9 Bonomo-Braberman, Flavia
9 Ducoffe, Guillaume
9 Fiala, Jiří
9 Foucaud, Florent
9 Huang, Shenwei
9 Katsikarelis, Ioannis
9 Kim, Eunjung
9 Kobayashi, Yasuaki
9 Nisse, Nicolas
9 Paschos, Vangelis Th.
9 Pinlou, Alexandre
9 Protti, Fábio
9 Rosamond, Frances A.
9 Tuza, Zsolt
9 van ’t Hof, Pim
8 Bloom, Stephen L.
8 Bonnet, Edouard
8 Brettell, Nick
8 Broersma, Hajo J.
8 Eppstein, David Arthur
8 Fernau, Henning
8 Filiot, Emmanuel
8 Fürer, Martin
...and 2,019 more Authors
all top 5

Cited in 143 Serials

319 Theoretical Computer Science
182 Discrete Applied Mathematics
106 Algorithmica
92 Journal of Computer and System Sciences
60 Information and Computation
49 Information Processing Letters
46 Discrete Mathematics
32 SIAM Journal on Discrete Mathematics
32 Theory of Computing Systems
31 European Journal of Combinatorics
29 Acta Informatica
28 Logical Methods in Computer Science
24 Journal of Combinatorial Theory. Series B
23 Journal of Graph Theory
19 Artificial Intelligence
17 International Journal of Foundations of Computer Science
16 Journal of Combinatorial Optimization
15 Annals of Pure and Applied Logic
14 RAIRO, Informatique Théorique
12 RAIRO. Informatique Théorique et Applications
12 Journal of Graph Algorithms and Applications
11 Mathematical Systems Theory
11 Journal of Logical and Algebraic Methods in Programming
10 Mathematical Structures in Computer Science
10 ACM Transactions on Computational Logic
10 Discrete Optimization
9 SIAM Journal on Computing
9 The Electronic Journal of Combinatorics
9 RAIRO. Theoretical Informatics and Applications
9 Computer Science Review
8 Journal of Discrete Algorithms
7 Order
7 Graphs and Combinatorics
6 Networks
6 Journal of Logic, Language and Information
5 The Journal of Symbolic Logic
5 Journal of Automated Reasoning
5 Discussiones Mathematicae. Graph Theory
5 Fundamenta Informaticae
5 Discrete Mathematics, Algorithms and Applications
4 Journal of Symbolic Computation
4 Combinatorics, Probability and Computing
4 Constraints
4 Discrete Mathematics and Theoretical Computer Science. DMTCS
4 Theory and Practice of Logic Programming
4 Journal of Applied Logic
4 Algorithms
4 RAIRO. Theoretical Informatics and Applications
4 Communications in Combinatorics and Optimization
3 Applied Mathematics and Computation
3 Journal of Pure and Applied Algebra
3 Advances in Applied Mathematics
3 Operations Research Letters
3 Discrete & Computational Geometry
3 Annals of Operations Research
3 Distributed Computing
3 Formal Methods in System Design
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Functional Programming
3 Annals of Mathematics and Artificial Intelligence
3 The Journal of Logic and Algebraic Programming
3 Optimization Letters
3 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
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 The Bulletin of Symbolic Logic
2 International Transactions in Operational Research
2 Mathematical Methods of Operations Research
2 Algebraic & Geometric Topology
2 ACM Journal of Experimental Algorithmics
2 AKCE International Journal of Graphs and Combinatorics
2 Contributions to Discrete Mathematics
2 ACM Transactions on Algorithms
1 Advances in Applied Probability
1 Journal of Computational Physics
1 Journal of Mathematical Physics
1 Problems of Information Transmission
1 Mathematics of Computation
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 Naval Research Logistics
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
...and 43 more Serials

Citations by Year

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