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  Graphes cartésiens  Graphes, Théorie des  Horn  Hypergraphes  Ingénierie des Connaissances  Ingénierie dirigée par les modèles  Intelligence artificielle  Kernelisation  Krom  Machine BSS  Meet-irréductibles  Mise-À-Jour  Modèle de Valiant  Modélisation des données  Morphisme  Polymorphisme  Post  Problème de satisfaction de Contraintes  Problèmes de satisfaction de contraintes  Processus Dynamiques  Produit cartésien  Programmation automatique  Programmation par contraintes  Représentation des connaissances  Représentation des croyances en intelligence artificielle  Routage  Routage  Réification  Révision des croyances  SCADA sémantique  Satisfaction des contraintes  Schaefer  Schéma d'adjacence  Schéma de distance  Stables maximaux  Systèmes SCADA communicants  Systèmes embarqués  Sécurité des systèmes  Théorie des Catégories  Transversaux minimaux  Treillis, Théorie des  VC-Dimension  Énumeration  Énumération  Énumération algorithmique  

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

Sciences appliquées
Soutenue en 1993
Thèse soutenue


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


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


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


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