Delphine Ropers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2008
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ECAI | Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |
| 2008 | ECCB | Temporal logic patterns for querying dynamic models of cellular interaction networks. | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |
| 2005 | IJCAI | Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. | Grgory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
| 2005 | ISMB | Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in | Grgory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |