Modélisation, analyse et réduction des systèmes biologiques / Stefano Casagranda ;
sous la direction de Jean-Luc Gouzé. Thèse de doctorat : Automatique, traitement du
signal et des images : Côte d'Azur : 2017
Information trouvée : membre du jury
Validation de modèles qualitatifs de réseaux de régulation génique : une méthode basée
sur des techniques de vérification formelle [Thèse 2006] / Grégory Batt
https://research.pasteur.fr/wp-content/uploads/2017/01/research_pasteur-gregory-batt-cv.pdf,
2018-06-27
Information trouvée : Born: February 23, 1977 ; Inria research scientist (DR2), PhD, HDR