Seguir
Gregory Batt
Gregory Batt
INRIA and Institut Pasteur
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
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
2482012
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
2412005
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
1722004
Robustness analysis and tuning of synthetic gene networks
G Batt, B Yordanov, R Weiss, C Belta
Bioinformatics 23 (18), 2415-2422, 2007
1652007
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
1542017
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
1422009
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
1312014
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
1242008
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
1192011
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
962016
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
842008
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
832010
Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions
G Batt, D Ropers, H De Jong, M Page, J Geiselmann
77*2007
Model checking genetic regulatory networks with parameter uncertainty
G Batt, C Belta, R Weiss
Hybrid systems: computation and control, 61-75, 2007
752007
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
712011
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
702008
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
692014
Approximating continuous systems by timed automata
O Maler, G Batt
Formal methods in systems biology, 77-89, 2008
682008
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
632005
Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation Platform
C Versari, S Stoma, K Batmanov, A Llamosi, F Mroz, A Kaczmarek, ...
Journal of The Royal Society Interface 14 (127), 20160705, 2017
572017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20