|
|
 |
|
|
|
|
|
| |
| |
|
|
 |
Piecewise-linear models of genetic regulatory networks : Analysis of the carbon starvation response in Escherichia coli |
 |
| |
Proceedings of the European Conference on Mathematical and Theoretical Biology (ECMTB) 2005, Mathematical Modeling of Biological Systems, Volume I. A. Deutsch, L. Brusch, H. Byrne, G. de Vries and H.-P. Herzel (eds), Birkhäuser, Boston, 83-96. |
|
| |
|
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli |
|
| |
Workshop on Dynamical Modeling and Analysis of Biological Regulatory Networks, May 2005, Marseille, France. |
|
| |
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider |
|
| |
|
|
| |
|
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli |
|
| |
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, D. Schneider |
|
| |
bioinformatics, 21(Suppl 1):i19-i28, 2005. |
|
| |
|
|
| |
|
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli |
|
| |
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, M. Page, D. Schneider |
|
| |
Eighth International Workshop on Hybrid Systems : Computation and Control (HSCC 2005), in M. Morari and L. Thiele, eds, LNCS 3414, pp 134-150. Springer, 2005 |
|
| |
|
|
| |
|
|
| |
| |
Qualitative analysis of the dynamics of genetic regulatory networks using piecewise-linear models |
|
| |
G. Batt, R. Casey, H. de Jong, J. Geiselmann, J.-L. Gouzé, M. Page, D. Ropers, T. Sari, D. Schneider |
|
| |
A. Maass, S. Martinez, E. Pécou (eds), Mathematical and Computational Methods in Biology, Hermann, Paris, 2006, 206-239. |
|
| |
|
Qualitative simulation of the carbon starvation response in Escherichia coli |
|
| |
D. Ropers, H. de Jong, M. Page, D. Schneider, J. Geiselmann |
|
| |
BioSystems, 2006, 84(2) : 124-152. |
|
| |
|
Qualitative approaches towards the analysis of genetic regulatory networks |
|
| |
H. de Jong, D. Ropers |
|
| |
Z. Szallasi, V. Periwal, J. Stelling (eds), System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, MIT Press, Cambridge, MA, 125-148, 2006. |
|
| |
|
Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach |
|
| |
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider |
|
| |
Poster at the Nineteenth International Workshop on Qualitative Reasoning (QR'05), in B.Rinner, M. Hofbaur and F. Wotawa, eds., pp 54-59. 2005 |
|
| |
|
|
| |
|
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli |
|
| |
Workshop on Computation of Biochemical Pathways and Genetic Networks, September 2005, Heidelberg, Germany |
|
| |
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider |
|
| |
|
|
| |
|
|
| |
|
Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach |
|
| |
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider |
|
| |
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), in L. P. Kaelbling and A. Saffiotti, eds., pp 370-375. 2005 |
|
| |
|
|
| |
|
| |
|
[1-10]
[11-19]
|
 |
 |
|
|
|
 |
Batt, Grégory |
|
Boyer, Frédéric |
|
Bronner, Gisèle |
|
Calteau, Alexandra |
|
Coissac, Eric |
|
Daubin, Vincent |
|
De Jong, Hidde |
|
Declere, Stéphane |
|
Drulhe, Samuel |
|
Dufayard, Jean-François |
|
Duret, Laurent |
|
Gautier, Christian |
|
Gouy, Manolo |
|
Gueguen, Laurent |
|
Hernandez, Céline |
|
Lobry, Jean |
|
Marais, Gabriel |
|
Meunier, Julien |
|
Morgat, Anne |
|
Mouchiroud, Dominique |
|
|
|
Nugues, Estelle |
|
Page, Michel |
|
Penel, Simon |
|
Perrière, Guy |
|
Piganeau, Gwenaele |
|
Pisanti, Nadia |
|
Ponger, Loïc |
|
Rechenmann, François |
|
Réguer, Erwan |
|
Rivière-Rolland, Hélène |
|
Rizzon, Carène |
 |
Ropers, Delphine |
|
Sagot, Marie-France |
|
Semon, Marie |
|
Silvestre, Timothée |
|
Spataro, Bruno |
|
Tannier, Eric |
|
Viari, Alain |
|
Ziébelin, Danielle |
|
|
|
|
|
|
 |
