Algorithmes  Algorithmes de skill rating  Analyse des données  Apprentissage automatique  Apprentissage semi-supervisé  Apprentissage spectral  Approximations  Arbres  Arbres  Automates  Automates d'arbres  Automates mathématiques, Théorie des  B  Bases de données -- Interrogation  Bases de données sur le Web  Canonisation de graphe  Circuits intégrés numériques -- Conception et construction -- Informatique  Combination  Compilation certifiée en Coq  Conception conjointe  Contraintes  Contraintes  Coq  Données semi-structurées  Décidabilité  Déterminabilité  Expressivité  Flux de données  Formalisation de langages centrés données  Gestion mémoire  Graphes de données  Graphes, Théorie des  Génie logiciel  Hypergraphes  Implication  Indexation automatique  Intelligence artificielle  Isomorphismes  Langages d 'entrée de conception  Langages d'interrogation  Langages formels  Laplaciens de graphe  Logiciels -- Développement  Logiciels -- Vérification  Logiciels  Logique  Logique algébrique  Logique du premier ordre  Logique informatique  Logique mathématique  Machines séquentielles, Théorie des  Mises à jour  Model checking  Méthodes formelles  Noyaux de graphe  Ontologies  Ordinateurs -- Fiabilité  Paramodulation  Plongement de graphe  Procédures de décisions  Programmation par contraintes  QSAR  Raffinement  Requêtes de chemin  Requêtes n-aires  Règles existentielles  Réécriture  Réécriture de requêtes  Réécriture, Systèmes de  SQL  Saturation schématique  Schémas  Sciences pour l'ingénieur et microtechniques  Structures de données  Système C  Systèmes embarqués  Systèmes, Conception de  Sémantique formelle de SQL  Théorèmes -- Démonstration automatique  VHDL  Vues  XML  XPath  Éléments finis, Méthode des  

Sophie Tison a dirigé les 10 thèses suivantes :

Informatique
Soutenue le 05-10-2012
Thèse soutenue
Informatique
Soutenue le 28-09-2009
Thèse soutenue
Informatique
Soutenue le 13-10-2008
Thèse soutenue
Informatique
Soutenue en 1994
Thèse soutenue

Informatique
Soutenue en 1990
Thèse soutenue


Sophie Tison a été président de jury des 3 thèses suivantes :


Sophie Tison a été rapporteur des 3 thèses suivantes :


Sophie Tison a été membre de jury des 2 thèses suivantes :