Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli
Grégory Batt, D. Ropers, H. de Jong, J. Geiselmann +3 more
Researcher profile · Semantic Scholar
Grégory Batt, D. Ropers, H. de Jong, J. Geiselmann +3 more
Stéphane Pinhal, D. Ropers, J. Geiselmann, H. de Jong
D. Ropers, H. de Jong, Michel Page, D. Schneider +1 more
S. Berthoumieux, H. de Jong, Guillaume Baptist, Corinne Pinel +3 more
A. Kremling, J. Geiselmann, D. Ropers, H. de Jong
Pedro T. Monteiro, D. Ropers, R. Mateescu, A. T. Freitas +1 more
S. Jacquenet, D. Ropers, Patricia S. Bilodeau, L. Damier +3 more
Jérôme Izard, Cindy D. C. Gomez Balderas, D. Ropers, Stéphan Lacour +5 more
H. de Jong, Caroline Ranquet, D. Ropers, Corinne Pinel +1 more
D. Ropers, L. Ayadi, R. Gattoni, S. Jacquenet +3 more
V. Baldazzi, D. Ropers, Y. Markowicz, D. Kahn +2 more
H. de Jong, Stefano Casagranda, N. Giordano, E. Cinquemani +3 more
Houda Hallay, N. Locker, L. Ayadi, D. Ropers +2 more
Fabien Corblin, S. Tripodi, E. Fanchon, D. Ropers +1 more
Manon Morin, D. Ropers, F. Létisse, Sandrine Laguerre +3 more
D. Ropers, V. Baldazzi, H. de Jong
Grégory Batt, Bruno Besson, P. Ciron, H. de Jong +7 more
Jean-Michel Saliou, Cyril F. Bourgeois, Lilia Ayadi-Ben Mena, D. Ropers +4 more
A. Kremling, J. Geiselmann, D. Ropers, H. de Jong
Manon Morin, D. Ropers, E. Cinquemani, J. Portais +2 more
H. de Jong, J. Geiselmann, D. Ropers
Grégory Batt, D. Ropers, H. de Jong, J. Geiselmann +3 more
Manon Morin, B. Enjalbert, D. Ropers, L. Girbal +1 more
Grégory Batt, D. Ropers, H. de Jong, J. Geiselmann +2 more
V. Baldazzi, D. Ropers, J. Geiselmann, D. Kahn +1 more
C. Roux, Thibault Étienne, E. Hajnsdorf, D. Ropers +3 more
Valentin Zulkower, Michel Page, D. Ropers, J. Geiselmann +1 more
M. Trauchessec, M. Jaquinod, Aline Bonvalot, V. Brun +6 more
D. Eveillard, D. Ropers, H. de Jong, C. Branlant +1 more
F. Boyer, Bruno Besson, Guillaume Baptist, Jérôme Izard +4 more
Thibault Étienne, M. Cocaign-Bousquet, D. Ropers
Guillaume Baptist, Corinne Pinel, Caroline Ranquet, Jérôme Izard +3 more
Pedro T. Monteiro, D. Ropers, R. Mateescu, A. T. Freitas +1 more
E. Cinquemani, V. Laroute, M. Cocaign-Bousquet, H. de Jong +1 more
V. Baldazzi, D. Ropers, J. Gouzé, Tomáš Gedeon +1 more
V. Baldazzi, Pedro T. Monteiro, Michel Page, D. Ropers +2 more
D. Eveillard, D. Ropers, H. de Jong, C. Branlant +1 more
I. Belgacem, Stefano Casagranda, Edith Grac, D. Ropers +1 more
D. Ropers, H. de Jong, Hans Geiselmann
Grégory Batt, H. de Jong, J. Geiselmann, Michel Page +2 more
D. Ropers, H. de Jong, Michel Page, D. Schneider +1 more
I. Belgacem, Edith Grac, D. Ropers, J. Gouzé
Pedro T. Monteiro, P. Dias, D. Ropers, Arlindo L. Oliveira +3 more
Stefano Casagranda, D. Ropers, J. Gouzé
D. Ropers, Y. Couté, L. Faure, Sabrina Ferré +9 more
A. Métris, S. George, D. Ropers
Stefano Casagranda, S. Touzeau, D. Ropers, J. Gouzé
I. Belgacem, Edith Grac, D. Ropers, J. Gouzé
D. Ropers, H. de Jong, J. Gouzé, Michel Page +2 more