The Helix research group
Research themes
Work in progress and results
Publications
Software and databases
News from Helix
Publications > Publications by author
Home page
Site map Mail to Helix
Page, Michel
 
     
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  
 
presentation (PDF; 1.3 Mo)
 
 
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.  
 
presentation (PDF; 1.7 Mo)
 
 
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  
 
presentation (PDF; 1.2 Mo)
 
 
paper (PDF; 277.7 ko)
 
 
  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  
 
paper (PDF; 167 ko)
 
 
 
[1-10] [11-20] [21-30] [31-31]
See also
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
    Top of page   Home page