M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra, Model Building and Model Checking for Biochemical Processes, Model Building and Model Checking for Biochemical Processes, pp.271-286, 2003.
DOI : 10.1385/CBB:38:3:271
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.233

G. Batt, D. Bergamini, H. De-jong, H. Garavel, and R. Mateescu, Model Checking Genetic Regulatory Networks Using GNA and CADP, Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN, 2004.
DOI : 10.1007/978-3-540-24732-6_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.7325

G. Bernot, J. Comet, A. Richard, and J. Guespin, Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

M. Calder, V. Vyshemirsky, D. Gilbert, and R. Orton, « Analysis of Signalling Pathways using the Prism Model Checker, CMSB'05 : Proceedings of the third Workshop on Computational Methods in Systems Biology, 2005.

L. Calzone, N. Chabrier-rivier, F. Fages, L. Gentils, and S. Soliman, Machine learning biomolecular interactions from temporal logic properties, CMSB'05 : Proceedings of the third Workshop on Computational Methods in Systems Biology, 2005.
DOI : 10.1007/11880646_4
URL : https://hal.archives-ouvertes.fr/inria-00000117

L. Cardelli and . Brane, Calculi -Interactions of Biological Membranes, CMSB'04 : Proceedings of the second Workshop on Computational Methods in Systems Biology, pp.257-280, 2004.

N. Chabrier and F. Fages, Symbolic Model Checking of Biochemical Networks, CMSB'03 : Proceedings of the first Workshop on Computational Methods in Systems Biology, pp.149-162, 2003.
DOI : 10.1007/3-540-36481-1_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.2355

N. Chabrier-rivier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter, Modeling and querying biomolecular interaction networks, Modeling and querying biochemical interaction networks, pp.25-44, 2004.
DOI : 10.1016/j.tcs.2004.03.063
URL : http://doi.org/10.1016/j.tcs.2004.03.063

A. Cimatti, E. Clarke, E. Giunchiglia, F. G. Pistore, M. Roveri et al., An OpenSource Tool for Symbolic Model Checking, Proceedings of the International Conference on Computer-Aided Verification, CAV'02, 2002.
DOI : 10.1007/3-540-45657-0_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023

V. Danos, C. Laneve, and . Biology, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591

L. De-raedt, Interactive Theory Revision, an inductive Logic Programming Approach, Knowledge-Based Systems, academic press, 1992.

F. Fages, S. Soliman, and N. Chabrier-rivier, Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM, Journal of Biological Physics and Chemistry, vol.4, issue.2, pp.64-73, 2004.
DOI : 10.4024/2040402.jbpc.04.02
URL : https://hal.archives-ouvertes.fr/hal-01431345

G. Giaever, Functional profiling of the Saccharomyces cerevisiae genome, Nature, vol.57, issue.6896, pp.387-391, 2002.
DOI : 10.1073/pnas.95.25.14863

M. A. Gibson and J. Bruck, « A probabilistic model of a prokaryotic gene and its regulation, Computational Methods in Molecular Biology : From Genotype to Phenotype, 2000.

D. T. Gillespie, A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, issue.4, pp.403-434, 1976.
DOI : 10.1016/0021-9991(76)90041-3

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability, Formal Aspects of Computing, pp.512-535, 1994.
DOI : 10.1007/BF01211866
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.6154

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, Proceedings of the 5th Verification, Model Checking and Abstract Interpretation, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

I. M. Keseler, J. Collado-vides, S. Gama-castro, J. Ingraham, S. Paley et al., EcoCyc: a comprehensive database resource for Escherichia coli, database resource for Escherichia coli, pp.334-337, 2005.
DOI : 10.1093/nar/gki108
URL : http://doi.org/10.1093/nar/gki108

K. W. Kohn, Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems, Molecular Biology of the Cell, vol.10, issue.8, pp.703-2734, 1999.
DOI : 10.1091/mbc.10.8.2703

J. R. Koza, W. Mydlowec, G. Lanza, J. Yu, and M. A. Keane, REVERSE ENGINEERING OF METABOLIC PATHWAYS FROM OBSERVED DATA USING GENETIC PROGRAMMING, Biocomputing 2001, pp.434-445, 2001.
DOI : 10.1142/9789814447362_0043

M. Z. Kwiatkowska, G. Norman, D. Parker, and «. Prism, 0 : A Tool for Probabilistic Model Checking, st International Conference on Quantitative Evaluation of Systems, pp.322-323, 2004.

S. H. Muggleton, Inverse entailment and progol, New Generation Computing, vol.12, issue.1, pp.245-286, 1995.
DOI : 10.1007/BF03037227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.1630

A. Phillips and L. Cardelli, Correct Abstract Machine for the Stochastic Pi-calculus, Transactions on Computational Systems Biology, 2004.

A. Regev, E. M. Panina, W. Silverman, L. Cardelli, E. Shapiro et al., BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004.
DOI : 10.1016/j.tcs.2004.03.061
URL : http://doi.org/10.1016/j.tcs.2004.03.061

A. Regev, W. Silverman, and E. Y. Shapiro, « Representation and simulation of biochemical processes using the pi-calculus process algebra, Proceedings of the sixth Pacific Symposium of Biocomputing, pp.459-470, 2001.

B. Schoeberl, C. Eichler-jonsson, E. Gilles, and G. Muller, Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors, Nature Biotechnology, vol.20, issue.4, pp.370-375, 2002.
DOI : 10.1038/nbt0402-370

M. Tomita, The E-CELL project, Proceedings of the fourth annual international conference on Computational molecular biology , RECOMB '00, pp.1-12, 2000.
DOI : 10.1145/332306.332567

J. J. Tyson, Modeling the cell division cycle: cdc2 and cyclin interactions., Proceedings of the National Academy of Sciences, pp.7328-7332, 1991.
DOI : 10.1073/pnas.88.16.7328