Claudine Chaouiya
Mots clés
FR |
EN
Biologie des systèmes
Biologie systémique
Bioinformatique
Système dynamique
Réseau Booléen asynchrone
Attracteur complexe
Cycle cellulaire
Horloge circadienne
Rythmes biologiques
Attracteurs (mathématiques)
Systèmes dynamiques
Cancer
Réseaux de signalisation
Analyses phosphoprotéomiques
Mécanismes moléculaires de prolifération et d'invasion tumorale
Réseaux de régulation biologique
Simulation qualitative
Vérification formelle
Logique temporelle
Model checking