×
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

Publications by Year

Citations contained in zbMATH Open

129 Publications have been cited 2,978 times in 1,541 Documents Cited by Year
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008
Courcelle, Bruno
405
1990
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
296
2000
Upper bounds to the clique width of graphs. Zbl 0958.05105
Courcelle, Bruno; Olariu, Stephan
237
2000
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
135
2012
Handle-rewriting hypergraph grammars. Zbl 0825.68446
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
134
1993
Fundamental properties of infinite trees. Zbl 0521.68013
Courcelle, Bruno
129
1983
Graph rewriting: An algebraic and logic approach. Zbl 0900.68282
Courcelle, Bruno
127
1990
Graph expressions and graph rewritings. Zbl 0641.68115
Bauderon, Michel; Courcelle, Bruno
85
1987
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
77
1993
The monadic second-order logic of graphs. III: Tree-decompositions, minors and complexity issues. Zbl 0754.03006
Courcelle, B.
76
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.
64
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
53
1994
The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005
Courcelle, Bruno
46
1994
The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability. Zbl 0754.68065
Courcelle, Bruno
41
1991
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars. Zbl 0636.68104
Courcelle, Bruno
40
1986
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.
30
1978
The monadic second-order logic of graphs. VII: Graphs as relational structures. Zbl 0809.03006
Courcelle, Bruno
24
1992
Frontiers of infinite trees. Zbl 0411.68065
Courcelle, B.
23
1978
A representation of trees by languages. II. Zbl 0428.68088
Courcelle, Bruno
23
1978
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
22
1995
The monadic second-order logic of graphs. X: Linear orderings. Zbl 0877.68087
Courcelle, Bruno
21
1996
The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043
Courcelle, Bruno
20
1989
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
A representation of trees by languages. I. Zbl 0377.68040
Courcelle, Bruno
18
1978
The monadic second-order logic of graphs. VIII: Orientations. Zbl 0830.03016
Courcelle, Bruno
16
1995
Linear delay enumeration and monadic second-order logic. Zbl 1217.03024
Courcelle, Bruno
16
2009
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
On the expression of graph properties in some fragments of monadic second-order logic. Zbl 0883.03004
Courcelle, Bruno
14
1997
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
Query efficient implementation of graphs of bounded clique-width. Zbl 1029.68113
Courcelle, B.; Vanicat, R.
14
2003
An axiomatic approach to the Korenjak-Hopcroft algorithms. Zbl 0581.68032
Courcelle, Bruno
13
1983
Basic notions of universal algebra for language theory and graph grammars. Zbl 0874.68170
Courcelle, Bruno
13
1996
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
On jump-deterministic pushdown automata. Zbl 0365.02021
Courcelle, Bruno
13
1977
On the model-checking of monadic second-order formulas with edge set quantifications. Zbl 1236.05143
Courcelle, Bruno
13
2012
Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
12
1991
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
12
2002
A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Zbl 1181.05010
Courcelle, Bruno
12
2008
Completeness results for the equivalence of recursive schemas. Zbl 0342.68008
Courcelle, Bruno; Vuillemin, Jean
12
1976
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
12
1998
On some classes of interpretations. Zbl 0392.68009
Courcelle, Bruno; Guessarian, Irene
12
1978
Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036
Courcelle, Bruno; Walukiewicz, Igor
11
1998
Graph operations characterizing rank-width. Zbl 1173.05349
Courcelle, Bruno; Kanté, Mamadou Moustapha
11
2009
Compact forbidden-set routing. Zbl 1186.68331
Courcelle, Bruno; Twigg, Andrew
11
2007
Clique-width of countable graphs: A compactness property. Zbl 1073.68062
Courcelle, B.
11
2004
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
11
2008
Clique-width and edge contraction. Zbl 1329.05278
Courcelle, Bruno
10
2014
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
Graph grammars, monadic second-order logic and the theory of graph minors. Zbl 0787.05086
Courcelle, Bruno
9
1993
Recognizability, hypergraph operations, and logical types. Zbl 1110.03021
Blumensath, A.; Courcelle, B.
9
2006
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
On constructing obstruction sets of words. Zbl 0744.68074
Courcelle, Bruno
8
1991
The monadic second-order logic of graphs. IX: Machines and their behaviours. Zbl 0872.03026
Courcelle, Bruno
8
1995
Une forme canonique pour les grammaires simples déterministes. Zbl 0285.68033
Courcelle, Bruno
8
1974
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. XVI: Canonical graph decompositions. Zbl 1126.03016
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
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
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
Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming. Zbl 0719.68038
Courcelle, B.; Deransart, P.
7
1988
A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas
7
1991
On context-free sets of graphs and their monadic second-order theory. Zbl 0643.68105
Courcelle, Bruno
6
1987
Equivalent definitions of recognizability for sets of graphs of bounded tree-width. Zbl 0846.68054
Courcelle, Bruno; Lagergren, Jens
6
1996
The solutions of two star-height problems for regular trees. Zbl 0554.68037
Braquelaire, J. P.; Courcelle, B.
6
1984
Computations by fly-automata beyond monadic second-order logic. Zbl 1335.68116
Courcelle, Bruno; Durand, Irène
6
2016
Arbres infinis et systèmes d’équations. Zbl 0406.68017
Courcelle, Bruno
6
1979
Recursive queries and context-free graph grammars. Zbl 0716.68026
Courcelle, Bruno
6
1991
Graph structure and monadic second-order logic: Language theoretical aspects. Zbl 1143.68433
Courcelle, Bruno
6
2008
Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135
Courcelle, Bruno
5
1988
A characterisation of clique-width through nested partitions. Zbl 1315.05110
Courcelle, Bruno; Heggernes, Pinar; Meister, Daniel; Papadopoulos, Charis; Rotics, Udi
5
2015
The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings. Zbl 0945.68144
Courcelle, B.
5
2000
A new complexity measure for languages. Zbl 0431.68077
Boasson, Luc; Courcelle, Bruno; Nivat, Maurice
5
1977
Constrained-path labellings on graphs of bounded clique-width. Zbl 1204.68143
Courcelle, Bruno; Twigg, Andrew
5
2010
Model-checking by infinite fly-automata. Zbl 1398.68336
Courcelle, Bruno; Durand, Irène
5
2013
Recognizable sets of graphs, hypergraphs and relational structures: a survey. Zbl 1117.68397
Courcelle, Bruno
5
2004
The definability of equational graphs in monadic second-order logic. Zbl 0686.68011
Courcelle, B.
5
1989
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0768.68130
Courcelle, B.; Mosbah, M.
4
1992
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
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
Fly-automata for checking monadic second-order properties of graphs of bounded tree-width. Zbl 1347.03077
Courcelle, Bruno
4
2015
Facial circuits of planar graphs and context-free languages. Zbl 0914.68115
Courcelle, Bruno; Lapoire, Denis
4
1998
Attribute grammars: Theory and applications. Zbl 0457.68090
Courcelle, B.
4
1981
Graph operations characterizing rank-width and balanced graph expressions. Zbl 1141.68523
Courcelle, Bruno; Kanté, Mamadou Moustapha
4
2007
From tree-decompositions to clique-width terms. Zbl 1395.05097
Courcelle, Bruno
4
2018
Compact labelings for efficient first-order model-checking. Zbl 1237.90191
Courcelle, Bruno; Gavoille, Cyril; Kanté, Mamadou Moustapha
3
2011
Several notions of rank-width for countable graphs. Zbl 1354.05038
Courcelle, Bruno
3
2017
Axiomatization of betweenness in order-theoretic trees. Zbl 07327944
Courcelle, Bruno
1
2021
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
3
2017
Algebraic and logical descriptions of generalized trees. Zbl 1459.03007
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 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
135
2012
Automata for the verification of monadic second-order graph properties. Zbl 1285.03049
Courcelle, Bruno; Durand, Irène
14
2012
On the model-checking of monadic second-order formulas with edge set quantifications. Zbl 1236.05143
Courcelle, Bruno
13
2012
Compact labelings for efficient first-order model-checking. Zbl 1237.90191
Courcelle, Bruno; Gavoille, Cyril; Kanté, Mamadou Moustapha
3
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
5
2010
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
Linear delay enumeration and monadic second-order logic. Zbl 1217.03024
Courcelle, Bruno
16
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
12
2008
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
11
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
6
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
11
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. XV: On a conjecture by D. Seese. Zbl 1099.03007
Courcelle, Bruno
10
2006
Recognizability, hypergraph operations, and logical types. Zbl 1110.03021
Blumensath, A.; Courcelle, B.
9
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
3
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.
64
2001
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
296
2000
Upper bounds to the clique width of graphs. Zbl 0958.05105
Courcelle, Bruno; Olariu, Stephan
237
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.
5
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
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
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
12
1998
Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036
Courcelle, Bruno; Walukiewicz, Igor
11
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
14
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
6
1996
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
22
1995
The monadic second-order logic of graphs. VIII: Orientations. Zbl 0830.03016
Courcelle, Bruno
16
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
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
53
1994
The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005
Courcelle, Bruno
46
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
134
1993
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083
Courcelle, B.; Mosbah, M.
77
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.
76
1992
The monadic second-order logic of graphs. VII: Graphs as relational structures. Zbl 0809.03006
Courcelle, Bruno
24
1992
Monadic second-order evaluations on tree-decomposable graphs. Zbl 0768.68130
Courcelle, B.; Mosbah, M.
4
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
41
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
8
1991
A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas
7
1991
Recursive queries and context-free graph grammars. Zbl 0716.68026
Courcelle, Bruno
6
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
405
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
20
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
85
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.
6
1984
Définitions récursives par cas. Zbl 0562.68004
Courcelle, B.; Lavandier, F.
1
1984
...and 29 more Documents
all top 5

Cited by 1,683 Authors

81 Courcelle, Bruno
40 Paulusma, Daniël
34 Engelfriet, Joost
33 Golovach, Petr A.
32 Lozin, Vadim Vladislavovich
30 Thilikos, Dimitrios M.
26 Bodlaender, Hans L.
24 Kanté, Mamadou Moustapha
23 Ganian, Robert
21 Gurski, Frank
21 Makowsky, Johann-Andreas
20 Brandstädt, Andreas
20 Kwon, Ojoung
19 Heggernes, Pinar
19 Szeider, Stefan
19 Vogler, Heiko
18 Dabrowski, Konrad Kazimierz
18 Fomin, Fedor V.
18 Lampis, Michael
18 Otachi, Yota
17 Oum, Sang-Il
16 Drewes, Frank
16 Lokshtanov, Daniel
16 Milanič, Martin
15 Saurabh, Saket
14 Sau, Ignasi
13 Hliněný, Petr
13 Kratsch, Dieter
13 Maneth, Sebastian
13 Paul, Christophe
13 Sénizergues, Géraud
13 Wanke, Egon
12 Ésik, Zoltán
12 Fellows, Michael Ralph
12 Papadopoulos, Charis
12 Pilipczuk, Michał
11 Fülöp, Zoltán
11 Kamiński, Marcin Marek
11 Meister, Daniel
11 Sopena, Éric
10 Bazgan, Cristina
10 Mosca, Raffaele
10 Ordyniak, Sebastian
10 Rotics, Udi
10 Telle, Jan Arne
10 Zamaraev, Victor A.
9 Belmonte, Rémy
9 Eiben, Eduard
9 Kratochvíl, Jan
9 Milius, Stefan
9 Rossmanith, Peter
9 Todinca, Ioan
9 Tuza, Zsolt
9 van ’t Hof, Pim
8 Adler, Isolde
8 Broersma, Hajo J.
8 Gavoille, Cyril
8 Hanaka, Tesshu
8 Komander, Dominique
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 Reddy, I. Vinod
8 Rehs, Carolin
7 Baste, Julien
7 Bloom, Stephen L.
7 Blumensath, Achim
7 Bonomo-Braberman, Flavia
7 Bozapalidis, Symeon
7 De Oliveira Oliveira, Mateus
7 Downey, Rodney Graham
7 Fernau, Henning
7 Fiala, Jiří
7 Foucaud, Florent
7 Grohe, Martin
7 Knop, Dušan
7 Koutecký, Martin
7 Kreutzer, Stephan
7 Lohrey, Markus
7 Müller, Haiko
7 Naserasr, Reza
7 Nisse, Nicolas
7 Padovani, Luca
7 Paschos, Vangelis Th.
7 Rautenbach, Dieter
7 Sikdar, Somnath
7 Traldi, Lorenzo
7 Vatshelle, Martin
7 Villanger, Yngve
6 Bauderon, Michel
6 Bergougnoux, Benjamin
6 Eppstein, David Arthur
6 Fürer, Martin
6 Gottlob, Georg
6 Guessarian, Irène
6 Hoàng, Chính T.
...and 1,583 more Authors
all top 5

Cited in 124 Serials

294 Theoretical Computer Science
156 Discrete Applied Mathematics
89 Journal of Computer and System Sciences
88 Algorithmica
56 Information and Computation
49 Information Processing Letters
42 Discrete Mathematics
30 European Journal of Combinatorics
28 Acta Informatica
27 Theory of Computing Systems
25 SIAM Journal on Discrete Mathematics
20 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
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 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 Journal of Logic, Language and Information
5 The Electronic Journal of Combinatorics
5 Discussiones Mathematicae. Graph Theory
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
3 Journal of Pure and Applied Algebra
3 Operations Research Letters
3 Order
3 Journal of Symbolic Computation
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 Discrete Mathematics, Algorithms and Applications
3 RAIRO. Theoretical Informatics and Applications
2 Applied Mathematics and Computation
2 Networks
2 Advances in Applied Mathematics
2 Discrete & Computational Geometry
2 Annals of Operations Research
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
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
1 Mathematical Programming. Series A. Series B
...and 24 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.