Bruno COURCELLE
Bruno Courcelle Professeur (Université Bordeaux)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Emérite
Page personnelle : http://www.labri.fr/perso/courcell/ActSci.html
Courrier électronique : bruno.courcellearobaselabri.fr
Bureau : 117
Tél : +33 (0)5 40 00 60 86


Recherche

Décompositions de graphes et descriptions des graphes finis et infinis
par des expressions algébriques, finies et infinies
Expression de propriétés de graphes en logique du second-ordre monadique
Algorithmes efficaces de vérification fondés sur la logique et les décompositions


Collaborations internationales : Allemagne, Pays-Bas, Israël, Corée du Sud
France : Projet de l'ANR sur les algorithmes d'énumération des configurations dans les graphes (2015-2019) avec les laboratoires de Metz, Orléans et Clermont-Ferrand.

Membre senior IUF de 2007 à 2012

Extrait de publications


Bruno Courcelle. Grammars and clique-width bounds from split decompositions. Discrete Applied Mathematics, Elsevier, In press, ⟨10.1016/j.dam.2019.07.001⟩. ⟨hal-02093211v2⟩

Bruno Courcelle. Axiomatizations of betweenness in order-theoretic trees. 2019. ⟨hal-02205829⟩

Irène Durand, Bruno Courcelle, Michael Raskin. On defining linear orders by automata. 2019. ⟨hal-02397982⟩

Bruno Courcelle. Grammars and clique-width bounds from split decompositions. 2018. ⟨hal-01802429⟩

Bruno Courcelle. From tree-decompositions to clique-width terms. Discrete Applied Mathematics, Elsevier, 2018. ⟨hal-01398972⟩


Comité de programme & Comité d'organisation

LATA (Language and Automata Theory and Applications) 2012
CAI (Conference of Algebraic Informatics) 2013


Page mise à jour le 13/08/2010 à 10:56