|
Search the dblp DataBase
Grégory Batt:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] HSCC, 2005, pp:134-150 [Conf]
- Grégory Batt, Calin Belta, Ron Weiss
Model Checking Genetic Regulatory Networks with Parameter Uncertainty. [Citation Graph (0, 0)][DBLP] HSCC, 2007, pp:61-75 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:370-375 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ISMB (Supplement of Bioinformatics), 2005, pp:19-28 [Conf]
- Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
Model Checking Genetic Regulatory Networks Using GNA and CADP. [Citation Graph (0, 0)][DBLP] SPIN, 2004, pp:158-163 [Conf]
- Grégory Batt, Ramzi Ben Salah, Oded Maler
On Timed Models of Gene Networks. [Citation Graph (0, 0)][DBLP] FORMATS, 2007, pp:38-52 [Conf]
- Grégory Batt, Calin Belta, Ron Weiss
Model Checking Liveness Properties of Genetic Regulatory Networks. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:323-338 [Conf]
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. [Citation Graph (, )][DBLP]
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]
Approximating Continuous Systems by Timed Automata. [Citation Graph (, )][DBLP]
Robustness analysis and tuning of synthetic gene networks. [Citation Graph (, )][DBLP]
A general computational method for robustness analysis with applications to synthetic gene networks. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.004secs
|