BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, pp.3289-3291, 2004. ,
DOI : 10.1093/bioinformatics/bth378
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems, Proceedings of the International Conference on Logic Programming, pp.85-99, 2002. ,
DOI : 10.1007/3-540-45619-8_7
Machine Learning Biochemical Networks from Temporal Logic Properties, Trans. Comput. Syst. Biol, 2006. ,
DOI : 10.1007/11880646_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.5250
Modeling and querying biomolecular interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004. ,
DOI : 10.1016/j.tcs.2004.03.063
URL : http://doi.org/10.1016/j.tcs.2004.03.063
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023
) Model Checking, 1999. ,
PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING, Biocomputing 2002, pp.400-412, 2002. ,
DOI : 10.1142/9789812799623_0038
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
Quantitative modeling of biochemical networks, Silico Biol, vol.1, pp.39-53, 1998. ,
Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems, Molecular Biology of the Cell, vol.10, issue.8, pp.2703-2734, 1999. ,
DOI : 10.1091/mbc.10.8.2703
Automatic generation of cellular reaction networks with Moleculizer 1.0, Nature Biotechnology, vol.6, issue.1, pp.131-136, 2005. ,
DOI : 10.1093/bioinformatics/btg015
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
Representation and simulation of biochemical processes using the pi-calculus process algebra, Proceedings of the sixth Pacific Symposium of Biocomputing, pp.459-470, 2001. ,