| 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 | 233 | 2005 |
| Long-term model predictive control of gene expression at the population and single-cell levels J Uhlendorf, A Miermont, T Delaveau, G Charvin, F Fages, S Bottani, ... Proceedings of the National Academy of Sciences 109 (35), 14271-14276, 2012 | 196 | 2012 |
| 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 (2), 261-299, 2004 | 165 | 2004 |
| Robustness analysis and tuning of synthetic gene networks G Batt, B Yordanov, R Weiss, C Belta Bioinformatics 23 (18), 2415-2422, 2007 | 162 | 2007 |
| A general computational method for robustness analysis with applications to synthetic gene networks A Rizk, G Batt, F Fages, S Soliman Bioinformatics 25 (12), i169-i178, 2009 | 131 | 2009 |
| On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology A Rizk, G Batt, F Fages, S Soliman International Conference on Computational Methods in Systems Biology, 251-268, 2008 | 118 | 2008 |
| From cardiac cells to genetic regulatory networks R Grosu, G Batt, F Fenton, J Glimm, C Le Guernic, S Smolka, E Bartocci Computer Aided Verification, 396-411, 2011 | 111 | 2011 |
| A platform for rapid prototyping of synthetic gene networks in mammalian cells X Duportet, L Wroblewska, P Guye, Y Li, J Eyquem, J Rieders, T Rimchala, ... Nucleic acids research 42 (21), 13440-13451, 2014 | 86 | 2014 |
| Temporal logic analysis of gene networks under parameter uncertainty G Batt, C Belta, R Weiss Automatic Control, IEEE Transactions on 53 (Special Issue), 215-229, 2008 | 83 | 2008 |
| Balancing a genetic toggle switch by real-time feedback control and periodic forcing JB Lugagne, SS Carrillo, M Kirch, A Köhler, G Batt, P Hersen Nature Communications 8 (1), 1671, 2017 | 78 | 2017 |
| Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions G Batt, D Ropers, H De Jong, M Page, J Geiselmann | 75* | 2007 |
| 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 | 73 | 2010 |
| Model checking genetic regulatory networks with parameter uncertainty G Batt, C Belta, R Weiss Hybrid systems: computation and control, 61-75, 2007 | 69 | 2007 |
| What population reveals about individual cell identity: Single-cell parameter estimation of models of gene expression in yeast A Llamosi, AM Gonzalez-Vargas, C Versari, E Cinquemani, ... PLoS computational biology 12 (2), e1004706, 2016 | 68 | 2016 |
| 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 | 68 | 2008 |
| Approximating continuous systems by timed automata O Maler, G Batt Formal methods in systems biology, 77-89, 2008 | 64 | 2008 |
| Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance F Bertaux, S Stoma, D Drasdo, G Batt PLoS computational biology 10 (10), e1003893, 2014 | 61 | 2014 |
| 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, 134-150, 2005 | 60 | 2005 |
| Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures A Rizk, G Batt, F Fages, S Soliman Theoretical Computer Science 412 (26), 2827-2839, 2011 | 58 | 2011 |
| Model checking genetic regulatory networks using GNA and CADP G Batt, D Bergamini, H De Jong, H Garavel, R Mateescu Model Checking Software, 158-163, 2004 | 51 | 2004 |
Hidde de JongINRIAVerified email at inria.fr
