| 2008 | ||
|---|---|---|
| 32 | Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63 | |
| 31 | Hidde de Jong: Qualitative Modeling and Simulation of Bacterial Regulatory Networks. CMSB 2008: 1 | |
| 30 | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong: Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. ECAI 2008: 229-233 | |
| 29 | 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 | |
| 28 | Grégory Batt, Hidde de Jong, Michel Page, Johannes Geiselmann: Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Automatica 44(4): 982-989 (2008) | |
| 27 | Hidde de Jong, Michel Page: Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 5(2): 208-222 (2008) | |
| 26 | Riccardo Porreca, Samuel Drulhe, Hidde de Jong, Giancarlo Ferrari-Trecate: Structural Identification of Piecewise-Linear Models of Genetic Regulatory Networks. Journal of Computational Biology 15(10): 1365-1380 (2008) | |
| 2007 | ||
| 25 | M. W. J. M. Musters, Hidde de Jong, P. P. J. van den Bosch, Natal A. W. van Riel: Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions. HSCC 2007: 727-730 | |
| 24 | Grégory Batt, Hidde de Jong, Johannes Geiselmann, Jean-Luc Gouzé, Michel Page, Delphine Ropers, Sari Tewfik, Dominique Schneider: Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux. Technique et Science Informatiques 26(1-2): 11-45 (2007) | |
| 2006 | ||
| 23 | Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, A. Viari: Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks. HSCC 2006: 184-199 | |
| 22 | Ivayla Vatcheva, Hidde de Jong, Olivier Bernard, Nicolaas J. I. Mars: Experiment selection for the discrimination of semi-quantitative models of dynamical systems. Artif. Intell. 170(4-5): 472-506 (2006) | |
| 21 | 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 | ||
| 20 | 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 | |
| 19 | 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 | |
| 18 | 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 | ||
| 17 | Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu: Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163 | |
| 16 | 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 | ||
| 15 | Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr: Multiscale Modeling of Alternative Splicing Regulation. CMSB 2003: 75-87 | |
| 14 | Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann: Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. HSCC 2003: 267-282 | |
| 13 | Hidde de Jong: Modeling and Simulation of Genetic Regulatory Networks. POSTA 2003: 111-118 | |
| 12 | Hidde de Jong, Johannes Geiselmann, Céline Hernandez, Michel Page: Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19(3): 336-344 (2003) | |
| 2002 | ||
| 11 | Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann: Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks. ECAI 2002: 412-416 | |
| 10 | Hidde de Jong: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology 9(1): 67-103 (2002) | |
| 2001 | ||
| 9 | Hidde de Jong, Michel Page, Céline Hernandez, Johannes Geiselmann: Qualitative Simulation of Genetic Regulatory Networks: Method and Application. IJCAI 2001: 67-73 | |
| 8 | Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jean-Luc Gouzé, Nicolaas J. I. Mars: Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology. IJCAI 2001: 74-82 | |
| 2000 | ||
| 7 | Hidde de Jong, Michel Page: Qualitative Simulation of Large and Complex Genetic Regulation Systems. ECAI 2000: 141-145 | |
| 6 | Ivayla Vatcheva, Hidde de Jong, Nicolaas J. I. Mars: Selection of Perturbation Experiments for Model Discrimination. ECAI 2000: 191-198 | |
| 1999 | ||
| 5 | Ivayla Vatcheva, Hidde de Jong: Semi-Quantitative Comparative Analysis. IJCAI 1999: 1034-1040 | |
| 4 | Hidde de Jong, Frank van Raalte: Comparative envisionment construction: A technique for the comparative analysis of dynamical systems. Artif. Intell. 115(2): 145-214 (1999) | |
| 1997 | ||
| 3 | Hidde de Jong, Frank van Raalte: Comparative Analysis of STructurally Different Dynamical Systems. IJCAI (1) 1997: 486-493 | |
| 2 | Hidde de Jong, Arie Rip: The Computer Revolution in Science: Steps Towards the Realization of Computer-Supported Discovery Environments. Artif. Intell. 91(2): 225-256 (1997) | |
| 1996 | ||
| 1 | Hidde de Jong, Nicolaas J. I. Mars, Paul E. van der Vet: CEC: Comparative Analysis by Envisionment Construction. ECAI 1996: 476-480 | |