Le moteur de recherche
des thèses françaises
Alexander Bockmayr
IdRefMots clés
FR |
EN
Modèles mathématiques
Métabolisme
Réseaux de régulation biologique
Logique de Hoare hybride
Contraintes continues
Cycles cellulaire et circadien
Systèmes biologiques
Cycle cellulaire
Rythmes circadiens
Modélisation métabolique
Réduction des réseaux métaboliques
Systèmes dynamiques
Théorie des perturbations singulières
Microalgues
Perturbations singulières (mathématiques)
Modélisation des données (informatique)
Méthodes de model-checking
Amphibiens -- Métamorphose
Réseaux de Petri
Biologie systémique