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