The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Grégory Batt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  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. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:370-375 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]

  8. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. [Citation Graph (, )][DBLP]


  9. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]


  10. Approximating Continuous Systems by Timed Automata. [Citation Graph (, )][DBLP]


  11. Robustness analysis and tuning of synthetic gene networks. [Citation Graph (, )][DBLP]


  12. A general computational method for robustness analysis with applications to synthetic gene networks. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002