Algorithme Mac  Algorithmes génétiques  Algorithmes parallèles  Algorithmes Évolutionnaires  Algorithmes évolutionnaires  Apprentissage Automatique  Apprentissage Supervisée  Apprentissage automatique  Arabidopsis thaliana  Architecture distribuée coopérative  CSP  Combinaison  Contraintes  Coopération  Criblage double-hybride  Cycle cellulaire  Cycle cellulaire végétal  Démonstration Automatique de Théorèmes  Développement floral  Graphes  Graphes, Théorie des  Génie Logiciel basé sur la Recherche  Génie logiciel  Informatique théorique  Inhibiteurs  Inhibiteurs de CDK-cycline  Intelligence artificielle  Interprétation abstraite  Intégration  Isomorphisme de sous-graphes  Isomorphismes  Kinases dépendantes des cyclines  Langages de programmation  Modélisation par contraintes  Métaheuristiques  Optimisation combinatoire  Parallélisme  Portfolio d'algorithmes  Problèmes d'optimisation de combinatoire  Problèmes de satisfaction de contraintes  Programmation heuristique  Programmation logique  Programmation logique avec contrainte  Programmation par contraintes  Recherche Autonome  Recherche locale  Réglage des Paramètres  Réseaux de contraintes  Résolution de problème -- Informatique  Résolution par contraintes  SAT  SND  Satisfiabilité  Satisfiabilité Modulo des Théories  Solveur  Solveur de contraintes  Solveurs  Thèses et écrits académiques  Théorèmes -- Démonstration automatique  Vérification de modèles  Vérification de modèles  Vérification de programmes  

Éric Monfroy a rédigé la thèse suivante :


Éric Monfroy dirige actuellement la thèse suivante :

Informatique
Soutenue le 19-12-2018
Thèse en préparation


Éric Monfroy a dirigé les 5 thèses suivantes :

Informatique et applications
Soutenue le 23-01-2017
Thèse soutenue


Éric Monfroy a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 22-03-2017
Thèse soutenue


Éric Monfroy a été membre de jury de la thèse suivante :

Informatique
Soutenue le 31-05-2011
Thèse soutenue