Abstractions  Algorithme de dépliage  Algorithmes  Algorithmes distribués  Algorithmes parallèles  Algorithmes à la volée  Analyse automatique  Automate temporisés  Automates mathématiques, Théorie des  Bornitude  Complexité paramétrée  Configuration interdite  Connexité avec panne  Décomposition arborescente  Décomposition de graphe  Décomposition de graphes  Exécution Zenon  Grammaire de graphe  Grammaires catégorielles abstraites  Graphe  Graphe planaire  Graphe planaire-extérieur  Graphe sans mineur  Graphes planaires  Graphes sur les surfaces  Graphes topologiques, Théorie des  Graphes, Théorie des  Invariants  Lambda-calcul  Largeur arborescente  Largeur arborescente mineur  Largeur de clique  Largeur de graphe  Largeur de rang  Linguistique -- Informatique  Linguistique informatique  Logique  Logique du premier ordre  Logique monadique du second ordre  Longueur arborescente  Matroïdes  Mineur de graphe  Modalité  Modèles mathématiques  Multiprogrammation  Optimisation combinatoire  Ordre partiel  Partitionnement de graphes  Planification de l’urgence  Produit synchronisé  Programmation linéaire  Préfixe fini  Préordre  Quasi-vivacité  Représentations de graphes  Routage compact  Routeurs  Schéma d’étiquetage  Sciences appliquees  Structure d'événements  Syntaxe modèle-théorique  Système d'étiquetage  Système infini  Systèmes informatiques  Terminaison  Vertex-minor  

Bruno Courcelle a dirigé les 16 thèses suivantes :

Sciences appliquées
Soutenue en 1996
Thèse soutenue

Informat.
Soutenue en 1992
Thèse soutenue


Bruno Courcelle a été président de jury des 4 thèses suivantes :

Informatique
Soutenue le 12-12-2017
Thèse soutenue
Informatique
Soutenue le 15-12-2014
Thèse soutenue

Bruno Courcelle a été membre de jury de la thèse suivante :