Grégory Batt

ORCID

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 7

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Andela Davidovic, Remy Chait, Grégory Batt, Jakob Ruess
Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level. PLoS Comput. Biol. 18 (3) (2022)
Davin Lunz, Grégory Batt, Jakob Ruess, J. Frédéric Bonnans
Beyond the chemical master equation: Stochastic chemical kinetics coupled with auxiliary processes. PLoS Comput. Biol. 17 (7) (2021)
Maxim Kryukov, Arthur Carcano, Grégory Batt, Jakob Ruess
Can optimal experimental design serve as a tool to characterize highly non-linear synthetic circuits? ECC (2019)
Élise Weill, Virgile Andréani, Chetan Aditya, Pierre Martinon, Jakob Ruess, Grégory Batt, J. Frédéric Bonnans
Optimal control of an artificial microbial differentiation system for protein bioproduction. ECC (2019)
Sucheendra K. Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Grégory Batt, Blaise Genest
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway. Bioinform. 33 (13) (2017)
Artémis Llamosi, Andrés M. González-Vargas, Cristian Versari, Eugenio Cinquemani, Giancarlo Ferrari-Trecate, Pascal Hersen, Grégory Batt
What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast. PLoS Comput. Biol. 12 (2) (2016)
Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways. HSB (2016)
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference (2015)
François Bertaux, Szymon Stoma, Dirk Drasdo, Grégory Batt
Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance. PLoS Comput. Biol. 10 (10) (2014)
Grégory Batt
Cells driven by computers: long-term model predictive control of gene expression in yeast. HSCC (2014)
Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. CMSB (2014)
Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. 29 (6) (2013)
Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Comput. Biol. 9 (5) (2013)
Andres M. Gonzalez, Jannis Uhlendorf, Joe Schaul, Eugenio Cinquemani, Grégory Batt, Giancarlo Ferrari-Trecate
Identification of biological models from single-cell data: A comparison between mixed-effects and moment-based inference. ECC (2013)
Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
From Cardiac Cells to Genetic Regulatory Networks. CAV (2011)
Jannis Uhlendorf, Samuele Bottani, François Fages, Pascal Hersen, Grégory Batt
Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. Pacific Symposium on Biocomputing (2011)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412 (26) (2011)
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
Computational Systems Biology in BIOCHAM. ERCIM News 2010 (82) (2010)
Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinform. 26 (18) (2010)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
A general computational method for robustness analysis with applications to synthetic gene networks. Bioinform. 25 (12) (2009)
Oded Maler, Grégory Batt
Approximating Continuous Systems by Timed Automata. FMSB (2008)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. CMSB (2008)
Grégory Batt, Hidde de Jong, Michel Page, Johannes Geiselmann
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Autom. 44 (4) (2008)
Grégory Batt, Calin Belta, Ron Weiss
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. IEEE Trans. Autom. Control. 53 (2008)
Grégory Batt, Calin Belta, Ron Weiss
Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS (2007)
Grégory Batt, Calin Belta, Ron Weiss
Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC (2007)
Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta
Robustness analysis and tuning of synthetic gene networks. Bioinform. 23 (18) (2007)
Grégory Batt, Ramzi Ben Salah, Oded Maler
On Timed Models of Gene Networks. FORMATS (2007)
Grégory Batt, Hidde de Jong, Johannes Geiselmann, Jean-Luc Gouzé, Michel Page, Delphine Ropers, Sari Tewfik, Dominique Schneider
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux. Tech. Sci. Informatiques 26 (1-2) (2007)
Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems (2006)
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. IJCAI (2005)
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. HSCC (2005)
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
. ISMB (Supplement of Bioinformatics) (2005)
Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN (2004)

Grégory Batt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Grégory Batt