Edit Profile (opens in new tab) Courcelle, Bruno Co-Author Distance Author ID: courcelle.bruno Published as: Courcelle, Bruno; Courcelle, B. Homepage: http://www.labri.fr/perso/courcell/ External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · dblp · GND · IdRef · theses.fr Documents Indexed: 172 Publications since 1974, including 1 Book 3 Contributions as Editor Co-Authors: 46 Co-Authors with 67 Joint Publications 1,348 Co-Co-Authors all top 5 Co-Authors 105 single-authored 5 Durand, Irène A. 5 Kanté, Mamadou Moustapha 5 Vuillemin, Jean E. 4 Engelfriet, Joost 4 Makowsky, Johann-Andreas 4 Nivat, Maurice 4 Rotics, Udi 3 Blumensath, Achim 3 Gavoille, Cyril 3 Rozenberg, Grzegorz 3 Twigg, Andrew 2 Arnborg, Stefan 2 Bauderon, Michel 2 Boasson, Luc 2 Braquelaire, Jean-Pierre 2 Delhommé, Christian 2 Franchi-Zannettacci, Paul 2 Kahn, Gilles 2 Lagergren, Jens 2 Lavandier, Francois 2 Proskurowski, Andrzej 2 Seese, Detlef G. 2 Sénizergues, Géraud 2 Weil, Pascal 1 Deransart, Pierre 1 Downey, Rodney Graham 1 Dussaux, V. 1 Fellows, Michael Ralph 1 Gallier, Jean H. 1 Guessarian, Irène 1 Heggernes, Pinar 1 Knapik, Teodor 1 Lapoire, Denis 1 Meister, Daniel 1 Métivier, Yves 1 Niwiński, Damian 1 Olariu, Stephan 1 Olive, Frédéric 1 Oum, Sang-Il 1 Papadopoulos, Charis 1 Pariès, A. 1 Podelski, Andreas 1 Raoult, Jean-Claude 1 Raskin, Michael A. 1 Vanicat, R. 1 Walukiewicz, Igor all top 5 Serials 23 Theoretical Computer Science 13 Discrete Applied Mathematics 7 Mathematical Systems Theory 5 Information and Computation 5 Bulletin of the European Association for Theoretical Computer Science (EATCS) 5 Logical Methods in Computer Science 3 Information Processing Letters 3 Journal of Computer and System Sciences 3 RAIRO, Informatique Théorique 3 Annals of Pure and Applied Logic 3 MSCS. Mathematical Structures in Computer Science 3 RAIRO. Informatique Théorique et Applications 3 Journal of Applied Logic 2 Discrete Mathematics 2 Journal of Combinatorial Theory. Series B 2 The Electronic Journal of Combinatorics 2 Theory of Computing Systems 2 Fundamenta Informaticae 1 Annales de l’Institut Fourier 1 Information and Control 1 Journal of the Association for Computing Machinery 1 SIAM Journal on Computing 1 European Journal of Combinatorics 1 Annales Societatis Mathematicae Polonae. Series IV 1 Journal of Combinatorial Optimization 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Journal of Universal Computer Science 1 Collection Didactique 1 Encyclopedia of Mathematics and Its Applications 1 RAIRO. Theoretical Informatics and Applications 1 Moscow Journal of Combinatorics and Number Theory 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge all top 5 Fields 143 Computer science (68-XX) 80 Mathematical logic and foundations (03-XX) 66 Combinatorics (05-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 General algebraic systems (08-XX) 3 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 2 Operations research, mathematical programming (90-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 136 Publications have been cited 3,446 times in 1,809 Documents Cited by ▼ Year ▼ The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008Courcelle, Bruno 508 1990 Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102Courcelle, B.; Makowsky, J. A.; Rotics, U. 350 2000 Upper bounds to the clique width of graphs. Zbl 0958.05105Courcelle, Bruno; Olariu, Stephan 271 2000 Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006Courcelle, Bruno; Engelfriet, Joost 179 2012 Fundamental properties of infinite trees. Zbl 0521.68013Courcelle, Bruno 146 1983 Handle-rewriting hypergraph grammars. Zbl 0825.68446Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 142 1993 Graph rewriting: An algebraic and logic approach. Zbl 0900.68282Courcelle, Bruno 138 1990 Graph expressions and graph rewritings. Zbl 0641.68115Bauderon, Michel; Courcelle, Bruno 95 1987 The monadic second-order logic of graphs. III: Tree-decompositions, minors and complexity issues. Zbl 0754.03006Courcelle, B. 85 1992 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083Courcelle, B.; Mosbah, M. 85 1993 On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Zbl 0972.05023Courcelle, B.; Makowsky, J. A.; Rotics, U. 73 2001 An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68095Courcelle, B. 62 1987 Monadic second-order definable graph transductions: a survey. Zbl 0805.68077Courcelle, Bruno 58 1994 The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005Courcelle, Bruno 51 1994 The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability. Zbl 0754.68065Courcelle, Bruno 46 1991 Equivalences and transformations of regular systems - applications to recursive program schemes and grammars. Zbl 0636.68104Courcelle, Bruno 40 1986 Attribute grammars and recursive program schemes. I. II. Zbl 0481.68068Courcelle, Bruno; Franchi-Zannettacci, Paul 39 1982 An algebraic theory of graph reduction. Zbl 0795.68156Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef 38 1993 Vertex-minors, monadic second-order logic, and a conjecture by Seese. Zbl 1121.03016Courcelle, Bruno; Oum, Sang-Il 37 2007 The algebraic semantics of recursive program schemes. Zbl 0384.68016Courcelle, B.; Nivat, M. 33 1978 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098Courcelle, B.; Engelfriet, J. 26 1995 The monadic second-order logic of graphs. VII: Graphs as relational structures. Zbl 0809.03006Courcelle, Bruno 24 1992 Recurcive applicative program schemes. Zbl 0900.68095Courcelle, Bruno 24 1990 A representation of trees by languages. II. Zbl 0428.68088Courcelle, Bruno 24 1978 Frontiers of infinite trees. Zbl 0411.68065Courcelle, B. 23 1978 On the expression of graph properties in some fragments of monadic second-order logic. Zbl 0883.03004Courcelle, Bruno 22 1997 The monadic second-order logic of graphs. X: Linear orderings. Zbl 0877.68087Courcelle, Bruno 22 1996 Query efficient implementation of graphs of bounded clique-width. Zbl 1029.68113Courcelle, B.; Vanicat, R. 22 2003 Infinite trees in normal form and recursive equations having a unique solution. Zbl 0418.68013Courcelle, Bruno 21 1979 The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043Courcelle, Bruno 20 1989 Linear delay enumeration and monadic second-order logic. Zbl 1217.03024Courcelle, Bruno 19 2009 The monadic second-order logic of graphs. VIII: Orientations. Zbl 0830.03016Courcelle, Bruno 18 1995 A representation of trees by languages. I. Zbl 0377.68040Courcelle, Bruno 18 1978 The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifications. Zbl 1038.68048Courcelle, Bruno 17 2003 Compact forbidden-set routing. Zbl 1186.68331Courcelle, Bruno; Twigg, Andrew 16 2007 Algorithmes d’équivalence et de reduction à des expressions minimales dans une classe d’équations recursive simples. Zbl 0285.68022Courcelle, B.; Kahn, G.; Vuillemin, J. 16 1974 Structural properties of context-free sets of graphs generated by vertex replacement. Zbl 0828.68091Courcelle, Bruno 15 1995 On the model-checking of monadic second-order formulas with edge set quantifications. Zbl 1236.05143Courcelle, Bruno 15 2012 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 14 1991 The monadic second-order logic of graphs. IV: Definability properties of equational graphs. Zbl 0731.03006Courcelle, Bruno 14 1990 Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036Courcelle, Bruno; Walukiewicz, Igor 14 1998 Automata for the verification of monadic second-order graph properties. Zbl 1285.03049Courcelle, Bruno; Durand, Irène 14 2012 Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105Courcelle, B.; Makowsky, J. A. 13 2002 An axiomatic approach to the Korenjak-Hopcroft algorithms. Zbl 0581.68032Courcelle, Bruno 13 1983 Clique-width and edge contraction. Zbl 1329.05278Courcelle, Bruno 13 2014 Basic notions of universal algebra for language theory and graph grammars. Zbl 0874.68170Courcelle, Bruno 13 1996 A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Zbl 1181.05010Courcelle, Bruno 13 2008 Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084Courcelle, B.; Makowsky, J. A.; Rotics, U. 13 1998 On jump-deterministic pushdown automata. Zbl 0365.02021Courcelle, Bruno 13 1977 The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. Zbl 1136.68041Courcelle, Bruno; Delhommé, Christian 12 2008 On some classes of interpretations. Zbl 0392.68009Courcelle, Bruno; Guessarian, Irene 12 1978 Completeness results for the equivalence of recursive schemas. Zbl 0342.68008Courcelle, Bruno; Vuillemin, Jean 12 1976 On constructing obstruction sets of words. Zbl 0744.68074Courcelle, Bruno 11 1991 Recognizability, hypergraph operations, and logical types. Zbl 1110.03021Blumensath, A.; Courcelle, B. 11 2006 Graph operations characterizing rank-width. Zbl 1173.05349Courcelle, Bruno; Kanté, Mamadou Moustapha 11 2009 The monadic second-order logic of graphs. IX: Machines and their behaviours. Zbl 0872.03026Courcelle, Bruno 11 1995 Graph grammars, monadic second-order logic and the theory of graph minors. Zbl 0787.05086Courcelle, Bruno 11 1993 Circle graphs and monadic second-order logic. Zbl 1149.03011Courcelle, Bruno 11 2008 Clique-width of countable graphs: A compactness property. Zbl 1073.68062Courcelle, B. 11 2004 The rational index: a complexity measure for languages. Zbl 0469.68083Boasson, Luc; Courcelle, Bruno; Nivat, Maurice 11 1981 The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007Courcelle, Bruno 10 2006 On the equivalence problem for attribute systems. Zbl 0529.68005Courcelle, Bruno; Franchi-Zannettacci, Paul 10 1982 The recognizability of sets of graphs is a robust property. Zbl 1077.68070Courcelle, Bruno; Weil, Pascal 9 2005 The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs. Zbl 0938.03015Courcelle, Bruno 9 1999 The monadic second-order logic of graphs. XII: Planar graphs and planar maps. Zbl 0951.03004Courcelle, Bruno 9 2000 Completions of ordered magmas. Zbl 0463.06005Courcelle, Bruno; Raoult, Jean-Claude 9 1980 Computations by fly-automata beyond monadic second-order logic. Zbl 1335.68116Courcelle, Bruno; Durand, Irène 8 2016 A characterisation of clique-width through nested partitions. Zbl 1315.05110Courcelle, Bruno; Heggernes, Pinar; Meister, Daniel; Papadopoulos, Charis; Rotics, Udi 8 2015 Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming. Zbl 0719.68038Courcelle, B.; Deransart, P. 8 1988 A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas 8 1991 Equivalent definitions of recognizability for sets of graphs of bounded tree-width. Zbl 0846.68054Courcelle, Bruno; Lagergren, Jens 8 1996 Coverings and minors: Application to local computations in graphs. Zbl 0788.05076Courcelle, Bruno; Métivier, Yves 8 1994 Recognizable sets of graphs: Equivalent definitions and closure properties. Zbl 0798.68090Courcelle, Bruno 8 1994 The monadic second-order logic of graphs. XVI: Canonical graph decompositions. Zbl 1126.03016Courcelle, Bruno 8 2006 A note on the computability of graph minor obstruction sets for monadic second order ideals. Zbl 0960.68129Courcelle, Bruno; Downey, Rodney G.; Fellows, Michael R. 8 1997 Une forme canonique pour les grammaires simples déterministes. Zbl 0285.68033Courcelle, Bruno 8 1974 Graph operations characterizing rank-width and balanced graph expressions. Zbl 1141.68523Courcelle, Bruno; Kanté, Mamadou Moustapha 7 2007 Graph structure and monadic second-order logic: Language theoretical aspects. Zbl 1143.68433Courcelle, Bruno 7 2008 The definability of equational graphs in monadic second-order logic. Zbl 0686.68011Courcelle, B. 7 1989 Program equivalence and canonical forms in stable discrete interpretations. Zbl 0363.68036Berry, G.; Courcelle, B. 7 1976 An algebraic theory of graph reduction. Zbl 0765.68062Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef 6 1991 Constrained-path labellings on graphs of bounded clique-width. Zbl 1204.68143Courcelle, Bruno; Twigg, Andrew 6 2010 Arbres infinis et systèmes d’équations. Zbl 0406.68017Courcelle, Bruno 6 1979 The solutions of two star-height problems for regular trees. Zbl 0554.68037Braquelaire, J. P.; Courcelle, B. 6 1984 Recursive queries and context-free graph grammars. Zbl 0716.68026Courcelle, Bruno 6 1991 From tree-decompositions to clique-width terms. Zbl 1395.05097Courcelle, Bruno 6 2018 Several notions of rank-width for countable graphs. Zbl 1354.05038Courcelle, Bruno 6 2017 Recognizable sets of graphs, hypergraphs and relational structures: a survey. Zbl 1117.68397Courcelle, Bruno 5 2004 On using context-free graph grammars for analyzing recursive definitions. Zbl 0675.68042Courcelle, Bruno 5 1988 The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings. Zbl 0945.68144Courcelle, B. 5 2000 A new complexity measure for languages. Zbl 0431.68077Boasson, Luc; Courcelle, Bruno; Nivat, Maurice 5 1977 On context-free sets of graphs and their monadic second-order theory. Zbl 0643.68105Courcelle, Bruno 5 1987 Algebraic and logical descriptions of generalized trees. Zbl 1459.03007Courcelle, Bruno 5 2017 Model-checking by infinite fly-automata. Zbl 1398.68336Courcelle, Bruno; Durand, Irène 5 2013 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0768.68130Courcelle, B.; Mosbah, M. 4 1992 Fly-automata for checking monadic second-order properties of graphs of bounded tree-width. Zbl 1347.03077Courcelle, Bruno 4 2015 On the monadic second-order transduction hierarchy. Zbl 1198.03020Blumensath, Achim; Courcelle, Bruno 4 2010 Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135Courcelle, Bruno 4 1988 Erratum to “The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures”. Zbl 0831.03001Courcelle, Bruno 4 1995 Recognizable sets of unrooted trees. Zbl 0798.68112Courcelle, Bruno 4 1992 Axiomatization of betweenness in order-theoretic trees. Zbl 1509.03029Courcelle, Bruno 2 2021 Betweenness in order-theoretic trees. Zbl 1509.03030Courcelle, Bruno 2 2020 On quasi-planar graphs: clique-width and logical description. Zbl 1437.05059Courcelle, Bruno 1 2020 Betweenness of partial orders. Zbl 1484.03050Courcelle, Bruno 1 2020 From tree-decompositions to clique-width terms. Zbl 1395.05097Courcelle, Bruno 6 2018 Fly-automata for checking \(\mathrm{MSO}_2\) graph properties. Zbl 1445.03045Courcelle, Bruno 1 2018 Several notions of rank-width for countable graphs. Zbl 1354.05038Courcelle, Bruno 6 2017 Algebraic and logical descriptions of generalized trees. Zbl 1459.03007Courcelle, Bruno 5 2017 Computations by fly-automata beyond monadic second-order logic. Zbl 1335.68116Courcelle, Bruno; Durand, Irène 8 2016 A characterisation of clique-width through nested partitions. Zbl 1315.05110Courcelle, 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.03077Courcelle, Bruno 4 2015 Regularity equals monadic second-order definability for quasi-trees. Zbl 1465.03072Courcelle, Bruno 3 2015 Clique-width and edge contraction. Zbl 1329.05278Courcelle, Bruno 13 2014 Monadic second-order definable graph orderings. Zbl 1315.03015Blumensath, Achim; Courcelle, Bruno 3 2014 Model-checking by infinite fly-automata. Zbl 1398.68336Courcelle, Bruno; Durand, Irène 5 2013 Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006Courcelle, Bruno; Engelfriet, Joost 179 2012 On the model-checking of monadic second-order formulas with edge set quantifications. Zbl 1236.05143Courcelle, Bruno 15 2012 Automata for the verification of monadic second-order graph properties. Zbl 1285.03049Courcelle, Bruno; Durand, Irène 14 2012 Compact labelings for efficient first-order model-checking. Zbl 1237.90191Courcelle, Bruno; Gavoille, Cyril; Kanté, Mamadou Moustapha 3 2011 Fly-automata, their properties and applications. Zbl 1297.68117Courcelle, Bruno; Durand, Irène A. 2 2011 Constrained-path labellings on graphs of bounded clique-width. Zbl 1204.68143Courcelle, Bruno; Twigg, Andrew 6 2010 On the monadic second-order transduction hierarchy. Zbl 1198.03020Blumensath, Achim; Courcelle, Bruno 4 2010 Special tree-width and the verification of monadic second-order graph properties. Zbl 1245.68133Courcelle, Bruno 3 2010 Linear delay enumeration and monadic second-order logic. Zbl 1217.03024Courcelle, Bruno 19 2009 Graph operations characterizing rank-width. Zbl 1173.05349Courcelle, Bruno; Kanté, Mamadou Moustapha 11 2009 A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Zbl 1181.05010Courcelle, Bruno 13 2008 The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. Zbl 1136.68041Courcelle, Bruno; Delhommé, Christian 12 2008 Circle graphs and monadic second-order logic. Zbl 1149.03011Courcelle, Bruno 11 2008 Graph structure and monadic second-order logic: Language theoretical aspects. Zbl 1143.68433Courcelle, Bruno 7 2008 Connectivity check in 3-connected planar graphs with obstacles. Zbl 1267.05155Courcelle, Bruno; Gavoille, Cyril; Kanté, Mamadou Moustapha; Twigg, Andrew 3 2008 Vertex-minors, monadic second-order logic, and a conjecture by Seese. Zbl 1121.03016Courcelle, Bruno; Oum, Sang-Il 37 2007 Compact forbidden-set routing. Zbl 1186.68331Courcelle, Bruno; Twigg, Andrew 16 2007 Graph operations characterizing rank-width and balanced graph expressions. Zbl 1141.68523Courcelle, Bruno; Kanté, Mamadou Moustapha 7 2007 Recognizability, hypergraph operations, and logical types. Zbl 1110.03021Blumensath, A.; Courcelle, B. 11 2006 The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007Courcelle, Bruno 10 2006 The monadic second-order logic of graphs. XVI: Canonical graph decompositions. Zbl 1126.03016Courcelle, Bruno 8 2006 The recognizability of sets of graphs is a robust property. Zbl 1077.68070Courcelle, Bruno; Weil, Pascal 9 2005 The modular decomposition of countable graphs: Constructions in monadic second-order logic. Zbl 1136.68452Courcelle, Bruno; Delhommé, Christian 3 2005 Clique-width of countable graphs: A compactness property. Zbl 1073.68062Courcelle, B. 11 2004 Recognizable sets of graphs, hypergraphs and relational structures: a survey. Zbl 1117.68397Courcelle, Bruno 5 2004 Query efficient implementation of graphs of bounded clique-width. Zbl 1029.68113Courcelle, B.; Vanicat, R. 22 2003 The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifications. Zbl 1038.68048Courcelle, Bruno 17 2003 Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105Courcelle, B.; Makowsky, J. A. 13 2002 A monadic second-order definition of the structure of convex hypergraphs. Zbl 1049.68098Courcelle, Bruno 3 2002 Graph operations, graph transformations and monadic second-order logic: a survey. Zbl 1263.68071Courcelle, Bruno 2 2002 The evaluation of first-order substitution is monadic second-order compatible. Zbl 0996.68061Courcelle, Bruno; Knapik, Teodor 1 2002 Map genus, forbidden maps, and monadic second-order logic. Zbl 1016.05026Courcelle, B.; Dussaux, V. 1 2002 On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Zbl 0972.05023Courcelle, B.; Makowsky, J. A.; Rotics, U. 73 2001 Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102Courcelle, B.; Makowsky, J. A.; Rotics, U. 350 2000 Upper bounds to the clique width of graphs. Zbl 0958.05105Courcelle, Bruno; Olariu, Stephan 271 2000 The monadic second-order logic of graphs. XII: Planar graphs and planar maps. Zbl 0951.03004Courcelle, Bruno 9 2000 The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings. Zbl 0945.68144Courcelle, B. 5 2000 Graph operations and monadic second-order logic: A survey. Zbl 0988.68559Courcelle, Bruno 3 2000 Clique-width of countable graphs: a compactness property. Zbl 1412.05149Courcelle, Bruno 1 2000 The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs. Zbl 0938.03015Courcelle, Bruno 9 1999 Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.). Zbl 0973.51006Courcelle, Bruno; Olive, Frédéric 1 1999 Monadic second-order logic, graph coverings and unfoldings of transition systems. Zbl 0929.03036Courcelle, Bruno; Walukiewicz, Igor 14 1998 Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084Courcelle, B.; Makowsky, J. A.; Rotics, U. 13 1998 Facial circuits of planar graphs and context-free languages. Zbl 0914.68115Courcelle, Bruno; Lapoire, Denis 4 1998 On the expression of graph properties in some fragments of monadic second-order logic. Zbl 0883.03004Courcelle, Bruno 22 1997 A note on the computability of graph minor obstruction sets for monadic second order ideals. Zbl 0960.68129Courcelle, Bruno; Downey, Rodney G.; Fellows, Michael R. 8 1997 The monadic second-order logic of graphs. X: Linear orderings. Zbl 0877.68087Courcelle, Bruno 22 1996 Basic notions of universal algebra for language theory and graph grammars. Zbl 0874.68170Courcelle, Bruno 13 1996 Equivalent definitions of recognizability for sets of graphs of bounded tree-width. Zbl 0846.68054Courcelle, Bruno; Lagergren, Jens 8 1996 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098Courcelle, B.; Engelfriet, J. 26 1995 The monadic second-order logic of graphs. VIII: Orientations. Zbl 0830.03016Courcelle, Bruno 18 1995 Structural properties of context-free sets of graphs generated by vertex replacement. Zbl 0828.68091Courcelle, Bruno 15 1995 The monadic second-order logic of graphs. IX: Machines and their behaviours. Zbl 0872.03026Courcelle, Bruno 11 1995 Erratum to “The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures”. Zbl 0831.03001Courcelle, Bruno 4 1995 Monadic second-order definable graph transductions: a survey. Zbl 0805.68077Courcelle, Bruno 58 1994 The monadic second order logic of graphs. VI: On several representations of graphs by relational structures. Zbl 0809.03005Courcelle, Bruno 51 1994 Coverings and minors: Application to local computations in graphs. Zbl 0788.05076Courcelle, Bruno; Métivier, Yves 8 1994 Recognizable sets of graphs: Equivalent definitions and closure properties. Zbl 0798.68090Courcelle, Bruno 8 1994 Handle-rewriting hypergraph grammars. Zbl 0825.68446Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 142 1993 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0789.68083Courcelle, B.; Mosbah, M. 85 1993 An algebraic theory of graph reduction. Zbl 0795.68156Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef 38 1993 Graph grammars, monadic second-order logic and the theory of graph minors. Zbl 0787.05086Courcelle, Bruno 11 1993 The monadic second-order logic of graphs. III: Tree-decompositions, minors and complexity issues. Zbl 0754.03006Courcelle, B. 85 1992 The monadic second-order logic of graphs. VII: Graphs as relational structures. Zbl 0809.03006Courcelle, Bruno 24 1992 Monadic second-order evaluations on tree-decomposable graphs. Zbl 0768.68130Courcelle, B.; Mosbah, M. 4 1992 Recognizable sets of unrooted trees. Zbl 0798.68112Courcelle, Bruno 4 1992 The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability. Zbl 0754.68065Courcelle, Bruno 46 1991 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 14 1991 On constructing obstruction sets of words. Zbl 0744.68074Courcelle, Bruno 11 1991 A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas 8 1991 An algebraic theory of graph reduction. Zbl 0765.68062Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef 6 1991 Recursive queries and context-free graph grammars. Zbl 0716.68026Courcelle, Bruno 6 1991 Graphs as relational structures: An algebraic and logical approach. Zbl 0765.68085Courcelle, Bruno 2 1991 The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. Zbl 0722.03008Courcelle, Bruno 508 1990 Graph rewriting: An algebraic and logic approach. Zbl 0900.68282Courcelle, Bruno 138 1990 Recurcive applicative program schemes. Zbl 0900.68095Courcelle, Bruno 24 1990 The monadic second-order logic of graphs. IV: Definability properties of equational graphs. Zbl 0731.03006Courcelle, Bruno 14 1990 The monadic second-order logic of graphs. II: Infinite graphs of bounded width. Zbl 0694.68043Courcelle, Bruno 20 1989 The definability of equational graphs in monadic second-order logic. Zbl 0686.68011Courcelle, B. 7 1989 Monadic second-order logic and context-free graph-grammars. Zbl 0755.68090Courcelle, Bruno 1 1989 Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming. Zbl 0719.68038Courcelle, B.; Deransart, P. 8 1988 On using context-free graph grammars for analyzing recursive definitions. Zbl 0675.68042Courcelle, Bruno 5 1988 Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. Zbl 0679.68135Courcelle, Bruno 4 1988 An axiomatic definition of context-free rewriting and its application to NLC graph grammars. Zbl 0644.68096Courcelle, B. 4 1988 Graph expressions and graph rewritings. Zbl 0641.68115Bauderon, Michel; Courcelle, Bruno 95 1987 ...and 36 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,881 Authors 90 Courcelle, Bruno 45 Paulusma, Daniël 38 Golovach, Petr A. 37 Thilikos, Dimitrios M. 34 Engelfriet, Joost 34 Lozin, Vadim Vladislavovich 30 Ganian, Robert 29 Bodlaender, Hans L. 28 Kanté, Mamadou Moustapha 25 Kwon, Ojoung 24 Lampis, Michael 24 Makowsky, Johann-Andreas 24 Sau, Ignasi 23 Otachi, Yota 23 Szeider, Stefan 22 Brandstädt, Andreas 22 Fomin, Fedor V. 22 Gurski, Frank 21 Dabrowski, Konrad Kazimierz 20 Heggernes, Pinar 20 Oum, Sang-Il 19 Drewes, Frank 19 Vogler, Heiko 17 Lokshtanov, Daniel 17 Milanič, Martin 17 Pilipczuk, Michał 16 Saurabh, Saket 15 Hliněný, Petr 14 Eiben, Eduard 14 Fellows, Michael Ralph 14 Kratsch, Dieter 14 Papadopoulos, Charis 14 Paul, Christophe 14 Sénizergues, Géraud 14 Wanke, Egon 13 De Oliveira Oliveira, Mateus 13 Maneth, Sebastian 12 Belmonte, Rémy 12 Ésik, Zoltán 12 Meister, Daniel 12 Ordyniak, Sebastian 12 Rossmanith, Peter 11 Fülöp, Zoltán 11 Hanaka, Tesshu 11 Kamiński, Marcin Marek 11 Sopena, Éric 11 Telle, Jan Arne 11 Zamaraev, Victor A. 10 Bazgan, Cristina 10 Kratochvíl, Jan 10 Milius, Stefan 10 Mosca, Raffaele 10 Obdržálek, Jan 10 Rotics, Udi 10 Souza, Uéverton S. 10 Todinca, Ioan 9 Baste, Julien 9 Gavoille, Cyril 9 Hoàng, Chính T. 9 Komander, Dominique 9 Kreutzer, Stephan 9 Malyshev, Dmitriĭ Sergeevich 9 Marx, Dániel 9 Mitsou, Valia 9 Nešetřil, Jaroslav 9 Ono, Hirotaka 9 Ossona de Mendez, Patrice 9 Padovani, Luca 9 Pinlou, Alexandre 9 Reddy, I. Vinod 9 Rehs, Carolin 9 Tuza, Zsolt 9 van ’t Hof, Pim 8 Adler, Isolde 8 Broersma, Hajo J. 8 Ducoffe, Guillaume 8 Fernau, Henning 8 Fiala, Jiří 8 Grohe, Martin 8 Kim, Eunjung 8 Knop, Dušan 8 Masařík, Tomáš 8 Nisse, Nicolas 8 Paschos, Vangelis Th. 8 Rao, Michaël 8 Rautenbach, Dieter 8 Sikdar, Somnath 7 Ancona, Davide 7 Bauderon, Michel 7 Bloom, Stephen L. 7 Blumensath, Achim 7 Bonomo-Braberman, Flavia 7 Bozapalidis, Symeon 7 Chakradhar, Padamutham 7 Downey, Rodney Graham 7 Eppstein, David Arthur 7 Foucaud, Florent 7 Fürer, Martin 7 Huang, Shenwei 7 Kneis, Joachim ...and 1,781 more Authors all top 5 Cited in 133 Serials 306 Theoretical Computer Science 166 Discrete Applied Mathematics 95 Algorithmica 91 Journal of Computer and System Sciences 58 Information and Computation 49 Information Processing Letters 44 Discrete Mathematics 30 European Journal of Combinatorics 30 SIAM Journal on Discrete Mathematics 29 Acta Informatica 28 Theory of Computing Systems 27 Logical Methods in Computer Science 22 Journal of Combinatorial Theory. Series B 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 Journal of Graph Theory 11 Mathematical Systems Theory 10 Discrete Optimization 9 MSCS. Mathematical Structures in Computer Science 9 The Electronic Journal of Combinatorics 9 RAIRO. Theoretical Informatics and Applications 9 Computer Science Review 9 Journal of Logical and Algebraic Methods in Programming 8 SIAM Journal on Computing 8 Journal of Discrete Algorithms 7 ACM Transactions on Computational Logic 6 Graphs and Combinatorics 6 Journal of Logic, Language and Information 5 The Journal of Symbolic Logic 5 Journal of Automated Reasoning 5 Discussiones Mathematicae. Graph Theory 5 Discrete Mathematics, Algorithms and Applications 4 Order 4 Combinatorics, Probability and Computing 4 Constraints 4 Discrete Mathematics and Theoretical Computer Science. DMTCS 4 Fundamenta Informaticae 4 Theory and Practice of Logic Programming 4 Journal of Applied Logic 4 Algorithms 4 Communications in Combinatorics and Optimization 3 Applied Mathematics and Computation 3 Journal of Pure and Applied Algebra 3 Operations Research Letters 3 Journal of Symbolic Computation 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 Optimization Letters 3 RAIRO. Theoretical Informatics and Applications 2 Networks 2 Advances in Applied Mathematics 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 Mathematical Methods of Operations Research 2 Algebraic & Geometric Topology 2 The Journal of Logic and Algebraic Programming 2 ACM Journal of Experimental Algorithmics 2 AKCE International Journal of Graphs and Combinatorics 2 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 1 Advances in Applied Probability 1 Journal of Computational Physics 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 ...and 33 more Serials all top 5 Cited in 28 Fields 1,378 Computer science (68-XX) 855 Combinatorics (05-XX) 309 Mathematical logic and foundations (03-XX) 97 Operations research, mathematical programming (90-XX) 41 Category theory; homological algebra (18-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 36 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 General algebraic systems (08-XX) 13 Biology and other natural sciences (92-XX) 12 Group theory and generalizations (20-XX) 10 Probability theory and stochastic processes (60-XX) 8 Convex and discrete geometry (52-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Manifolds and cell complexes (57-XX) 7 Information and communication theory, circuits (94-XX) 6 Quantum theory (81-XX) 5 Number theory (11-XX) 3 General and overarching topics; collections (00-XX) 3 Associative rings and algebras (16-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 History and biography (01-XX) 2 Commutative algebra (13-XX) 2 Algebraic geometry (14-XX) 2 General topology (54-XX) 2 Statistics (62-XX) 1 Special functions (33-XX) 1 Geometry (51-XX) 1 Systems theory; control (93-XX) 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.