| 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 | 566 | 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 | 376 | 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 | 247 | 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-15, 2013 | 203 | 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 | 184 | 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 | 171 | 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 | 88 | 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 International Workshop on Hybrid Systems: Computation and Control, 267-282, 2003 | 85 | 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 | 84 | 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 | 72 | 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 International Workshop on Hybrid Systems: Computation and Control, 134-150, 2005 | 66 | 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, ... International Conference on Industrial, Engineering and Other Applications …, 2001 | 54 | 2001 |
| Qualitative simulation of large and complex genetic regulatory systems H de Jong, M Page ECAI, 141-145, 2000 | 47 | 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, 2011 | 45 | 2011 |
| 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 |
| 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 | 36 | 2005 |
| Knowledge-based simulation of settlement systems M Page, C Parisel, D Pumain, L Sanders Computers, environment and urban systems 25 (2), 167-193, 2001 | 33 | 2001 |
| 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 | 27 | 2015 |
| 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-12, 2009 | 24 | 2009 |
Hidde de JongINRIAEmail verificata su inria.fr
