Grgory Batt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | From Cardiac Cells to Genetic Regulatory Networks. | Radu Grosu, Grgory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
| 2011 | PSB | Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. | Jannis Uhlendorf, Samuele Bottani, Franois Fages, Pascal Hersen, Grgory Batt |
| 2007 | TACAS | Model Checking Liveness Properties of Genetic Regulatory Networks. | Grgory Batt, Calin Belta, Ron Weiss |
| 2005 | IJCAI | Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. | Grgory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
| 2005 | ISMB | Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in | Grgory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |