| 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,
Tewfik Sari,
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,
Tewfik Sari,
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 |
