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  Dendrites  Dendrites  Diagnostic  Distance à la ressource  Dynamique  Dynamique de populations  Délais  Expression des gènes  Expression génique  Fonctions booléennes  Front polaire  Graphe de transitions général  Graphes, Théorie des  Génome  Heuristique  Implémentation abstraite  Informatique -- Mathématiques  Inférence de paramètres  Kerguelen, Îles  LUSTRE  Langages formels  Logique  Logique mathématique  Lustre  Markov, Processus de  Matière -- Structure  Mode de mise à jour  Mode parallèle  Model checking  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 données  Modélisation des réseaux de régulation génétiques  Modélisation formelle  Modélisation stochastique  Monte-Carlo, Méthode de  Multiprocesseurs  Métabolisme  Méthodes de model-checking  Méthodes formelles  Neurone  Neurones  Otarie à fourrure antarctique  Otaries à fourrure  Petri, Réseaux de  Populations  Porte Logique  Processus semi-markoviens généralisés  Processus stochastiques  Programmation  Propiétés algébriques  Propriétés émergentes  Recuit simulé  Reproduction  Rythmes circadiens  Réduction de modèles  Régulation  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  Révision de modèles  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  Vérification de modèles  É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 10 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 6 thèses suivantes :


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