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
Batt, Gr�gory
 
     
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.  
 
(PDF; 219.3 ko)
 
 
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  
 
(PDF; 317.9 ko)
 
 
Qualitative simulation of the initiation of sporulation in B. subtilis
  H. de Jong, H. Geiselmann, G. Batt, C. Hernandez, M. Page  
  Technical report RR-4527, INRIA, 2002  
 
 
[1-10] [11-13]
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