Grégory Batt
Orcid: 0000-0003-1697-139X
According to our database1,
Grégory Batt
authored at least 36 papers
between 2004 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level.
PLoS Comput. Biol., 2022
2021
Beyond the chemical master equation: Stochastic chemical kinetics coupled with auxiliary processes.
PLoS Comput. Biol., 2021
2019
Optimal control of an artificial microbial differentiation system for protein bioproduction.
Proceedings of the 17th European Control Conference, 2019
Can optimal experimental design serve as a tool to characterize highly non-linear synthetic circuits?
Proceedings of the 17th European Control Conference, 2019
2017
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway.
Bioinform., 2017
2016
What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast.
PLoS Comput. Biol., 2016
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance.
PLoS Comput. Biol., 2014
Cells driven by computers: long-term model predictive control of gene expression in yeast.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach.
Proceedings of the Computational Methods in Systems Biology, 2014
2013
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification.
PLoS Comput. Biol., 2013
Composition and abstraction of logical regulatory modules: application to multicellular systems.
Bioinform., 2013
Identification of biological models from single-cell data: A comparison between mixed-effects and moment-based inference.
Proceedings of the 12th European Control Conference, 2013
2011
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.
Theor. Comput. Sci., 2011
Proceedings of the Biocomputing 2011: Proceedings of the Pacific Symposium, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
Bioinform., 2010
2009
A general computational method for robustness analysis with applications to synthetic gene networks.
Bioinform., 2009
2008
IEEE Trans. Autom. Control., 2008
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Autom., 2008
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
2007
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux.
Tech. Sci. Informatiques, 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
Validation de modèles qualitatifs de réseaux de régulation génique: une méthode basée sur des techniques de vérification formelle. (Validation of qualitative models of genetic regulatory networks: a method based on formal verification techniques).
PhD thesis, 2006
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006
2005
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in <i>Escherichia coli</i>.
Proceedings of the Proceedings Thirteenth International Conference on Intelligent Systems for Molecular Biology 2005, 2005
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005
2004
Proceedings of the Model Checking Software, 2004