Étienne Grandjean
Étienne Grandjean a dirigé les 16 thèses suivantes :
Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires
par Theo Grente sous la direction de Étienne Grandjean et de Véronique Terrier . - Normandie
Informatique
Soutenue le 08-12-2020
Automates Cellulaires : aspects algorithmiqued des configurations périodiques en toute dimension
par Nicolas Bacquey sous la direction de Étienne Grandjean et de Véronique Terrier . - Caen
Informatique et applications
Soutenue en 2015
De la pertinence de l’énumération : complexité en logiques
par Johann Brault-Baron sous la direction de Étienne Grandjean - Caen
Informatiquei
Soutenue en 2013
Tatouage de données géographiques et généralisation aux données devant préserver des contraintes
par Cyril Bazin sous la direction de Étienne Grandjean - Caen
Informatique et applications
Soutenue en 2010
Algorithmes et complexité des problèmes d'énumération pour l'évaluation de requêtes logiques
par Guillaume Bagan sous la direction de Étienne Grandjean - Caen
Informatique
Soutenue en 2009
Extraction de connaissances dans les bases de données comportant des valeurs manquantes ou un grand nombre d'attributs
par François Rioult sous la direction de Étienne Grandjean - Caen
Sciences et technologie de l'information
Soutenue en 2005
Contribution à la théorie de la complexité algorithmique : problèmes de contraintes, complétude et résultats de classification, complexité structurelle
par Philippe Chapdelaine sous la direction de Étienne Grandjean - Caen
Informatique
Soutenue en 2004
Réductions fines entre problèmes NP-complets : linéarité, planarité, parcimonie, et minimalité logique
par Régis Barbanchon sous la direction de Étienne Grandjean - Caen
Informatique
Soutenue en 2003
Problèmes de satisfaction de contraintes : une étude logique et combinatoire
par Florent Madelaine sous la direction de Étienne Grandjean - Caen
Informatique
Soutenue en 2003
Acquisition de connaissances et raisonnement en logique propositionnelle
par Bruno Zanuttini sous la direction de Étienne Grandjean - Caen
Informatique
Soutenue en 2003
Generation a delai polynomial pour le probleme sat
par EMMANUEL BENOIST sous la direction de Étienne Grandjean - Caen
Sciences et techniques
Soutenue en 2000
Probabilites asymptotiques et pouvoir d'expression des fragments de la logique du second ordre
par JEAN-MARIE LE BARS sous la direction de Étienne Grandjean - Caen
Sciences et techniques communes
Soutenue en 1998
Hierarchies de definissabilite logique au second ordre
par ARNAUD DURAND sous la direction de Étienne Grandjean - Caen
Sciences appliquées
Soutenue en 1996
Caracterisation des problemes np : robustesse et normalisation
par FREDERIC OLIVE sous la direction de Étienne Grandjean - Caen
Sciences appliquées
Soutenue en 1996
Temps lineaire et problemes np-complets
par Nadia Creignou sous la direction de Étienne Grandjean - Caen
Sciences appliquées
Soutenue en 1993
Bornes inferieures non triviales pour des problemes naturels np-complets en theorie des graphes et des automates
par SOLOMAMPIONONA RANAIVOSON sous la direction de Étienne Grandjean - Caen
Sciences appliquées
Soutenue en 1991
Étienne Grandjean a été président de jury de la thèse suivante :
Bornes inférieures et supérieures dans les circuits arithmétiques
par Sébastien Tavenas sous la direction de Pascal Koiran - Lyon, École normale supérieure
Informatique
Soutenue le 09-07-2014
Étienne Grandjean a été membre de jury des 2 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
G-graphs and Expander graphs
par Mohamad Badaoui sous la direction de Alain Bretto - Normandie
Informatique
Soutenue le 30-03-2018
