| 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 |
| 2000 | ECAI | Qualitative Simulation of Large and Complex Genetic Regulation Systems. | Hidde de Jong, Michel Page |
| 1999 | WSC | An algorithm for goal-driven simulation. | Michel Page, Jrme Gensel, Mahfoud Boudis |