|
|
 |
|
|
|
|
|
| |
| |
|
|
 |
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. |
|
| |
|
Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks |
|
| |
H. de Jong, J. Geiselmann, C. Hernandez, M. Page |
|
| |
Bioinformatics, 19(3): 336-344, 2003 |
|
| |
|
Qualitative simulation of genetic regulatory networks using piecewise-linear models |
|
| |
H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann |
|
| |
Bulletin of Mathematical Biology, 66(2):301-340, 2004. |
|
| |
|
Qualitative simulation of the initiation of sporulation in Bacillus subtilis |
|
| |
H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, M. Page |
|
| |
Bulletin of Mathematical Biology, 66(2):261-300, 2004. |
|
| |
|
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 |
|
| |
|
|
| |
|
| |
|
[1-10]
[11-20]
[21-30]
[31-31]
|
 |
 |
|
|
|
 |
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 |
|
|
|
|
|
|
 |
