| Qualitative simulation of genetic regulatory networks using piecewise-linear models H De Jong, JL Gouzé, C Hernandez, M Page, T Sari, J Geiselmann Bulletin of mathematical biology 66 (2), 301-340, 2004 | 534 | 2004 |
| Genetic Network Analyzer: qualitative simulation of genetic regulatory networks H De Jong, J Geiselmann, C Hernandez, M Page Bioinformatics 19 (3), 336-344, 2003 | 362 | 2003 |
| Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli G Batt, D Ropers, H De Jong, J Geiselmann, R Mateescu, M Page, ... Bioinformatics 21 (suppl_1), i19-i28, 2005 | 241 | 2005 |
| SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools C Chaouiya, D Bérenguier, SM Keating, A Naldi, MP Van Iersel, ... BMC systems biology 7 (1), 1-15, 2013 | 174 | 2013 |
| Qualitative simulation of the carbon starvation response in Escherichia coli D Ropers, H De Jong, M Page, D Schneider, J Geiselmann Biosystems 84 (2), 124-152, 2006 | 174 | 2006 |
| Qualitative simulation of the initiation of sporulation in Bacillus subtilis H De Jong, J Geiselmann, G Batt, C Hernandez, M Page Bulletin of mathematical biology 66, 261-299, 2004 | 164 | 2004 |
| Efficient parameter search for qualitative models of regulatory networks using symbolic model checking G Batt, M Page, I Cantone, G Goessler, P Monteiro, H De Jong Bioinformatics 26 (18), i603-i610, 2010 | 83 | 2010 |
| Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach H De Jong, JL Gouzé, C Hernandez, M Page, T Sari, J Geiselmann Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 83 | 2003 |
| Search for steady states of piecewise-linear differential equation models of genetic regulatory networks H De Jong, M Page IEEE/ACM Transactions on Computational Biology and Bioinformatics 5 (2), 208-222, 2008 | 80 | 2008 |
| Qualitative simulation of genetic regulatory networks: Method and application H De Jong, M Page, C Hernandez, J Geiselmann IJCAI, 67-73, 2001 | 80 | 2001 |
| Symbolic reachability analysis of genetic regulatory networks using discrete abstractions G Batt, H De Jong, M Page, J Geiselmann Automatica 44 (4), 982-989, 2008 | 70 | 2008 |
| Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli G Batt, D Ropers, H De Jong, J Geiselmann, M Page, D Schneider Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005 | 63 | 2005 |
| A new approach in object-based knowledge representation: The AROM system M Page, J Gensel, C Capponi, C Bruley, P Genoud, D Ziébelin, D Bardou, ... Engineering of Intelligent Systems: 14th International Conference on …, 2001 | 53 | 2001 |
| Qualitative simulation of large and complex genetic regulatory systems H de Jong, M Page ECAI, 141-145, 2000 | 48 | 2000 |
| Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks G Batt, B Besson, PE Ciron, H de Jong, E Dumas, J Geiselmann, R Monte, ... Bacterial Molecular Networks: Methods and Protocols, 439-462, 2012 | 43 | 2012 |
| Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach G Batt, D Ropers, H De Jong, J Geiselmann, R Mateescu, M Page, ... IJCAI, 370-375, 2005 | 38 | 2005 |
| Représentation de connaissances au moyen de classes et d'associations: le système AROM. M Page, J Gensel, C Capponi, C Bruley, P Genoud, D Ziébelin LMO, 91-106, 2000 | 37 | 2000 |
| Knowledge-based simulation of settlement systems M Page, C Parisel, D Pumain, L Sanders Computers, environment and urban systems 25 (2), 167-193, 2001 | 30 | 2001 |
| A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks PT Monteiro, E Dumas, B Besson, R Mateescu, M Page, AT Freitas, ... BMC bioinformatics 10 (1), 1-12, 2009 | 27 | 2009 |
| Robust reconstruction of gene expression profiles from reporter gene data using linear inversion V Zulkower, M Page, D Ropers, J Geiselmann, H De Jong Bioinformatics 31 (12), i71-i79, 2015 | 25 | 2015 |
Hidde de JongINRIADirección de correo verificada de inria.fr
