default search action
Grégory Batt
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j14]Andela Davidovic
, Remy Chait
Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level. PLoS Comput. Biol. 18(3) (2022) - 2021
- [j13]Davin Lunz, Grégory Batt, Jakob Ruess
Beyond the chemical master equation: Stochastic chemical kinetics coupled with auxiliary processes. PLoS Comput. Biol. 17(7) (2021)
2010 – 2019
- 2019
- [c18]Maxim Kryukov, Arthur Carcano
Can optimal experimental design serve as a tool to characterize highly non-linear synthetic circuits? ECC 2019: 1176-1181 - [c17]Élise Weill, Virgile Andréani
Optimal control of an artificial microbial differentiation system for protein bioproduction. ECC 2019: 2663-2668 - 2017
- [j12]Sucheendra K. Palaniappan
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway. Bioinform. 33(13): 1980-1986 (2017) - 2016
- [j11]Artémis Llamosi, Andrés M. González-Vargas
What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast. PLoS Comput. Biol. 12(2) (2016) - [c16]Sucheendra K. Palaniappan
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways. HSB 2016: 3-19 - 2015
- [c15]Sergiy Bogomolov
Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference 2015: 19-35 - 2014
- [b2]Grégory Batt:
Design, optimization and control in systems and synthetic biology. Paris Diderot University, France, 2014 - [j10]François Bertaux
Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance. PLoS Comput. Biol. 10(10) (2014) - [c14]Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. CMSB 2014: 155-172 - [c13]Grégory Batt:
Cells driven by computers: long-term model predictive control of gene expression in yeast. HSCC 2014: 143-144 - 2013
- [j9]Nuno D. Mendes
Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. 29(6): 749-757 (2013) - [j8]Szymon Stoma, Alexandre Donzé
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Comput. Biol. 9(5) (2013) - [c12]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: 3652-3657 - 2011
- [j7]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): 2827-2839 (2011) - [c11]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: 396-411 - [c10]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: 338-349 - 2010
- [j6]Grégory Batt, Michel Page, Irene Cantone
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinform. 26(18) (2010) - [i2]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): 36 (2010)
2000 – 2009
- 2009
- [j5]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) - 2008
- [j4]Grégory Batt, Hidde de Jong
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Autom. 44(4): 982-989 (2008) - [j3]Grégory Batt, Calin Belta, Ron Weiss:
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. IEEE Trans. Autom. Control. 53: 215-229 (2008) - [c9]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: 251-268 - [c8]Oded Maler, Grégory Batt:
Approximating Continuous Systems by Timed Automata. FMSB 2008: 77-89 - 2007
- [j2]Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta:
Robustness analysis and tuning of synthetic gene networks. Bioinform. 23(18): 2415-2422 (2007) - [j1]Grégory Batt, Hidde de Jong, Johannes Geiselmann, Jean-Luc Gouzé
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): 11-45 (2007) - [c7]Grégory Batt, Ramzi Ben Salah, Oded Maler:
On Timed Models of Gene Networks. FORMATS 2007: 38-52 - [c6]Grégory Batt, Calin Belta, Ron Weiss:
Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC 2007: 61-75 - [c5]Grégory Batt, Calin Belta, Ron Weiss:
Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS 2007: 323-338 - 2006
- [b1]Grégory Batt:
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). Joseph Fourier University, Grenoble, France, 2006 - [i1]Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006 - 2005
- [c4]Grégory Batt, Delphine Ropers
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. HSCC 2005: 134-150 - [c3]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: 370-375 - [c2]Grégory Batt, Delphine Ropers
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. ISMB (Supplement of Bioinformatics) 2005: 19-28 - 2004
- [c1]Grégory Batt, Damien Bergamini, Hidde de Jong
Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: