-
G.
Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and
D. Schneider (2005)
Validation
of qualitative models of genetic regulatory networks by model
checking: Analysis of the nutritional stress response in
Escherichia coli
Bioinformatics, 21(Suppl 1):i19-i28. [abstract
and pdf]
Also in G. Perrière, A. Guénoche and C. Geourjon, eds., Working
Notes of the Journées
Ouvertes Biologie, Informatique et Mathématiques (JOBIM'05),
471-482, Lyon, France.
|
-
H.
de Jong, J. Geiselmann, G. Batt, C. Hernandez and M. Page (2004)
Qualitative
simulation of the initiation of sporulation in Bacillus
subtilis
Bulletin of Mathematical Biology, 66(2):261-300 [abstract
and pdf]
|
- G.
Batt, R. Casey, H. de Jong, J. Geiselmann, J.-L. Gouzé, M.
Page, D. Ropers, T. Sari and D. Schneider (2006)
Qualitative
analysis of the dynamics of genetic regulatory networks using piecewise-linear models
In E. Pecou, S. Martinez and A. Maass,
eds., Mathematical and Computational Methods in Biology. Editions Hermann, Paris.
In press.
|
-
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page
and D. Schneider (2005)
Analysis and verification of qualitative models of genetic regulatory
networks: A model-checking approach
in L. P. Kaelbling and A. Saffiotti, eds., Proceedings of the
Nineteenth
International Joint Conference on Artificial Intelligence
(IJCAI'05),
370-375. [abstract
and pdf]
|
-
G.
Batt, D. Ropers, H. de Jong, J. Geiselmann, M. Page and D. Schneider
(2004)
Qualitative
analysis and verification of hybrid models of genetic regulatory
networks : Nutritional stress response in Escherichia coli
In M. Morari and L. Thiele, eds.,
Eighth
International Workshop on Hybrid Systems : Computation and Control
(HSCC'05),
Lecture Notes in Computer Science 3414, Springer-Verlag, 134-150. [abstract
and pdf]
|
-
G. Batt, D. Bergamini, H. de Jong, H. Garavel and
R. Mateescu (2004)
Model checking genetic regulatory networks using GNA and CADP
In S. Graf and L. Mounier, eds.,
Eleventh International SPIN Workshop on Model
Checking Software (SPIN'04),
Lecture Notes in Computer Science 2989, Springer-Verlag, 158-163. [abstract
and pdf]
|
-
G.
Batt, H. de Jong, J. Geiselmann and M. Page (2003)
Analysis of genetic regulatory networks : A model-checking approach
in B. Bredeweg and P. Salles, eds., Working Notes of the
Seventeenth International Workshop on Qualitative
Reasoning (QR'03),
31-38, Brasilia, Brazil. [abstract and pdf]
|
-
G.
Batt, H. de Jong, J. Geiselmann and M. Page (2003)
Analysis
of genetic regulatory networks : A model-checking approach
in M. Benerecetti and C. Pecheur,
eds., Working Notes of the
Second
International Workshop on Model Checking and Artificial
Intelligence (MoChArt'03),
51-58, Acapulco, Mexico. [abstract and pdf]
|