Acyclicité  Algorithmes  Algorithmes génétiques  Algorithmes parallèles  Algorithmique des graphes  Algorithmiques  Alignement sous-phrastique  Approximation  Approximation polynomiale  Assemblage  Base de données du graphes  Bases de connaissances  Bases de données -- Interrogation  Beta-acyclicité  Branches  Calcul sur des intervalles  Combinatoire  Compilation  Compilation  Complexité  Complexité de calcul  Complexité paramétrée  Comptage  Conflict packing  Connexité  Cycle hamiltonian  D-neibhor equivalence  Datalog  Datalog+/-  Dominants minimaux  Décomposition  Décomposition de graphe  Décomposition en protrusions  Décomposition en régions  Décomposition modulaire  Exploration de données  Extraction de noyaux  Feedback vertex set  Fouille de graphes  Golden corpus  Grammaire de graphe  Graphe  Graphes  Graphes de grande taille  Graphes, Théorie des  Hiérarchies optiques  Hypergraphes  Héritage multiple  Indexation  Indexation automatique  Informatique -- Mathématiques  Informatique  Intelligence artificielle  Langage à objets  Largeur de clique  Largeur de couplage induit  Largeur de graphe  Largeur de rang  Logique monadique du second ordre  Machine virtuelle  Matrices  Multicast  Multilinguisme  Mémoire d'exemples  Noyaux  Ontologies  Optimisation combinatoire  Paraphrase  Partitionnement de graphes  Partitions  Phylogénie  Problème de flux maximal  Problème de recherche  Problèmes de graphes  Problèmes de recouvrement sous contraintes  Programmation orientée objets  Programmation par contraintes  Représentation des connaissances et raisonnement  Requêtes conjonctives  Routage  Routage multicast  Règles existentielles  Réseaux de diffraction  Réseaux optiques WDM  Réseaux phylogénétiques  Structures de données  Superchaîne  Systèmes experts  Systèmes virtuels  Séquençage des acides nucléiques  Théorie des graphes  Traduction automatique  Traitement automatique du langage naturel  Transversaux minimaux  Édition de contraintes  Édition de graphes  

Christophe Paul a rédigé la thèse suivante :


Christophe Paul a dirigé les 3 thèses suivantes :


Christophe Paul a été président de jury des 5 thèses suivantes :


Christophe Paul a été rapporteur des 2 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 17-12-2019
Thèse soutenue

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

Christophe Paul a été membre de jury des 5 thèses suivantes :

Informatique
Soutenue le 27-02-2017
Thèse soutenue