Accessibilité  Algorithmes  Algorithmes de skill rating  Algèbres de Boole  Analyse des données  Apprentissage automatique  Apprentissage semi-supervisé  Apprentissage spectral  Approximations  Arbre de graphe  Arbres  Arbres  Automates  Automates cellulaires  Automates d'arbres  Automates infinis  Automates mathématiques, Théorie des  B  Bases de données -- Interrogation  Bases de données sur le Web  Boole, Algèbre de  Canonisation de graphe  Circuits intégrés numériques -- Conception et construction -- Informatique  Combination  Compilation certifiée en Coq  Complexité descrptive  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  Formules de Horn  Gestion mémoire  Grammaires algébriques  Grammaires conjonctives  Graphes de données  Graphes, Théorie des  Génie logiciel  Hypergraphes  Implication  Indexation automatique  Induction  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 du second ordre existentiel  Logique informatique  Logique mathématique  Machines séquentielles, Théorie des  Mises à jour  Model checking  Modèle de calcul parallèle et local  Méthodes formelles  Noyaux de graphe  Ontologies  Ordinateurs -- Fiabilité  Paramodulation  Petri, Réseaux de  Plongement de graphe  Procédures de décisions  Programmation logique  Programmation par contraintes  QSAR  Raffinement  Requêtes de chemin  Requêtes n-aires  Règles existentielles  Réseaux de Petri  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  Temps-réel  Théorèmes -- Démonstration automatique  Traces de Mazurkiewicz  Traces, Théorie des  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 4 thèses suivantes :

Mathématiques - Informatique
Soutenue le 24-11-2020
Thèse soutenue