| 2008 |
|---|
| 7 | EE | Pedro T. Monteiro,
Delphine Ropers,
Radu Mateescu,
Ana T. Freitas,
Hidde de Jong:
Temporal logic patterns for querying dynamic models of cellular interaction networks.
ECCB 2008: 227-233 |
| 2006 |
|---|
| 6 | EE | Hidde de Jong,
Delphine Ropers:
Strategies for dealing with incomplete information in the modeling of molecular interaction networks.
Briefings in Bioinformatics 7(4): 354-363 (2006) |
| 2005 |
|---|
| 5 | 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 |
| 4 | 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 |
| 3 | 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 |
| 2004 |
|---|
| 2 | EE | Damien Eveillard,
Delphine Ropers,
Hidde de Jong,
Christiane Branlant,
Alexander Bockmayr:
A multi-scale constraint programming model of alternative splicing regulation.
Theor. Comput. Sci. 325(1): 3-24 (2004) |
| 2003 |
|---|
| 1 | EE | Damien Eveillard,
Delphine Ropers,
Hidde de Jong,
Christiane Branlant,
Alexander Bockmayr:
Multiscale Modeling of Alternative Splicing Regulation.
CMSB 2003: 75-87 |
