|
|
 |
|
|
|
|
|
| |
| |
|
|
 |
A Multi-Site Constraint Programming Model of Alternative Splicing Regulation |
 |
| |
D. Eveillard, D.Ropers, H. de Jong, C. Branlant, A. Bockmayr |
|
| |
INRIA RR-4830 |
|
| |
|
|
| |
|
Modélisation et simulation de réseaux de régulation génique par des équations différentielles ordinaires |
|
| |
H. de Jong, J. Geiselmann |
|
| |
J.-F. Boulicaut, O. Gandrillon (eds), Informatique pour l'analyse du transcriptome, Hermès, 143-185, 2004. |
|
| |
|
A multi-scale constraint programming model of alternative splicing regulation |
|
| |
D. Eveillard, D. Ropers, H. de Jong, C. Branlant, A. Bockmayr |
|
| |
Theoretical Computer Science, 325(1):3-24, 2004. |
|
| |
|
Model checking genetic regulatory networks using GNA and CADP |
|
| |
G. Batt, D. Bergamini, H. de Jong, H. Gavarel, R. Mateescu |
|
| |
Eleventh International SPIN Workshop on Model Checking of Software, SPIN 2004, Springer-Verlag, Berlin, 2004, LNCS 2989 , pp. 158-163. |
|
| |
|
|
| |
|
|
| |
|
Qualitative simulation and related approaches for the analysis of dynamical systems |
|
| |
H. de Jong |
|
| |
INRIA RR-5128, 2004 |
|
| |
|
Experiment selection for the discrimination of semi-quantitative models of dynamical systems |
|
| |
I. Vatcheva, O. Bernard, H. de Jong, N.J.I. Mars |
|
| |
Technical report RR-4940, INRIA, 2003 |
|
| |
|
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. |
|
| |
|
|
| |
|
Qualitative modeling and simulation of developmental regulatory networks |
|
| |
H. de Jong, J. Geiselmann, D. Thieffry |
|
| |
S. Kumar, P.J. Bentley (eds), On Growth, Form, and Computers, Academic Press, London, 109-143, 2003 |
|
| |
| |
Qualitative simulation of the initiation of sporulation in Bacillus subtilis |
|
| |
H. de Jong, J. Geiselmann, C. Hernandez, M. Page |
|
| |
V. Capasso (ed.), Mathematical Modeling & Computing in Biology and Medecine. Proceedings of the 5th ESMTB Conference, Milan Research Centre for Industrial and Applied Mathematics (MIRIAM), Milan, 23-28, 2003 |
|
| |
|
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 |
|
| |
|
|
| |
|
| |
|
[1-10]
[11-20]
[21-30]
[31-40]
[41-50]
[51-60]
[61-63]
|
 |
 |
|
|
|
 |
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 |
|
|
|
|
|
|
 |
