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, Processus de  Semigroupes  Théorie des jeux  Transducteurs  

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

Mots infinis, w-semigroupes et topologie

par Olivier Carton sous la direction de Dominique Perrin - Paris 7

Informatique

Soutenue en 1993

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

Distributed automata and logic

par Fabian Reiter sous la direction de Olivier Carton - Sorbonne Paris Cité

Informatique

Soutenue le 12-12-2017

Logique du premier ordre, relations d'entiers et automates dans une base fixe

par Arthur Milchior sous la direction de Alexis Bès et de Olivier Carton . - Sorbonne Paris Cité

Mathématiques

Soutenue en 2016

Méthodes algébriques pour la théorie des automates

par Luc Dartois sous la direction de Olivier Carton et de Jean-Éric Pin . - Paris 7

Informatique

Soutenue en 2014

Circuits booléens, prédicats modulaires et langages réguliers

par Charles Paperman sous la direction de Olivier Carton et de Jean-Éric Pin . - Paris 7

Informatique

Soutenue en 2014

Jeux et automates sur les ordres

par Julien Cristau sous la direction de Olivier Carton - Paris 7

Informatique

Soutenue en 2010

Automates sur les ordres linéaires : complémentation

par Chloé Rispal sous la direction de Olivier Carton - Université de Marne-la-Vallée

Informatique fondamentale

Soutenue en 2004

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

Algebras of Relations : from algorithms to formal proofs

par Paul Brunet sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 04-10-2016

Compression guidée par automate et noyaux rationnels

par Ahmed Amarni sous la direction de Marie-Pierre Béal - Paris Est

Informatique

Soutenue le 11-05-2015

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

Minimizing resources for regular word transductions

par Félix Baschenis sous la direction de Anca Muscholl - Bordeaux

Informatique

Soutenue le 05-12-2017

Autour des automates : génération aléatoire et contribution à quelques extensions

par Vincent Carnino sous la direction de Cyril Nicaud - Paris Est

Informatique

Soutenue le 05-12-2014

Régularité et contraintes de descendance : équations algébriques.

par Julien Ferte sous la direction de Denis Lugiez et de Clara Bertolissi . - Aix-Marseille

Informatique

Soutenue le 18-04-2014

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

Specification and verification of quantitative properties : expressions, logics, and automata

par Benjamin Monmege sous la direction de Paul Gastin - Cachan, Ecole normale supérieure

Informatique

Soutenue le 24-10-2013