Gregory Batt
Gregory Batt
INRIA and Institut Pasteur
Adresse e-mail validée de inria.fr - Page d'accueil
TitreCitée parAnnée
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
2242005
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
1662012
Qualitative simulation of the initiation of sporulation
H de Jong, J Geiselmann, G Batt, C Hernandez, M Page
B. subtilis. Bull. Math. Biol, 2004
159*2004
Robustness analysis and tuning of synthetic gene networks
G Batt, B Yordanov, R Weiss, C Belta
Bioinformatics 23 (18), 2415-2422, 2007
1552007
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
1522004
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
1212009
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
1132008
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
952011
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
772008
Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions
G Batt, D Ropers, H De Jong, M Page, J Geiselmann
71*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
672010
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
662008
Model checking genetic regulatory networks with parameter uncertainty
G Batt, C Belta, R Weiss
Hybrid systems: computation and control, 61-75, 2007
652007
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
592005
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
562014
Approximating continuous systems by timed automata
O Maler, G Batt
Formal methods in systems biology, 77-89, 2008
562008
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
512011
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
492004
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
482016
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
442014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20