![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Grégory Batt
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j14]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) - 2021
- [j13]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)
2010 – 2019
- 2019
- [c18]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: 1176-1181 - [c17]É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: 2663-2668 - 2017
- [j12]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): 1980-1986 (2017) - 2016
- [j11]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) - [c16]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: 3-19 - 2015
- [c15]Sergiy Bogomolov
, Christian Schilling
, Ezio Bartocci
, Grégory Batt, Hui Kong, Radu Grosu:
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
, 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) - [c14]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: 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
, 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): 749-757 (2013) - [j8]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) - [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
, 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) - [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
, Michel Page, Johannes Geiselmann
:
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é
, 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): 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
, 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 - 2005
- [c4]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: 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
, Hidde de Jong
, Johannes Geiselmann
, Radu Mateescu, Michel Page, Dominique Schneider:
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
, Hubert Garavel, Radu Mateescu:
Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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-25 05:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint