A new approach to decoding life: Systems biology, Annual Review of Genomics and Human Genetics, vol.2, pp.343-372, 2001. ,
Representation and simulation of biochemical processes using the pi-calculus process algebra, Proceedings of the sixth Pacific Symposium of Biocomputing, pp.459-470, 2001. ,
Bio-calculus: Its concept, and an application for molecular interaction, In: Currents in Computational Molecular Biology. Frontiers Science Series, vol.30, 2000. ,
PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING, Biocomputing 2002, pp.400-412, 2002. ,
DOI : 10.1142/9789812799623_0038
HYBRID PETRI NET REPRESENTATION OF GENE REGULATORY NETWORK, Biocomputing 2000, pp.338-349, 2000. ,
DOI : 10.1142/9789814447331_0032
Quantitative modeling of biochemical networks, In Silico Biology, vol.1, pp.39-53, 1998. ,
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
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
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
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
Modeling and querying biochemical networks, Theoretical Computer Science To appear, 2004. ,
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
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
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
Diagrammatic notation and computational structure of gene networks, Proceedings of the 2nd International Conference on Systems Biology, 2001. ,
The role of Raf kinases in malignant transformation, Expert Reviews in Molecular Medicine, vol.4, issue.08, 2002. ,
DOI : 10.1017/S1462399402004386
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
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
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
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
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
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