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  Jeux stochastiques  Langages rationnels  Monoïdes  Méthodes formelles  Processus stochastiques  Séparation  Théorie des jeux  

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

Opérations implicites et variétés de semi-groupes finis

par Marc Zeitoun sous la direction de Jean-Éric Pin - Paris 7

Informatique

Soutenue en 1993

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

Induction Schemes : From Language Separation to Graph Colorings

par Théo Pierron sous la direction de Marc Zeitoun et de Eric Sopena . - Bordeaux

Informatique

Soutenue le 08-07-2019

Une approche combinatoire du problème de séparation pour les langages réguliers

par Lorijn Van Rooijen sous la direction de Marc Zeitoun - Bordeaux

Informatique

Soutenue le 04-12-2014

Analyses de sûreté de fonctionnement multi-systèmes

par Romain Bernard sous la direction de Pierre Bieber et de Marc Zeitoun . - Bordeaux 1

Informatique

Soutenue le 23-11-2009

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

Two-Player Stochastic Games with Perfect and Zero Information

par Edon Kelmendi sous la direction de Hugo Gimbert et de François Dufour . - Bordeaux

Informatique

Soutenue le 02-12-2016

Synthesis for a weak real-time logic

par Omer Nguena-Timo sous la direction de Igor Walukiewicz - Bordeaux 1

Informatique

Soutenue le 07-12-2009

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

The limits of Nečiporuk's method and the power of programs over monoids taken from small varieties of finite monoids

par Nathan Grosshans sous la direction de Luc Segoufin et de Pierre McKenzie . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 25-09-2018

Subwords : automata, embedding problems, and verification

par Prateek Karandikar sous la direction de Philippe Schnoebelen et de Narayan Kumar . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 12-02-2015

Distributed cost-optimal planning

par Loïg Jezequel sous la direction de Éric Fabre - Cachan, Ecole normale supérieure

Informatique

Soutenue le 13-11-2012

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

Contribution à la théorie des langages de tuiles

par Etienne Dubourg sous la direction de David Janin - Bordeaux

Informatique

Soutenue le 12-07-2016

Le problème de la valeur dans les jeux stochastiques

par Youssouf Oualhadj sous la direction de Hugo Gimbert et de Anca Muscholl . - Bordeaux 1

Informatique

Soutenue le 11-12-2012

Decidable characterizations for tree logics

par Thomas Place sous la direction de Luc Segoufin - Cachan, Ecole normale supérieure

Informatique

Soutenue le 10-12-2010

A study on the expressive power of some fragments of the modal µ-calculus

par Alessandro Facchini sous la direction de Igor Walukiewicz et de Jacques Duparc . - Bordeaux 1

Informatique

Soutenue le 03-12-2010