×

zbMATH — the first resource for mathematics

Courcelle, Bruno

Compute Distance To:
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
Documents Indexed: 169 Publications since 1974, including 4 Books

Publications by Year

Citations contained in zbMATH Open

127 Publications have been cited 2,789 times in 1,405 Documents Cited by Year
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008
Courcelle, Bruno
365
1990
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
268
2000
Upper bounds to the clique width of graphs. Zbl 0958.05105
Courcelle, Bruno; Olariu, Stephan
217
2000
Handle-rewriting hypergraph grammars. Zbl 0825.68446
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
130
1993
Graph rewriting: An algebraic and logic approach. Zbl 0900.68282
Courcelle, Bruno
124
1990
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
119
1983
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
109
2012
Graph expressions and graph rewritings. Zbl 0641.68115
Bauderon, Michel; Courcelle, Bruno
83
1987
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
73
1993
The monadic second-order logic of graphs. III: Tree-decompositions, minors and complexity issues. Zbl 0754.03006
Courcelle, B.
73
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.
62
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
51
1994
The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005
Courcelle, Bruno
42
1994
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars. Zbl 0636.68104
Courcelle, Bruno
40
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
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
31
2007
The algebraic semantics of recursive program schemes. Zbl 0384.68016
Courcelle, B.; Nivat, M.
29
1978
Frontiers of infinite trees. Zbl 0411.68065
Courcelle, B.
23
1978
The monadic second-order logic of graphs. VII: Graphs as relational structures. Zbl 0809.03006
Courcelle, Bruno
23
1992
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. II. Zbl 0428.68088
Courcelle, Bruno
22
1978
The monadic second-order logic of graphs. X: Linear orderings. Zbl 0877.68087
Courcelle, Bruno
21
1996
Recurcive applicative program schemes. Zbl 0900.68095
Courcelle, Bruno
19
1990
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. II: Infinite graphs of bounded width. Zbl 0694.68043
Courcelle, Bruno
19
1989
A representation of trees by languages. I. Zbl 0377.68040
Courcelle, Bruno
18
1978
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
Linear delay enumeration and monadic second-order logic. Zbl 1217.03024
Courcelle, Bruno
15
2009
Query efficient implementation of graphs of bounded clique-width. Zbl 1029.68113
Courcelle, B.; Vanicat, R.
14
2003
The monadic second-order logic of graphs. IV: Definability properties of equational graphs. Zbl 0731.03006
Courcelle, Bruno
14
1990
Basic notions of universal algebra for language theory and graph grammars. Zbl 0874.68170
Courcelle, Bruno
13
1996
On jump-deterministic pushdown automata. Zbl 0365.02021
Courcelle, Bruno
13
1977
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.
13
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
An axiomatic approach to the Korenjak-Hopcroft algorithms. Zbl 0581.68032
Courcelle, Bruno
13
1983
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
12
2002
On the expression of graph properties in some fragments of monadic second-order logic. Zbl 0883.03004
Courcelle, Bruno
12
1997
Completeness results for the equivalence of recursive schemas. Zbl 0342.68008
Courcelle, Bruno; Vuillemin, Jean
12
1976
On some classes of interpretations. Zbl 0392.68009
Courcelle, Bruno; Guessarian, Irene
12
1978
Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
12
1991
Clique-width of countable graphs: A compactness property. Zbl 1073.68062
Courcelle, B.
11
2004
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
11
1998
Graph operations characterizing rank-width. Zbl 1173.05349
Courcelle, Bruno; Kanté, Mamadou Moustapha
11
2009
On the equivalence problem for attribute systems. Zbl 0529.68005
Courcelle, Bruno; Franchi-Zannettacci, Paul
10
1982
Clique-width and edge contraction. Zbl 1329.05278
Courcelle, Bruno
10
2014
Compact forbidden-set routing. Zbl 1186.68331
Courcelle, Bruno; Twigg, Andrew
10
2007
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
10
2008
A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Zbl 1181.05010
Courcelle, Bruno
10
2008
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
Recognizability, hypergraph operations, and logical types. Zbl 1110.03021
Blumensath, A.; Courcelle, B.
9
2006
Completions of ordered magmas. Zbl 0463.06005
Courcelle, Bruno; Raoult, Jean-Claude
9
1980
The monadic second-order logic of graphs. IX: Machines and their behaviours. Zbl 0872.03026
Courcelle, Bruno
8
1995
The recognizability of sets of graphs is a robust property. Zbl 1077.68070
Courcelle, Bruno; Weil, Pascal
8
2005
Une forme canonique pour les grammaires simples déterministes. Zbl 0285.68033
Courcelle, Bruno
8
1974
Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036
Courcelle, Bruno; Walukiewicz, Igor
8
1998
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007
Courcelle, Bruno
8
2006
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. XVI: Canonical graph decompositions. Zbl 1126.03016
Courcelle, Bruno
8
2006
The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs. Zbl 0938.03015
Courcelle, Bruno
7
1999
The monadic second-order logic of graphs. XII: Planar graphs and planar maps. Zbl 0951.03004
Courcelle, Bruno
7
2000
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.
7
1997
Coverings and minors: Application to local computations in graphs. Zbl 0788.05076
Courcelle, Bruno; Métivier, Yves
7
1994
Recognizable sets of graphs: Equivalent definitions and closure properties. Zbl 0798.68090
Courcelle, Bruno
7
1994
Program equivalence and canonical forms in stable discrete interpretations. Zbl 0363.68036
Berry, G.; Courcelle, B.
7
1976
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
Arbres infinis et systèmes d’équations. Zbl 0406.68017
Courcelle, Bruno
6
1979
Computations by fly-automata beyond monadic second-order logic. Zbl 1335.68116
Courcelle, Bruno; Durand, Irène
6
2016
On context-free sets of graphs and their monadic second-order theory. Zbl 0643.68105
Courcelle, Bruno
6
1987
Recursive queries and context-free graph grammars. Zbl 0716.68026
Courcelle, Bruno
6
1991
Model-checking by infinite fly-automata. Zbl 1398.68336
Courcelle, Bruno; Durand, Irène
5
2013
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
5
1977
Recognizable sets of graphs, hypergraphs and relational structures: a survey. Zbl 1117.68397
Courcelle, Bruno
5
2004
The solutions of two star-height problems for regular trees. Zbl 0554.68037
Braquelaire, J. P.; Courcelle, B.
5
1984
Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135
Courcelle, Bruno
5
1988
The definability of equational graphs in monadic second-order logic. Zbl 0686.68011
Courcelle, B.
5
1989
A characterisation of clique-width through nested partitions. Zbl 1315.05110
Courcelle, Bruno; Heggernes, Pinar; Meister, Daniel; Papadopoulos, Charis; Rotics, Udi
5
2015
A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas
5
1991
From tree-decompositions to clique-width terms. Zbl 1395.05097
Courcelle, Bruno
4
2018
The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings. Zbl 0945.68144
Courcelle, B.
4
2000
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
Equivalent definitions of recognizability for sets of graphs of bounded tree-width. Zbl 0846.68054
Courcelle, Bruno; Lagergren, Jens
4
1996
Facial circuits of planar graphs and context-free languages. Zbl 0914.68115
Courcelle, Bruno; Lapoire, Denis
4
1998
An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68096
Courcelle, B.
4
1988
An algebraic theory of graph reduction. Zbl 0765.68062
Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef
4
1991
Fly-automata for checking monadic second-order properties of graphs of bounded tree-width. Zbl 1347.03077
Courcelle, Bruno
4
2015
Graph operations characterizing rank-width and balanced graph expressions. Zbl 1141.68523
Courcelle, Bruno; Kanté, Mamadou Moustapha
4
2007
Graph structure and monadic second-order logic: Language theoretical aspects. Zbl 1143.68433
Courcelle, Bruno
4
2008
Attribute grammars: Theory and applications. Zbl 0457.68090
Courcelle, B.
4
1981
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0768.68130
Courcelle, B.; Mosbah, M.
3
1992
Semantics and axiomatics of a simple recursive language. Zbl 0358.68015
Courcelle, B.; Vuillemin, J.
3
1974
Graph operations and monadic second-order logic: A survey. Zbl 0988.68559
Courcelle, Bruno
3
2000
Special tree-width and the verification of monadic second-order graph properties. Zbl 1245.68133
Courcelle, Bruno
3
2010
From tree-decompositions to clique-width terms. Zbl 1395.05097
Courcelle, Bruno
4
2018
Several notions of rank-width for countable graphs. Zbl 1354.05038
Courcelle, Bruno
2
2017
Algebraic and logical descriptions of generalized trees. Zbl 1459.03007
Courcelle, Bruno
1
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 1465.03072
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
5
2013
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
109
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
On the monadic second-order transduction hierarchy. Zbl 1198.03020
Blumensath, Achim; Courcelle, Bruno
3
2010
Constrained-path labellings on graphs of bounded clique-width. Zbl 1204.68143
Courcelle, Bruno; Twigg, Andrew
3
2010
Linear delay enumeration and monadic second-order logic. Zbl 1217.03024
Courcelle, Bruno
15
2009
Graph operations characterizing rank-width. Zbl 1173.05349
Courcelle, Bruno; Kanté, Mamadou Moustapha
11
2009
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
10
2008
A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Zbl 1181.05010
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
2
2008
Vertex-minors, monadic second-order logic, and a conjecture by Seese. Zbl 1121.03016
Courcelle, Bruno; Oum, Sang-Il
31
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
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 monadic second-order logic of graphs. XVI: Canonical graph decompositions. Zbl 1126.03016
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.
11
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
A monadic second-order definition of the structure of convex hypergraphs. Zbl 1049.68098
Courcelle, Bruno
2
2002
Graph operations, graph transformations and monadic second-order logic: a survey. Zbl 1263.68071
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.
62
2001
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
268
2000
Upper bounds to the clique width of graphs. Zbl 0958.05105
Courcelle, Bruno; Olariu, Stephan
217
2000
The monadic second-order logic of graphs. XII: Planar graphs and planar maps. Zbl 0951.03004
Courcelle, Bruno
7
2000
The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings. Zbl 0945.68144
Courcelle, B.
4
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
7
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
8
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
12
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.
7
1997
The monadic second-order logic of graphs. X: Linear orderings. Zbl 0877.68087
Courcelle, Bruno
21
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
8
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
51
1994
The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005
Courcelle, Bruno
42
1994
Coverings and minors: Application to local computations in graphs. Zbl 0788.05076
Courcelle, Bruno; Métivier, Yves
7
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
130
1993
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
73
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.
3
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
12
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
4
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
365
1990
Graph rewriting: An algebraic and logic approach. Zbl 0900.68282
Courcelle, Bruno
124
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.
5
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
Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135
Courcelle, Bruno
5
1988
An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68096
Courcelle, B.
4
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
6
1987
A representation of graphs by algebraic expressions and its use for graph rewriting systems. Zbl 0643.68104
Courcelle, Bruno
2
1987
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars. Zbl 0636.68104
Courcelle, Bruno
40
1986
The solutions of two star-height problems for regular trees. Zbl 0554.68037
Braquelaire, J. P.; Courcelle, B.
5
1984
Définitions récursives par cas. Zbl 0562.68004
Courcelle, B.; Lavandier, F.
1
1984
Some negative results concerning DPDA’s. Zbl 0564.68058
Courcelle, Bruno
1
1984
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
119
1983
...and 27 more Documents
all top 5

Cited by 1,517 Authors

80 Courcelle, Bruno
37 Paulusma, Daniël
34 Engelfriet, Joost
32 Golovach, Petr A.
32 Lozin, Vadim Vladislavovich
26 Thilikos, Dimitrios M.
25 Bodlaender, Hans L.
21 Ganian, Robert
21 Kanté, Mamadou Moustapha
21 Makowsky, Johann-Andreas
20 Brandstädt, Andreas
19 Heggernes, Pinar
18 Fomin, Fedor V.
18 Kwon, Ojoung
18 Szeider, Stefan
17 Dabrowski, Konrad Kazimierz
17 Gurski, Frank
17 Vogler, Heiko
15 Drewes, Frank
15 Lampis, Michael
15 Otachi, Yota
15 Oum, Sang-Il
14 Lokshtanov, Daniel
14 Milanič, Martin
14 Saurabh, Saket
13 Hliněný, Petr
13 Maneth, Sebastian
13 Wanke, Egon
12 Ésik, Zoltán
12 Kratsch, Dieter
12 Sénizergues, Géraud
11 Fellows, Michael Ralph
11 Kamiński, Marcin Marek
11 Meister, Daniel
11 Papadopoulos, Charis
11 Paul, Christophe
11 Sau, Ignasi
11 Sopena, Éric
10 Bazgan, Cristina
10 Fülöp, Zoltán
10 Mosca, Raffaele
10 Ordyniak, Sebastian
10 Pilipczuk, Michał
10 Rotics, Udi
10 Zamaraev, Victor A.
9 Kratochvíl, Jan
9 Milius, Stefan
9 Rossmanith, Peter
9 Telle, Jan Arne
9 Todinca, Ioan
9 Tuza, Zsolt
9 van ’t Hof, Pim
8 Belmonte, Rémy
8 Broersma, Hajo J.
8 Eiben, Eduard
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
7 Adler, Isolde
7 Bloom, Stephen L.
7 Blumensath, Achim
7 Bozapalidis, Symeon
7 Downey, Rodney Graham
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 Sikdar, Somnath
7 Vatshelle, Martin
7 Villanger, Yngve
6 Bauderon, Michel
6 Eppstein, David Arthur
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
...and 1,417 more Authors
all top 5

Cited in 116 Serials

284 Theoretical Computer Science
148 Discrete Applied Mathematics
83 Journal of Computer and System Sciences
80 Algorithmica
48 Information Processing Letters
48 Information and Computation
42 Discrete Mathematics
30 European Journal of Combinatorics
28 Acta Informatica
26 Theory of Computing Systems
18 SIAM Journal on Discrete Mathematics
17 Journal of Combinatorial Theory. Series B
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
13 Journal of Combinatorial Optimization
12 RAIRO. Informatique Théorique et Applications
11 Mathematical Systems Theory
10 Journal of Graph Theory
10 Discrete Optimization
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
5 Journal of Logical and Algebraic Methods in Programming
4 Graphs and Combinatorics
4 Journal of Automated Reasoning
4 Combinatorics, Probability and Computing
4 Discussiones Mathematicae. Graph Theory
4 Constraints
4 Theory and Practice of Logic Programming
4 ACM Transactions on Computational Logic
4 Journal of Applied Logic
4 Algorithms
3 Order
3 Journal of Symbolic Computation
3 Journal of Functional Programming
3 Annals of Mathematics and Artificial Intelligence
3 Discrete Mathematics and Theoretical Computer Science. DMTCS
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
2 The Journal of Logic and Algebraic Programming
2 AKCE International Journal of Graphs and Combinatorics
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
...and 16 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.