Hidde de Jong

2008
32	EE	Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63
31	EE	Hidde de Jong: Qualitative Modeling and Simulation of Bacterial Regulatory Networks. CMSB 2008: 1
30	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr: Multiscale Modeling of Alternative Splicing Regulation. CMSB 2003: 75-87
14	EE	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	EE	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	EE	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	EE	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

Coauthor Index

1	Grégory Batt	[17] [18] [19] [20] [24] [28]
2	Damien Bergamini	[17]
3	Olivier Bernard	[8] [22]
4	Alexander Bockmayr	[15] [16]
5	P. P. J. van den Bosch	[25]
6	Christiane Branlant	[15] [16]
7	Samuel Drulhe	[23] [26]
8	Estelle Dumas	[32]
9	Damien Eveillard	[15] [16]
10	Giancarlo Ferrari-Trecate	[23] [26]
11	Ana T. Freitas	[29] [30]
12	Hubert Garavel	[17]
13	Johannes Geiselmann	[9] [11] [12] [14] [18] [19] [20] [24] [28]
14	Jean-Luc Gouzé	[8] [11] [14] [24]
15	Céline Hernandez	[9] [11] [12] [14]
16	Nicolaas J. I. Mars	[1] [6] [8] [22]
17	Radu Mateescu	[17] [18] [19] [29] [30] [32]
18	Pedro T. Monteiro	[29] [30] [32]
19	M. W. J. M. Musters	[25]
20	Michel Page	[7] [9] [11] [12] [14] [18] [19] [20] [24] [27] [28]
21	Riccardo Porreca	[26]
22	Frank van Raalte	[3] [4]
23	Natal A. W. van Riel	[25]
24	Arie Rip	[2]
25	Delphine Ropers	[15] [16] [18] [19] [20] [21] [24] [29] [30]
26	Dominique Schneider	[18] [19] [20] [24]
27	Sari Tewfik	[11] [14] [24]
28	Ivayla Vatcheva	[5] [6] [8] [22]
29	Paul E. van der Vet	[1]
30	A. Viari	[23]

Colors in the list of coauthors