Algorithmes distribués  Algorithmes parallèles  Algèbre de Kleene  Algèbre de relations  Anneaux de semigroupes  Assistants de preuve  Automate bidirectionnel  Automate universel  Automates  Automates a poids  Automates mathématiques, Théorie des  Automates sur les mots infinis  Automates à pile de piles fortement déterministes  Automates à poids  Calcul des prédicats  Complexité de calcul  Compression  Conjectures de Straubing  Données -- Compression  Ensemble régulier  Ensembles ordonnés  Expressions régulières  Graphes, Théorie des  Génération aléatoire  Huffman  Langages de programmation -- Sémantique  Langages formels  Langages rationnels  Logiciels -- Vérification  Logique  Logique du premier ordre  Logique monadique du second ordre  Markov  Markov, Processus de  Modalité  Model-Checking  Monoïdes  Mots infinis  Multiplicité  Multiplicité  Méthodes formelles  Noyaux  Noyaux rationnel  Ordres stochastiques  Patterns  Preuve assistée par ordinateur  Réécriture  Réécriture, Systèmes de  SST  Satisfaisabilité  Semigroupes  Spécification quantitative  Systèmes d'équations algébriques  Sémantique des programmes  T-Dag  Théorie de la définissabilité  Théorie des automates  Théorie des ensembles  Théorie des jeux  Théorie des langages  Théorie des semigroupes  Topologie  Transducteur unidirectionnel et bidirectionnel  Transducteurs  Transduction  Transduction MSO  Variété de timbes  Vérification formelle  

Olivier Carton a rédigé la thèse suivante :

Informatique
Soutenue en 1993
Thèse soutenue


Olivier Carton a dirigé les 6 thèses suivantes :

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

Informatique
Soutenue en 2010
Thèse soutenue

Olivier Carton a été président de jury des 2 thèses suivantes :

Informatique
Soutenue le 04-10-2016
Thèse soutenue
Informatique
Soutenue le 11-05-2015
Thèse soutenue

Olivier Carton a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 05-12-2017
Thèse soutenue


Olivier Carton a été membre de jury de la thèse suivante :