dblp.uni-trier.dewww.uni-trier.de

Hidde de Jong Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
32EERadu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63
31EEHidde de Jong: Qualitative Modeling and Simulation of Bacterial Regulatory Networks. CMSB 2008: 1
30EEPedro 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
29EEPedro 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
28EEGré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)
27EEHidde 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)
26EERiccardo 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
25EEM. 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
24EEGré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
23EESamuel 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
22EEIvayla 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)
21EEHidde 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
20EEGré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
19EEGré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
18EEGré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
17EEGrégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu: Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163
16EEDamien 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
15EEDamien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr: Multiscale Modeling of Alternative Splicing Regulation. CMSB 2003: 75-87
14EEHidde 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
13EEHidde 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
4EEHidde 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
2EEHidde 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)