|
|
 |
|
|
|
|
|
| |
| |
|
|
 |
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 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 |
|
| |
|
|
| |
|
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 |
|
| |
|
|
| |
|
Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstraction |
|
| |
G. Batt, H. de Jong, J. Geiselmann, M. Page, D. Ropers, D. Schneider |
|
| |
INRIA RR-5362, 2004 |
|
| |
|
Model checking genetic regulatory networks using GNA and CADP |
|
| |
G. Batt, D. Bergamini, H. de Jong, H. Gavarel, R. Mateescu |
|
| |
Eleventh International SPIN Workshop on Model Checking of Software, SPIN 2004, Springer-Verlag, Berlin, 2004, LNCS 2989 , pp. 158-163. |
|
| |
|
|
| |
|
|
| |
|
| |
|
[1-10]
[11-13]
|
 |
 |
|
|
|
 |
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 |
|
|
|
|
|
|
 |
