Algorithmes  Analyse de l'accessibilité  Approximations  Arbres  Arbres  Automate d'arbres  Automate à pile visible  Automates  Automates boustrophédons  Automates circulaires  Automates d'arbres  Automates mathématiques, Théorie des  Automates pondérés  Automates sur les mots infinis  Automates à pile de piles fortement déterministes  Automates à poids  Bases de données -- Interrogation  CTL  Chomsky--Schützenberger  Code auto-modifiant  Code binaire  Contraintes  Contraintes  Contrôle d’accès  Coût  Données semi-structurées  Décidabilité  Décidabilité  Détection de malware  Epsilon-Sûr  Expressivité  Homomorphismes  Indépendance  LTL  Langages algébriques  Langages d'interrogation  Langages de tuiles  Langages formels  Logiciels -- Vérification  Logiciels  Logique  Logique mathématique  Logique temporelle  Machines séquentielles, Théorie des  Minimisation  Mise à jour  Model checking  Model-Checking  Méthodes formelles  Norme  OrBAC  Ordres supérieurs  Patterns  Programmation par contraintes  Protection de l'information  Pushdown system  Requêtes n-aires  Réécriture  Réécriture, Systèmes de  SOA  Satisfaisabilité  Soa  Spécification quantitative  Structures de données  Systèmes d'équations algébriques  Systèmes informatiques -- Mesures de sûreté  Séries de Hadamard  Séries rationnelles  T-Dag  TSX07  Théorie algébrique des langages  Théorie des langages  Théorème de représentation  Transducteur  Transducteurs  Transition  Types  Virus informatiques  Vérification  Vérification de modèles  Vérification formelle  XML  XML  Xacml  Éléments finis, Méthode des  Émondage  

Jean-Marc Talbot a rédigé la thèse suivante :


Jean-Marc Talbot a dirigé les 5 thèses suivantes :

Informatique
Soutenue le 13-10-2008
Thèse soutenue

Jean-Marc Talbot a été président de jury des 3 thèses suivantes :


Jean-Marc Talbot a été rapporteur des 4 thèses suivantes :

Informatique
Soutenue le 30-09-2019
Thèse soutenue

Jean-Marc Talbot a été membre de jury de la thèse suivante :