Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Grégory Batt
2010 – today
- 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. Bioinformatics 29(6): 749-757 (2013)- 2011
- [j8]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)
- [c12]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
- [c11]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
- [j7]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. Bioinformatics 26(18) (2010)
- [j6]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. Bioinformatics 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. Automatica 44(4): 982-989 (2008)
- [j3]Grégory Batt, Calin Belta, Ron Weiss: Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. IEEE Trans. Automat. Contr. 53: 215-229 (2008)
- [c10]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
- [c9]
- 2007
- [j2]Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 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. Technique et Science Informatiques 26(1-2): 11-45 (2007)
- [c8]
- [c7]Grégory Batt, Calin Belta, Ron Weiss: Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC 2007: 61-75
- [c6]Grégory Batt, Calin Belta, Ron Weiss: Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS 2007: 323-338
- 2006
- [c5]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-11 18:47 CEST by the dblp team