Accessibilité maxmin  Algèbre  AltaRica  Arbres  Arbres à deux racines  Automate  Automates  Automates Communicants  Automates de tuiles  Automates leaktight  Automates mathématiques, Théorie des  Automates probabilistes  Automates simples  Automates à état Fini  Coloration de graphe  Coloriage de graphes  Complexité algorithmique  Complexité de calcul  Conception/validation d'architecture  Concurrence  Da  Demi-positionnel  Décidabilité  Event-Recording Logic  Event-Recording automata  Fiabilité  Graphe planaire  Graphes planaires  Hiérarchie de Wadge  Hiérarchie de points fixes  Intelligence artificielle répartie  J  Jeux demiaveugles  Jeux stochastiques  Langage régulier  Langages  Langages algébriques  Langages de tuiles  Langages formels  Langages localement testables  Langages localement testables à seuil  Langages non-ambigus  Langages rationnels  Langages réguliers  Langages testables par morceaux  Logiciels -- Vérification  Logique  Logique informatique  Logique temps-réel  Logiques  Minorants  Monoïdes  Monoïdes d’Ehresmann  Monoïdes inversifs  Morphismes  Mu-calcul  Méthode de déchargement  Méthodes formelles  Méthodes formelles  Nečiporuk  Planification modulaire  Processus stochastiques  Programmes sur monoïdes  Prémorphismes  Raffinement  Satisfaisabilité  Semigroupes  Semigroupes inversés  Shift-invariant  Structures de données  Submixing  Synthèse de contrôleur  Synthèse de contrôleurs  Systèmes temps-réel  Systèmes à événements discrets  Systèmes échantillonnés  Séparation  Séparation  Séparation de langages  Sûreté de fonctionnement des systèmes  Temps réel  Théorie des automates  Théorie des jeux  Tuiles  Valeur  Vérification  Vérification Formelle  Vérification quantitative  

Marc Zeitoun a rédigé la thèse suivante :


Marc Zeitoun a dirigé les 3 thèses suivantes :

Informatique
Soutenue le 23-11-2009
Thèse soutenue

Marc Zeitoun a été président de jury des 2 thèses suivantes :

Informatique
Soutenue le 07-12-2009
Thèse soutenue

Marc Zeitoun a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 13-11-2012
Thèse soutenue

Marc Zeitoun a été membre de jury des 4 thèses suivantes :

Informatique
Soutenue le 12-07-2016
Thèse soutenue