Algorithmes combinatoires et de graphes  Amphibiens -- Métamorphose  Analyse de processus  Analyse formelle de réseaux biologiques  Assemblages de protéines  Attracteur  Bifurcation, Théorie de la  Bioinformatique  Biologie des systèmes  Biologie moléculaire  Biologie structurale  Biologie systémique  Calibration de modèles  Central place forager  Changements climatiques  Circuit structurel  Circuits logiques  Climat -- Changements  Corynebacterium glutamicum  Diagnostic  Distance à la ressource  Dynamique  Dynamique de populations  Expression des gènes  Expression génique  Fonctions booléennes  Front polaire  Graphe de transitions général  Graphes, Théorie des  Génome  Implémentation abstraite  Informatique -- Mathématiques  Inférence de paramètres  Kerguelen, Îles  Langages formels  Logique  Logique mathématique  Markov, Processus de  Matière -- Structure  Mode de mise à jour  Mode parallèle  Model-checking HASL  Model-checking LTL  Modèle discret de Thomas  Modèle individu centré  Modèle à base de contraintes  Modèles biologiques  Modèles mathématiques  Modélisation  Modélisation des réseaux de régulation génétiques  Modélisation stochastique  Monte-Carlo, Méthode de  Multiprocesseurs  Métabolisme  Méthodes de model-checking  Méthodes formelles  Otarie à fourrure antarctique  Otaries à fourrure  Petri, Réseaux de  Populations  Porte Logique  Processus semi-markoviens généralisés  Processus stochastiques  Programmation  Propriétés émergentes  Recuit simulé  Reproduction  Rythmes circadiens  Réduction de modèles  Régulation génétique  Réseau d'automate  Réseau de régulation génétique  Réseau métabolique  Réseaux métaboliques  Spectrométrie de masse descendante  Spectroscopie de masse  Spécification formelle  Spécifications algébriques  Spécifications hiérarchiques  Succès de reproduction  Synchronisme et asynchronisme  Système sous-déterminé  Systèmes biologiques  Systèmes dynamiques  Systèmes informatiques  Systèmes à événements discrets  Systèmes échantillonnés  Sémantique algébique  Traitement d'exceptions  Types abstraits de données  Voie Wnt/bêta-caténine  Échantillonnage par Monte Carlo  Écoulement relatif du temps dans les réseaux d'automates  Équations différentielles linéaires  

Gilles Bernot a rédigé la thèse suivante :


Gilles Bernot a dirigé les 9 thèses suivantes :

Sciences et techniques
Soutenue en 1998
Thèse soutenue


Gilles Bernot a été président de jury des 2 thèses suivantes :

Automatique, traitement du signal et des images
Soutenue le 30-06-2017
Thèse soutenue


Gilles Bernot a été rapporteur des 5 thèses suivantes :


Gilles Bernot a été membre de jury des 3 thèses suivantes :