Grégory Batt

	2011
19		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
18		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
17		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)
	2010
16		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)
15		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)
	2009
14		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
13		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
12		Oded Maler, Grégory Batt: Approximating Continuous Systems by Timed Automata. FMSB 2008: 77-89
11		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)
	2007
10		Grégory Batt, Ramzi Ben Salah, Oded Maler: On Timed Models of Gene Networks. FORMATS 2007: 38-52
9		Grégory Batt, Calin Belta, Ron Weiss: Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC 2007: 61-75
8		Grégory Batt, Calin Belta, Ron Weiss: Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS 2007: 323-338
7		Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18): 2415-2422 (2007)
6		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)
	2006
5		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
4		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
3		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
2		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
1		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

1	Ezio Bartocci	[19]
2	Calin Belta	[7] [8] [9]
3	Damien Bergamini	[1]
4	Samuele Bottani	[18]
5	Jeremy T. Bradley	[5]
6	Irene Cantone	[16]
7	Roland Ewald	[5]
8	François Fages	[5] [13] [14] [15] [17] [18]
9	Flavio H. Fenton	[19]
10	Hubert Garavel	[1]
11	Johannes Geiselmann	[2] [3] [4] [6] [11]
12	James Glimm	[19]
13	Gregor Gößler (Gregor Goessler)	[16]
14	Jean-Luc Gouzé	[6]
15	Radu Grosu	[19]
16	Colas Le Guernic	[19]
17	Holger Hermanns	[5]
18	Pascal Hersen	[18]
19	Jane Hillston	[5]
20	Hidde de Jong	[1] [2] [3] [4] [6] [11] [16]
21	Dragana Jovanovska	[15]
22	Peter Kemper	[5]
23	Oded Maler	[10] [12]
24	Elisabetta De Maria	[15]
25	Alke Martens	[5]
26	Radu Mateescu	[1] [2] [3]
27	Pedro T. Monteiro	[16]
28	Pieter J. Mosterman	[5]
29	Flemming Nielson	[5]
30	Michel Page	[2] [3] [4] [6] [11] [16]
31	Aurélien Rizk	[13] [14] [15] [17]
32	Delphine Ropers	[2] [3] [4] [6]
33	Ramzi Ben Salah	[10]
34	Dominique Schneider	[2] [3] [4] [6]
35	Scott A. Smolka	[19]
36	Oleg Sokolsky	[5]
37	Sylvain Soliman	[13] [14] [15] [17]
38	Sari Tewfik	[6]
39	Jannis Uhlendorf	[18]
40	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[5]
41	Ron Weiss	[7] [8] [9]
42	Boyan Yordanov	[7]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page