Gregory Batt
Gregory Batt
INRIA and Institut Pasteur
Email verificata su - Home page
Citata da
Citata da
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
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
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
Robustness analysis and tuning of synthetic gene networks
G Batt, B Yordanov, R Weiss, C Belta
Bioinformatics 23 (18), 2415-2422, 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
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
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
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
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
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
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
Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions
G Batt, D Ropers, H De Jong, M Page, J Geiselmann
Model checking genetic regulatory networks with parameter uncertainty
G Batt, C Belta, R Weiss
Hybrid systems: computation and control, 61-75, 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
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
Approximating continuous systems by timed automata
O Maler, G Batt
Formal methods in systems biology, 77-89, 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
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
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20