Abduction  Abstraction  Algorithmes  Algèbre universelle  Analyse combinatoire énumérative  Arboricité  Arbres  Argumentation  Arithmétique en virgule flottante  Backdoor  Bases d’implications  Calcul des propositions  Classe traitable  Classification en complexité  Cloud hybride sécurisé  Complexité  Complexité algorithmique  Complexité algébrique  Complexité de calcul  Complexité paramétrée  Contraction  Contraintes  Contraintes booléennes  Cyber sécurité sémantique  Demi-Cube  Densité  Dominants minimaux  Données massives  Dualisation dans les treillis  Foncteur  Fragments propositionnels  Fraude Bancaire  Fraude bancaire  Graphe médian  Graphe ponté  Graphes, Théorie des  

Nadia Creignou a rédigé la thèse suivante :

Temps lineaire et problemes np-complets

par Nadia Creignou sous la direction de Etienne Grandjean - Caen

Sciences appliquées

Soutenue en 1993

Nadia Creignou a dirigé les 4 thèses suivantes :

Output-sensitive algorithms for enumeration problems in graphs

par Sarah Blind sous la direction de Laurent Vigneron et de Nadia Creignou . - Université de Lorraine

Informatique

Soutenue le 10-12-2019

Changement de croyances dans des fragments de la logique propositionnelle

par Raïda Ktari sous la direction de Nadia Creignou , Habib Chabchoub et de Odile Papini . - Aix-Marseille

Informatique

Soutenue le 27-05-2016

Classification en complexité de problèmes de raisonnement non-monotone et d' énumération

par Johannes Schmidt sous la direction de Nadia Creignou - Aix-Marseille

Informatique

Soutenue le 16-10-2012

La méthode des bases faibles pour les problèmes de satisfaction de contraintes

par Ilka Johannsen Schnoor sous la direction de Nadia Creignou et de Heribert Vollmer . - Aix-Marseille 2

InformatiqueInformatique

Soutenue en 2007

Nadia Creignou a été président de jury des 2 thèses suivantes :

Harnessing tractability in constraint satisfaction problems

par Clément Carbonnel sous la direction de Martin C. Cooper et de Emmanuel Hebrard . - Toulouse, INPT

Intelligence Artificielle

Soutenue le 07-12-2016

Complexity issues in counting, polynomial evaluation and zero finding

par Irénée Briquel sous la direction de Pascal Koiran et de Felipe Cucker . - Lyon, École normale supérieure

Informatique

Soutenue le 29-11-2011

Nadia Creignou a été rapporteur de la thèse suivante :

On the dualization problem in graphs, hypergraphs, and lattices

par Oscar Defrain sous la direction de Lhouari Nourine - Clermont Auvergne

Informatique

Soutenue le 02-09-2020

Nadia Creignou a été membre de jury des 3 thèses suivantes :

Contribution au problème de la sécurité sémantique des systèmes : approche basée sur l'ingénierie dirigée par les modèles

par Nabil Sahli sous la direction de Rachid Outbib - Aix-Marseille

Automatique

Soutenue le 17-12-2019

Densité, VC-dimension et étiquetages de graphes

par Sébastien Ratel sous la direction de Victor Chepoi et de Arnaud Labourel . - Aix-Marseille

Informatique

Soutenue le 08-11-2019

Reasoning about big data flows : TOM4A recursive abstraction based problem solving method

par Fabien Vilar sous la direction de Marc Le Goc - Aix-Marseille

Informatique

Soutenue le 21-12-2018