de Jong, Hidde

5 publications

IJCAI 2005 Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider

IJCAI 2001 Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jean-Luc Gouzé, Nicolaas J. I. Mars

IJCAI 2001 Qualitative Simulation of Genetic Regulatory Networks: Method and Application Hidde de Jong, Michel Page, Céline Hernandez, Johannes Geiselmann

IJCAI 1999 Semi-Quantitative Comparative Analysis Ivayla Vatcheva, Hidde de Jong

IJCAI 1997 Comparative Analysis of STructurally Different Dynamical Systems Hidde de Jong, Frank van Raalte