| 2007 |
|---|
| 4 | EE | Grégory Batt,
Hidde de Jong,
Johannes Geiselmann,
Jean-Luc Gouzé,
Michel Page,
Delphine Ropers,
Sari Tewfik,
Dominique Schneider:
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux.
Technique et Science Informatiques 26(1-2): 11-45 (2007) |
| 2005 |
|---|
| 3 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Michel Page,
Dominique Schneider:
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
HSCC 2005: 134-150 |
| 2 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Radu Mateescu,
Michel Page,
Dominique Schneider:
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
IJCAI 2005: 370-375 |
| 1 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Radu Mateescu,
Michel Page,
Dominique Schneider:
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
ISMB (Supplement of Bioinformatics) 2005: 19-28 |
