| 2008 |
|---|
| 9 | EE | Grégory Batt,
Hidde de Jong,
Michel Page,
Johannes Geiselmann:
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Automatica 44(4): 982-989 (2008) |
| 2007 |
|---|
| 8 | 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 |
|---|
| 7 | 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 |
| 6 | 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 |
| 5 | 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 |
| 2003 |
|---|
| 4 | EE | Hidde de Jong,
Jean-Luc Gouzé,
Céline Hernandez,
Michel Page,
Sari Tewfik,
Johannes Geiselmann:
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.
HSCC 2003: 267-282 |
| 3 | | Hidde de Jong,
Johannes Geiselmann,
Céline Hernandez,
Michel Page:
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks.
Bioinformatics 19(3): 336-344 (2003) |
| 2002 |
|---|
| 2 | | Hidde de Jong,
Jean-Luc Gouzé,
Céline Hernandez,
Michel Page,
Sari Tewfik,
Johannes Geiselmann:
Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks.
ECAI 2002: 412-416 |
| 2001 |
|---|
| 1 | | Hidde de Jong,
Michel Page,
Céline Hernandez,
Johannes Geiselmann:
Qualitative Simulation of Genetic Regulatory Networks: Method and Application.
IJCAI 2001: 67-73 |
