Bruno COURCELLE
Bruno Courcelle Professeur ()

É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. From tree-decompositions to clique-width terms. Discrete Applied Mathematics, Elsevier, 2018

Bruno Courcelle. Grammars and clique-width bounds from split decompositions. 2018

Bruno Courcelle. On quasi-planar graphs : clique-width and logical description. GROW 2017, Oct 2017, Toronto, Canada

Bruno Courcelle. Algebraic and logical descriptions of generalized trees. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.Article 7

Bruno Courcelle. Several notions of rank-width for countable graphs. Journal of Combinatorial Theory, Series B, Elsevier, 2017, 123, pp.186-214


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