Bruno Courcelle

60
Documents

Publications

Publications

Deposit thumbnail

Unfoldings and Coverings of Weighted Graphs

Bruno Courcelle

Fundamenta Informaticae, In press, 1, pp.1-47. ⟨10.3233/FI-222149⟩

Article dans une revue hal-04133626v1
Deposit thumbnail

Induced betweenness in order-theoretic trees

Bruno Courcelle

Discrete Mathematics and Theoretical Computer Science, 2022, vol. 23 no. 2, special issue in honour of Maurice Pouzet, ⟨10.46298/dmtcs.7288⟩

Article dans une revue hal-03175157v5
Deposit thumbnail

Betweenness of partial orders

Bruno Courcelle

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2020, 54, pp.7. ⟨10.1051/ita/2020007⟩

Article dans une revue hal-03078856v1
Deposit thumbnail

Grammars and clique-width bounds from split decompositions

Bruno Courcelle

Discrete Applied Mathematics, In press, ⟨10.1016/j.dam.2019.07.001⟩

Article dans une revue hal-02093211v2
Deposit thumbnail

From tree-decompositions to clique-width terms

Bruno Courcelle

Discrete Applied Mathematics, 2018

Article dans une revue hal-01398972v1
Deposit thumbnail

On quasi-planar graphs : clique-width and logical description

Bruno Courcelle

Discrete Applied Mathematics, 2018, ⟨10.1016/j.dam.2018.07.022⟩

Article dans une revue hal-01735820v2
Deposit thumbnail

Algebraic and logical descriptions of generalized trees

Bruno Courcelle

Logical Methods in Computer Science, 2017, 13 (3), pp.Article 7

Article dans une revue hal-01299077v3
Deposit thumbnail

Several notions of rank-width for countable graphs

Bruno Courcelle

Journal of Combinatorial Theory, Series B, 2017, 123, pp.186-214

Article dans une revue hal-00957618v1
Deposit thumbnail

Computations by fly-automata beyond monadic second-order logic

Bruno Courcelle , Irène Durand

Theoretical Computer Science, 2016, 619, pp.32-67

Article dans une revue hal-00828211v2
Deposit thumbnail

A characterisation of clique-width through nested partitions

Bruno Courcelle , Pinar Heggernes , Daniel Meister , Charis Papadopoulos , Udi Rotics

Discrete Applied Mathematics, 2015, 187, pp.70-81

Article dans une revue hal-01022109v1
Deposit thumbnail

Clique-width and edge contraction

Bruno Courcelle

Information Processing Letters, 2014, 114 (1-2), pp.42-44

Article dans une revue hal-00838630v2
Deposit thumbnail

Monadic second-order definable graph orderings

Achim Blumensath , Bruno Courcelle

Logical Methods in Computer Science, 2014, 10 (1-2), pp.1-36

Article dans une revue hal-00649990v1
Deposit thumbnail

On the model-checking of monadic second-order formulas with edge set quantifications.

Bruno Courcelle

Discrete Applied Mathematics, 2012, 160, pp.866-887. ⟨10.1016/j.dam.2010.12.017⟩

Article dans une revue hal-00481735v2
Deposit thumbnail

Automata for the verification of monadic second-order graph properties

Bruno Courcelle , Irène A. Durand

Journal of Applied Logic, 2012, 10, pp.368-409

Article dans une revue hal-00611853v2
Deposit thumbnail

Compact Labelings For Efficient First-Order Model-Checking

Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté

Journal of Combinatorial Optimization, 2011, 21 (1), pp.19--46

Article dans une revue hal-00342668v1

Compact labelings for efficient first-order model-checking

Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté

J. Comb. Optim., 2011, 21, pp.19--46. ⟨10.1007/s10878-009-9260-7⟩

Article dans une revue hal-02083537v1
Deposit thumbnail

On the monadic second-order transduction hierarchy

Achim Blumensath , Bruno Courcelle

Logical Methods in Computer Science, 2010, 6 (2), pp.1-28

Article dans une revue hal-00287223v3

Constrained-path labellings on graphs of bounded clique-width

Bruno Courcelle , Andrew Twigg

Theory of Computing Systems, 2010, 47, pp.531-567

Article dans une revue hal-00512618v1

Linear delay enumeration and monadic second-order logic

Bruno Courcelle

Discrete Applied Mathematics, 2009, 157, pp.2675-2700. ⟨10.1016/j.dam.2008.08.021⟩

Article dans une revue istex hal-00333846v1

Graph operations characterizing rank-width

Bruno Courcelle , Mamadou Moustapha Kanté

Discrete Applied Mathematics, 2009, 157, pp.627-640. ⟨10.1016/j.dam.2008.08.026⟩

Article dans une revue istex hal-00334159v1

Circle graphs and monadic second-order logic

Bruno Courcelle

Journal of Applied Logic, 2008, 6, pp.416-442

Article dans une revue hal-00333840v1

Connectivity check in 3-connected planar graphs with obstacles

Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté , Andrew Twigg

Electronic Notes in Discrete Mathematics, 2008, 31, pp.151-155. ⟨10.1016/j.endm.2008.06.030⟩

Article dans une revue istex hal-00333863v1
Deposit thumbnail

A multivariate interlace polynomial

Bruno Courcelle

The Electronic Journal of Combinatorics, 2008, 15 (1), pp.R69

Article dans une revue hal-00128622v2
Deposit thumbnail

The modular decomposition of countable graphs : Definition and construction in monadic second-order logic

Bruno Courcelle , Christian Delhommé

Theoretical Computer Science, 2008, 394, pp.1-38

Article dans une revue hal-00288222v1

Compact Labelings For Efficient First-Order Model-Checking

Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté

Computing Research Repository, 2008, abs/0811.4713

Article dans une revue hal-02083559v1

The modular decomposition of countable graphs. Definition and construction in monadic second-order logic

Bruno Courcelle , Christian Delhommé

Theoretical Computer Science, 2008, 394 (1-2), pp.1-38. ⟨10.1016/j.tcs.2007.10.046⟩

Article dans une revue hal-01186190v1

Vertex-minors, monadic second-order logic, and a conjecture by Seese

Bruno Courcelle , Sang-Il Oum

Journal of Combinatorial Theory, Series B, 2007, 97, pp.91-126. ⟨10.1016/j.jctb.2006.04.003⟩

Article dans une revue istex hal-00334147v1

The monadic second-order logic of graphs XVI : Canonical graph decompositions

Bruno Courcelle

Logical Methods in Computer Science, 2006, 2, pp.1-46

Article dans une revue hal-00334069v1

Recognizability, hypergraph operations, and logical types

Bruno Courcelle , Achim Blumensath

Information and Computation, 2006, 204, pp.173-228. ⟨10.1016/j.ic.2005.11.006⟩

Article dans une revue istex hal-00334149v1

The monadic second-order logic of graphs XV : On a conjecture by D. Seese

Bruno Courcelle

Journal of Applied Logic, 2006, 4, pp.79-114

Article dans une revue hal-00334050v1
Deposit thumbnail

The recognizability of sets of graphs is a robust property

Bruno Courcelle , Pascal Weil

Theoretical Computer Science, 2005, 342, pp.173-228

Article dans une revue hal-00096607v1

Coverings and minors: application to local computations in graphs

Bruno Courcelle , Yves Métivier

European Journal of Combinatorics, 1994, 15, pp.127-138

Article dans une revue hal-00307036v1

Coverings and minors: application to local computations in graphs

Bruno Courcelle , Yves Métivier

European Journal of Combinatorics, 1994, 15, pp.127-138

Article dans une revue hal-00332773v1
Deposit thumbnail

Betweenness in order-theoretic trees

Bruno Courcelle

Journées sur les Arithmétiques Faibles, May 2020, Fontainebleau, France

Communication dans un congrès hal-02497172v1

Model-checking by infinite fly-automata

Bruno Courcelle , Irène A. Durand

5th Conference on Algebraic Informatics, Sep 2013, Porquerolles, France. pp.211-222

Communication dans un congrès hal-00875114v1

Infinite transducers on terms denoting graphs

Bruno Courcelle , Irène Durand

European Lisp Symposium, Jun 2013, Madrid, Spain. pp.47-58

Communication dans un congrès hal-00829088v1

Fly-automata, their properties and applications

Bruno Courcelle , Irène A. Durand

16th International Conference on Implementation and Application of Automata, Jul 2011, Blois, France. pp.264-272

Communication dans un congrès hal-00588456v1

Automata for Monadic Second-order model checking

Bruno Courcelle

Reachability Problems, Sep 2011, Genoa, Italy

Communication dans un congrès hal-00646520v1

Special tree-width and the verification of monadic second-order graph pr operties

Bruno Courcelle

FSTTCS 2010, Dec 2010, Chennai, India

Communication dans un congrès hal-00646524v1

Tractable constructions of finite automata from monadic second-order formula

Bruno Courcelle , Irène A. Durand

Workshop on Logical Approaches to Barriers in Computing and Complexity, Feb 2010, Greifswald, Germany

Communication dans un congrès hal-00522591v1

Verifying monadic second order graph properties with tree automata

Bruno Courcelle , Irène A. Durand

3rd European Lisp Symposium, May 2010, Lisboa, France. pp.7--21

Communication dans un congrès hal-00522586v1

On several proofs of the recognizability theorem

Bruno Courcelle

CAI 2009 : Conference on Algebraic Informatics, May 2009, Thessaloniki, Greece. pp.78-80

Communication dans un congrès hal-00401786v1

Monadic second-order logic for graphs : algorithmic and language theoretical applications

Bruno Courcelle

Language Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.19-22

Communication dans un congrès hal-00362832v1

Graph structure and monadic second-order logic : Language theoretical aspects

Bruno Courcelle

ICALP 2008, 2008, Reykjavik, Iceland. pp.1-13

Communication dans un congrès hal-00333842v1

Efficient First-Order Model-Checking Using Short Labels

Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté

Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings, Jun 2008, Changsha, China. pp.159-170, ⟨10.1007/978-3-540-69311-6_18⟩

Communication dans un congrès istex hal-00333894v1

Graph operations characterizing rank-width and balanced graph expressions

Bruno Courcelle , Mamadou Moustapha Kanté

Proccedings of the 33rd International Workshop on Graphs (WG07), Jun 2007, Germany. pp.66--75

Communication dans un congrès hal-00306343v1

Graph Operations Characterizing Rank-Width and Balanced Graph Expressions

Bruno Courcelle , Mamadou Moustapha Kanté

Graph-Theoretic Concepts in Computer Science, 2007, Dornburg, Germany. pp.66--75, ⟨10.1007/978-3-540-74839-7_7⟩

Communication dans un congrès hal-02083560v1

Compact forbidden-set routing

Bruno Courcelle , Andrew Twigg

Proceedings STACS 2007, 2007, Aachen, Germany. pp.37-48

Communication dans un congrès hal-00306341v1

Forbidden-Set Labeling on Graphs

Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté , Andrew Twigg

2nd Workshop on Locality Preserving Distributed Computing Methods (LOCALITY), Portland, Etats-Unis, Aug 2007, Portland, United States

Communication dans un congrès hal-00369662v1

Monadic second-order queries on graphs : Vertex labelling for efficient evaluation and linear delay enumeration

Bruno Courcelle

Algorithms and Complexity in Durham, Third Workshop, Durham, England, 2007, Durham, United Kingdom. pp.3-12

Communication dans un congrès hal-00334155v1

The modular decomposition of countable graphs : Constructions in monadic second-order logic

Bruno Courcelle , Christian Delhommé

Computer Science Logic, 2005, Oxford, United Kingdom. pp.325-338

Communication dans un congrès hal-00353765v1
Deposit thumbnail

Graph structure and monadic second-order logic. A language-theoretic approach.

Bruno Courcelle , Joost Engelfriet

Cambridge University Press, pp.728, 2012, Encyclopedia of Mathematics and its applications, Vol. 138, 978-0-521-89833-1

Ouvrages hal-00646514v1
Deposit thumbnail

Model Checking with Fly-Automata

Bruno Courcelle , Irène Durand

Ming-Yang Kao Encyclopedia of Algorithms, second edition., Chapitre 20, 2015, 978-3-642-27848-8. ⟨10.1007/978-3-642-27848-8_692-1⟩

Chapitre d'ouvrage hal-01299432v1
Deposit thumbnail

The common structure of the curves having a same Gauss word

Bruno Courcelle

A. Adamatzky. Automata, Computation, Universality, Springer, pp.1-37, 2015, Automata, Computation, Universality

Chapitre d'ouvrage hal-00879514v1

Model Checking with Fly-Automata

Bruno Courcelle , Irène Durand

Encyclopedia of Algorithms, 2015

Chapitre d'ouvrage hal-01757763v1

Structuration des graphes et logique

Bruno Courcelle

F. Bayart et E. Charpentier. Leçons de Mathématiques d'Aujourd'hui, Volume 4, Cassini, pp.167-194, 2010, Le sel et le fer

Chapitre d'ouvrage hal-00560955v1

Program semantics and infinite regular terms

Bruno Courcelle

Y. Bertot et al. From Semantics to Computer Science, Essays in Honour of Gilles Kahn, Cambridge University Press, pp.160-163, 2009

Chapitre d'ouvrage hal-00354861v1
Deposit thumbnail

Quantifier-free definable graph operations preserving recognizability

Bruno Courcelle

J. Flum, E. Graedel, T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.251-260, 2008, Texts in Logic and Games

Chapitre d'ouvrage hal-00288471v1

Décompositions arborescentes

Bruno Courcelle

Jean-Claude Fournier. Graphes et applications 2, Lavoisier, pp.195-231, 2007

Chapitre d'ouvrage hal-00306342v1
Deposit thumbnail

Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations

Bruno Courcelle , Gilles Kahn , Jean Vuillemin

Yves Bertot; Gérard Huet; Jean-Jacques Lévy; Gordon Plotkin. From Semantics to Computer Science Essays in Honour of Gilles Kahn, Cambridge University Press 1974, From Semantics to Computer Science Essays in Honour of Gilles Kahn, 9780521518253. ⟨10.1017/CBO9780511770524.009⟩

Chapitre d'ouvrage hal-01239749v1