Johannes Geiselmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2001–2005
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2002 | ECAI | Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks. | Hidde de Jong, Jean-Luc Gouz, Cline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann |
| 2001 | IJCAI | Qualitative Simulation of Genetic Regulatory Networks: Method and Application. | Hidde de Jong, Michel Page, Cline Hernandez, Johannes Geiselmann |