|
|
 |
|
|
|
|
|
| |
| |
|
|
 |
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 |
|
| |
|
Qualitative Simulation of the Nutritional Stress Response in Escherichia coli |
|
| |
D. Ropers, H. de Jong, M. Page, D. Schneider, J. Geiselmann |
|
| |
INRIA RR-5412 |
|
| |
|
Qualitative analysis of genetic regulatory networks: A model-checking approach |
|
| |
G. Batt, H. de Jong, J. Geiselmann, M. Page |
|
| |
Working Notes of IJCAI Workshop on Model Checking and Artificial Intelligence, MoChArt-03, Acapulco, Mexico, 51-58, 2003. |
|
| |
|
|
| |
| |
Qualitative simulation of the initiation of sporulation in Bacillus subtilis |
|
| |
H. de Jong, J. Geiselmann, C. Hernandez, M. Page |
|
| |
V. Capasso (ed.), Mathematical Modeling & Computing in Biology and Medecine. Proceedings of the 5th ESMTB Conference, Milan Research Centre for Industrial and Applied Mathematics (MIRIAM), Milan, 23-28, 2003 |
|
| |
|
Qualitative analysis of genetic regulatory networks: A model-checking approach |
|
| |
G. Batt, H. de Jong, J. Geiselmann, M. Page |
|
| |
B. Bredeweg, P. Salles (eds.), Working Notes of Seventeenth International Workshop on Qualitative Reasoning, QR 2003, Brasilia, Brazil, 31-38, 2003 |
|
| |
|
|
| |
|
Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach |
|
| |
H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann |
|
| |
A. Pnueli, O. Maler (eds), Hybrid Systems: Computation and Control, HSCC 2003, Lecture Notes in Computer Science 2623, Springer-Verlag, Berlin, 267-282, 2003. |
|
| |
|
|
| |
|
Dealing with discontinuities in the qualitative simulation of genetic regulatory networks |
|
| |
H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann |
|
| |
Proceedings of 15th European Conference on Artifical Intelligence, ECAI 2002, pp. 412-416, IOS Press, Amsterdam, 2002 |
|
| |
|
|
| |
|
Dealing with discontinuities in the qualitative simulation of genetic regulatory networks |
|
| |
H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann |
|
| |
Working Notes of 16th International Workshop on Qualitative Reasoning, QR 2002, Sitges, Barcelona, 67-74, 2002 |
|
| |
|
|
| |
|
| |
|
[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 |
|
|
|
|
|
|
 |
