Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Hidde de
    Last name: Jong
    DBLP: 21/3073
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 44 of 44  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Claudine Chaouiya, Duncan Bérenguier, Sarah M. Keating, Aurélien Naldi, Martijn P. van Iersel, Nicolas Rodriguez, Andreas Dräger, Finja Büchel, Thomas Cokelaer, Bryan Kowal, Benjamin Wicks, Emanuel J. V. Gonçalves, Julien Dorier, Michel Page, Pedro T. Monteiro, Axel von Kamp, Ioannis Xenarios, Hidde de Jong, Michael Hucka, Steffen Klamt, Denis Thieffry, Nicolas Le Novère, Julio Saez-Rodriguez, Tomás Helikar.
    SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools.
    BMC Systems Biology 2013, Volume 7 (0) 2013
    Journal article
    Delphine Ropers, Valentina Baldazzi, Hidde de Jong.
    Model Reduction Using Piecewise-Linear Approximations Preserves Dynamic Properties of the Carbon Starvation Response in Escherichia coli.
    IEEE/ACM Trans. Comput. Biology Bioinform. 2011, Volume 8 (0) 2011
    Conference paper
    Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong.
    CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Conference paper
    Sara Berthoumieux, Matteo Brilli, Hidde de Jong, Daniel Kahn, Eugenio Cinquemani.
    Identification of metabolic network models from incomplete high-throughput datasets.
    Bioinformatics 2011, Volume 27 (0) 2011
    Journal article
    Rafael Silva-Rocha, Hidde de Jong, Javier Tamames, Víctor de Lorenzo.
    The logic layout of the TOL network of Pseudomonas putida pWW0 plasmid stems from a metabolic amplifier motif (MAM) that optimizes biodegradation of m-xylene.
    BMC Systems Biology 2011, Volume 5 (0) 2011
    Conference paper
    Frédéric Boyer, Bruno Besson, Guillaume Baptist, Jérôme Izard, Corinne Pinel, Delphine Ropers, Johannes Geiselmann, Hidde de Jong.
    WellReader: a MATLAB program for the analysis of fluorescence and luminescence reporter gene data.
    Bioinformatics 2010, Volume 26 (0) 2010
    Conference paper
    Grégory Batt, Michel Page, Irene Cantone, Gregor Gößler, Pedro T. Monteiro, Hidde de Jong.
    Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
    Bioinformatics 2010, Volume 26 (0) 2010
    Journal article
    Valentina Baldazzi, Delphine Ropers, Yves Markowicz, Daniel Kahn, Johannes Geiselmann, Hidde de Jong.
    The Carbon Assimilation Network in
    PLoS Computational Biology 2010, Volume 6 (0) 2010
    Journal article
    Hidde de Jong, Caroline Ranquet, Delphine Ropers, Corinne Pinel, Johannes Geiselmann.
    Experimental and computational validation of models of fluorescent and luminescent reporter genes in bacteria.
    BMC Systems Biology 2010, Volume 4 (0) 2010
    Conference paper
    Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong.
    A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
    BMC Bioinformatics 2009, Volume 10 (0) 2009
    Journal article
    Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong.
    The Switching Threshold Reconstruction Problem for Piecewise-Affine Models of Genetic Regulatory Networks.
    IEEE Trans. Automat. Contr. 2008, Volume 53 (0) 2008
    Conference paper
    Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong.
    Computation Tree Regular Logic for Genetic Regulatory Networks.
    Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Hidde de Jong.
    Qualitative Modeling and Simulation of Bacterial Regulatory Networks.
    Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings 2008 (0) 2008
    Conference paper
    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 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings 2008 (0) 2008
    Conference paper
    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'08 Proceedings, Seventh European Conference on Computational Biology, 22-26 September 2008, Cagliari, Italy 2008 (0) 2008
    Conference paper
    Riccardo Porreca, Samuel Drulhe, Hidde de Jong, Giancarlo Ferrari-Trecate.
    Structural Identification of Piecewise-Linear Models of Genetic Regulatory Networks.
    Journal of Computational Biology 2008, Volume 15 (0) 2008
    Conference paper
    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. 2008, Volume 5 (0) 2008
    Conference paper
    Grégory Batt, Hidde de Jong, Michel Page, Johannes Geiselmann.
    Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
    Automatica 2008, Volume 44 (0) 2008
    Conference paper
    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.
    Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    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 2007, Volume 26 (0) 2007
    Conference paper
    Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, A. Viari.
    Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks.
    Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings 2006 (0) 2006
    Conference paper
    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. 2006, Volume 170 (0) 2006
    Conference paper
    Hidde de Jong, Delphine Ropers.
    Strategies for dealing with incomplete information in the modeling of molecular interaction networks.
    Briefings in Bioinformatics 2006, Volume 7 (0) 2006
    Conference paper
    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.
    Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings 2005 (0) 2005
    Conference paper
    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-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 2005 (0) 2005
    Conference paper
    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
    Proceedings Thirteenth International Conference on Intelligent Systems for Molecular Biology 2005, Detroit, MI, USA, 25-29 June 2005 2005 (0) 2005
    Journal article
    Hidde de Jong.
    Qualitative simulation and related approaches for the analysis of dynamic systems.
    Knowledge Eng. Review 2004, Volume 19 (0) 2004
    Conference paper
    Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu.
    Model Checking Genetic Regulatory Networks Using GNA and CADP.
    Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr.
    A multi-scale constraint programming model of alternative splicing regulation.
    Theor. Comput. Sci. 2004, Volume 325 (0) 2004
    Conference paper
    Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr.
    Multiscale Modeling of Alternative Splicing Regulation.
    Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings 2003 (0) 2003
    Conference paper
    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.
    Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Hidde de Jong.
    Modeling and Simulation of Genetic Regulatory Networks.
    Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003 2003 (0) 2003
    Conference paper
    Hidde de Jong, Johannes Geiselmann, Céline Hernandez, Michel Page.
    Genetic Network Analyzer: qualitative simulation of genetic regulatory networks.
    Bioinformatics 2003, Volume 19 (0) 2003
    Conference paper
    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.
    Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002 2002 (0) 2002
    Conference paper
    Hidde de Jong.
    Modeling and Simulation of Genetic Regulatory Systems: A Literature Review.
    Journal of Computational Biology 2002, Volume 9 (0) 2002
    Conference paper
    Hidde de Jong, Michel Page, Céline Hernandez, Johannes Geiselmann.
    Qualitative Simulation of Genetic Regulatory Networks: Method and Application.
    Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001 2001 (0) 2001
    Conference paper
    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.
    Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001 2001 (0) 2001
    Conference paper
    Hidde de Jong, Michel Page.
    Qualitative Simulation of Large and Complex Genetic Regulation Systems.
    ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 2000 (0) 2000
    Conference paper
    Ivayla Vatcheva, Hidde de Jong, Nicolaas J. I. Mars.
    Selection of Perturbation Experiments for Model Discrimination.
    ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 2000 (0) 2000
    Conference paper
    Ivayla Vatcheva, Hidde de Jong.
    Semi-Quantitative Comparative Analysis.
    Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages 1999 (0) 1999
    Conference paper
    Hidde de Jong, Frank van Raalte.
    Comparative envisionment construction: A technique for the comparative analysis of dynamical systems.
    Artif. Intell. 1999, Volume 115 (0) 1999
    Conference paper
    Hidde de Jong, Frank van Raalte.
    Comparative Analysis of STructurally Different Dynamical Systems.
    IJCAI 1997 (0) 1997
    Conference paper
    Hidde de Jong, Arie Rip.
    The Computer Revolution in Science: Steps Towards the Realization of Computer-Supported Discovery Environments.
    Artif. Intell. 1997, Volume 91 (0) 1997
    Conference paper
    Hidde de Jong, Nicolaas J. I. Mars, Paul E. van der Vet.
    CEC: Comparative Analysis by Envisionment Construction.
    12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings 1996 (0) 1996
    Show item 1 to 44 of 44  

    Your query returned 44 matches in the database.