Luc Segoufin a rédigé la thèse suivante :
Manipulation de données spaciales et topologiques
par Luc Segoufin sous la direction de Stéphane Grumbach - Paris 11
Sciences appliquées
Soutenue en 1999
Luc Segoufin dirige actuellement la thèse suivante :
Sur le pouvoir d'expression des logiques définies par invariance
par Julien Grange sous la direction de Luc Segoufin - Université Paris sciences et lettres
Informatique
Soutenue le 29-06-2020
Luc Segoufin a dirigé les 7 thèses suivantes :
Query enumeration and nowhere dense graphs
par Alexandre Vigny sous la direction de Arnaud Durand et de Luc Segoufin . - Sorbonne Paris Cité
Mathématiques. Logique et fondements de l'informatique
Soutenue le 27-09-2018
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
Vues et requêtes sur les graphes de données : déterminabilité et réécritures
par Nadime Francis sous la direction de Luc Segoufin - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 08-12-2015
Query evaluation with constant delay
par Wojciech Kazana sous la direction de Luc Segoufin - Cachan, Ecole normale supérieure
Informatique
Soutenue le 16-09-2013
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
Reasoning on words and trees with data
par Diego Figueira sous la direction de Stéphane P. Demri et de Luc Segoufin . - Cachan, Ecole normale supérieure
Informatique
Soutenue le 06-12-2010
Analyse de XML avec données non-bornées
par Claire David sous la direction de Luc Segoufin et de Anca Muscholl . - Paris 7
Informatique
Soutenue en 2009
