×

zbMATH — the first resource for mathematics

Courcelle, Bruno

Compute Distance To:
Author ID: courcelle.bruno Recent zbMATH articles by "Courcelle, Bruno"
Published as: Courcelle, B.; Courcelle, Bruno
Homepage: http://www.labri.fr/perso/courcell/
External Links: MGP · Wikidata · ORCID · ResearchGate · dblp · GND
Documents Indexed: 169 Publications since 1974, including 4 Books

Publications by Year

Citations contained in zbMATH Open

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

Cited by 1,521 Authors

80 Courcelle, Bruno
37 Paulusma, Daniël
35 Engelfriet, Joost
32 Lozin, Vadim Vladislavovich
30 Golovach, Petr A.
27 Thilikos, Dimitrios M.
25 Bodlaender, Hans L.
21 Makowsky, Johann-Andreas
20 Brandstädt, Andreas
20 Ganian, Robert
20 Kanté, Mamadou Moustapha
19 Heggernes, Pinar
18 Szeider, Stefan
17 Dabrowski, Konrad Kazimierz
17 Fomin, Fedor V.
17 Gurski, Frank
17 Vogler, Heiko
16 Kwon, Ojoung
15 Drewes, Frank
15 Lampis, Michael
15 Otachi, Yota
15 Oum, Sang-Il
14 Lokshtanov, Daniel
14 Milanič, Martin
13 Ésik, Zoltán
13 Hliněný, Petr
13 Maneth, Sebastian
13 Paul, Christophe
13 Saurabh, Saket
13 Wanke, Egon
12 Kratsch, Dieter
12 Sénizergues, Géraud
11 Fellows, Michael Ralph
11 Kamiński, Marcin Marek
11 Meister, Daniel
11 Sopena, Éric
10 Bazgan, Cristina
10 Fülöp, Zoltán
10 Kratochvíl, Jan
10 Mosca, Raffaele
10 Ordyniak, Sebastian
10 Papadopoulos, Charis
10 Pilipczuk, Michał
10 Rotics, Udi
10 Sau, Ignasi
10 Telle, Jan Arne
10 Todinca, Ioan
10 Zamaraev, Victor A.
9 Milius, Stefan
9 Rossmanith, Peter
9 Tuza, Zsolt
9 van ’t Hof, Pim
8 Belmonte, Rémy
8 Broersma, Hajo J.
8 Gavoille, Cyril
8 Malyshev, Dmitry S.
8 Marx, Dániel
8 Nešetřil, Jaroslav
8 Obdržálek, Jan
8 Ossona de Mendez, Patrice
8 Pinlou, Alexandre
8 Rao, Michaël
8 Sikdar, Somnath
7 Bloom, Stephen L.
7 Blumensath, Achim
7 Bozapalidis, Symeon
7 Downey, Rodney Graham
7 Eiben, Eduard
7 Fiala, Jiří
7 Foucaud, Florent
7 Grohe, Martin
7 Kreutzer, Stephan
7 Lohrey, Markus
7 Müller, Haiko
7 Naserasr, Reza
7 Nisse, Nicolas
7 Padovani, Luca
7 Vatshelle, Martin
7 Villanger, Yngve
6 Adler, Isolde
6 Bauderon, Michel
6 Fernau, Henning
6 Gottlob, Georg
6 Guessarian, Irène
6 Kim, Changwook
6 Kneis, Joachim
6 Knop, Dušan
6 Korpelainen, Nicholas
6 Koutecký, Martin
6 Langer, Alexander
6 Liedloff, Mathieu
6 Mertzios, George B.
6 Misra, Neeldhara
6 Mitsou, Valia
6 Ochem, Pascal
6 Paschos, Vangelis Th.
6 Rautenbach, Dieter
6 Reddy, I. Vinod
6 Rehs, Carolin
6 Ries, Bernard
...and 1,421 more Authors
all top 5

Cited in 115 Serials

289 Theoretical Computer Science
150 Discrete Applied Mathematics
82 Journal of Computer and System Sciences
75 Algorithmica
49 Information and Computation
46 Information Processing Letters
41 Discrete Mathematics
29 European Journal of Combinatorics
28 Acta Informatica
26 Theory of Computing Systems
17 Journal of Combinatorial Theory. Series B
17 SIAM Journal on Discrete Mathematics
16 Logical Methods in Computer Science
15 Artificial Intelligence
15 Annals of Pure and Applied Logic
15 International Journal of Foundations of Computer Science
14 RAIRO, Informatique Théorique
12 RAIRO. Informatique Théorique et Applications
11 Mathematical Systems Theory
11 Journal of Combinatorial Optimization
11 Discrete Optimization
10 Journal of Graph Theory
9 RAIRO. Theoretical Informatics and Applications
8 Journal of Discrete Algorithms
7 MSCS. Mathematical Structures in Computer Science
6 SIAM Journal on Computing
6 Journal of Graph Algorithms and Applications
6 Computer Science Review
5 The Journal of Symbolic Logic
5 Journal of Logic, Language and Information
4 Graphs and Combinatorics
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 Algorithms
4 Journal of Logical and Algebraic Methods in Programming
3 Order
3 Journal of Symbolic Computation
3 Journal of Functional Programming
3 Annals of Mathematics and Artificial Intelligence
3 Discussiones Mathematicae. Graph Theory
3 Discrete Mathematics and Theoretical Computer Science. DMTCS
3 The Journal of Logic and Algebraic Programming
3 Optimization Letters
2 Journal of Pure and Applied Algebra
2 Networks
2 Advances in Applied Mathematics
2 Operations Research Letters
2 Annals of Operations Research
2 European Journal of Operational Research
2 International Journal of Computer Mathematics
2 Linear Algebra and its Applications
2 Distributed Computing
2 Archive for Mathematical Logic
2 Computational Complexity
2 Formal Methods in System Design
2 Mathematical Logic Quarterly (MLQ)
2 The Bulletin of Symbolic Logic
2 Mathematical Methods of Operations Research
2 Algebraic & Geometric Topology
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 Applied Mathematics and Computation
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 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 Optimization
1 Journal of Computer Science and Technology
1 Discrete & Computational Geometry
1 Applied Mathematics Letters
1 Formal Aspects of Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Computational Geometry
1 Discrete Mathematics and Applications
1 Designs, Codes and Cryptography
1 Games and Economic Behavior
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Computational Optimization and Applications
1 Applied Categorical Structures
1 The Electronic Journal of Combinatorics
1 International Transactions in Operational Research
1 Journal of Heuristics
1 Doklady Mathematics
...and 15 more Serials

Citations by Year

Wikidata Timeline

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