Algorithmes évolutionnaires  Amphibiens -- Métamorphose  Analyse d'atteignabilité  Analyse par intervalles  Arithmétique d’Intervalles  Bacule métabolique  Bioinformatique  Biologie des systèmes  Biologie systémique  Biotechnologie  Bisimulations  Calibrage  Cascades MAPK  Cascades de signalisation  Cellules eucaryotes  Citrate  Concurrence  Concurrence  Contrainte de non-chevauchement  Courbes paramétrées  Cycle cellulaire  Entrepôts -- Gestion  Flot d’information  Graphes, Théorie des  Heuristique  Inhibiteurs de kinases  Inhibiteurs des tyrosine kinases  Interprétation abstraite  Langages de programmation  Logique linéaire  Logique mathématique  Logique temporelle  Modelisation in silico  Modèles mathématiques  Modélisation  Modélisation par règles de réécritures  Morphisme des graphes  Morphismes  Métabolisme des eucaryotes  Méthodes de model-checking  Optimisation combinatoire  Optimisation mathématique  Pavage  Petri, Réseaux de  Polymorphisme paramétrique  Problème de placement  Profils d’activation d’une voie de signalisation  Programmation logique  Programmation par contraintes  Programmation parallèle  Quasi-treillis  Recherche opérationnelle  Rythmes circadiens  Réduction de modèles  Régulation  Réseaux de régulation génique  Rétroactivité  Satisfaction de contraintes  Solveurs  Solveurs SAT  Somme de Minkowski  Surcharge  Systèmes biologiques  Systèmes dynamiques  Systèmes multi-Échelles  Sémantique des phases  Théorie des modèles  Transduction du signal cellulaire  Voies de signalisation  Vérification  Vérification de modèle  Yarrowia lipolytica  

François Fages a dirigé les 17 thèses suivantes :

Sciences appliquées
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue


François Fages a été président de jury des 2 thèses suivantes :

Informatique et applications
Soutenue le 29-04-2016
Thèse soutenue

François Fages a été rapporteur des 2 thèses suivantes :


François Fages a été membre de jury des 2 thèses suivantes :