T. Galitski, T. Hood, and L. , A new approach to decoding life: Systems biology, Annual Review of Genomics and Human Genetics, vol.2, pp.343-372, 2001.

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.

M. Nagasaki, S. Onami, S. Miyano, and H. Kitano, Bio-calculus: Its concept, and an application for molecular interaction, In: Currents in Computational Molecular Biology. Frontiers Science Series, vol.30, 2000.

S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer et al., PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING, Biocomputing 2002, pp.400-412, 2002.
DOI : 10.1142/9789812799623_0038

H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano, HYBRID PETRI NET REPRESENTATION OF GENE REGULATORY NETWORK, Biocomputing 2000, pp.338-349, 2000.
DOI : 10.1142/9789814447331_0032

R. Hofestädt and S. Thelen, Quantitative modeling of biochemical networks, In Silico Biology, vol.1, pp.39-53, 1998.

R. Alur, C. Belta, F. Ivanicic, V. Kumar, M. Mintz et al., Hybrid Modeling and Simulation of Biomolecular Networks, Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'01, pp.19-32, 2001.
DOI : 10.1007/3-540-45351-2_6

R. Ghosh and C. Tomlin, Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model, Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'01, pp.232-246, 2001.
DOI : 10.1007/3-540-45351-2_21

A. Bockmayr and A. Courtois, Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems, Proceedings of ICLP'02, International Conference on Logic Programming, pp.85-99, 2002.
DOI : 10.1007/3-540-45619-8_7

URL : https://hal.archives-ouvertes.fr/inria-00107635

A. Cimatti, E. Clarke, E. Giunchiglia, F. G. Pistore, M. Roveri et al., NuSMV 2: 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

N. Chabrier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter, Modeling and querying biochemical networks, Theoretical Computer Science To appear, 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

M. Chiaverini and V. Danos, A Core Modeling Language for the Working Molecular Biologist (Abstract), CMSB'03: Proceedings of the first Workshop on Computational Methods in Systems Biology, p.166, 2003.
DOI : 10.1007/3-540-36481-1_16

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

R. Maimon and S. Browning, Diagrammatic notation and computational structure of gene networks, Proceedings of the 2nd International Conference on Systems Biology, 2001.

W. Kolch, A. Kotwaliwale, K. Vass, and P. Janosch, The role of Raf kinases in malignant transformation, Expert Reviews in Molecular Medicine, vol.4, issue.08, 2002.
DOI : 10.1017/S1462399402004386

B. E. Shapiro, A. Levchenko, E. M. Meyerowitz, B. J. Wold, and E. D. Mjolsness, Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations, Bioinformatics, vol.19, issue.5, pp.677-678, 2003.
DOI : 10.1093/bioinformatics/btg042

A. Levchenko, J. Bruck, and P. W. Sternberg, Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties, Proceedings of the National Academy of Sciences, vol.284, issue.5415, pp.5818-5823, 2000.
DOI : 10.1126/science.284.5415.765

M. Kanehisa and S. Goto, KEGG: Kyoto Encyclopedia of Genes and Genomes, Nucleic Acids Research, vol.28, issue.1, pp.27-30, 2000.
DOI : 10.1093/nar/28.1.27

S. Soliman and F. Fages, CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems, Proceedings of the second Workshop on Computational Methods in Systems Biology. Lecture Notes in Computer Science, 2004.
DOI : 10.1093/nar/28.1.27

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=

K. C. Chen, A. Csikász-nagy, B. Györffy, J. Val, B. Novàk et al., Kinetic Analysis of a Molecular Model of the Budding Yeast Cell Cycle, Molecular Biology of the Cell, vol.11, issue.1, pp.396-391, 2000.
DOI : 10.1091/mbc.11.1.369