Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, 2001. ,
Cells as computation, Nature, vol.419, 2002. ,
DOI : 10.1007/3-540-36481-1_1
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 : https://doi.org/10.1016/j.tcs.2004.03.061
Rule-based modelling of cellular signalling, Proceedings of the 18 th International Conference on Concurrency Theory (CONCUR'07), 2007. ,
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00164297
Scalable modelling of biological pathways, Proceedings of APLAS 2007, vol.4807, pp.139-157, 2007. ,
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
Core formal molecular biology, Proceedings of the 12th European Symposium on Programming, vol.2618, pp.302-318, 2003. ,
DOI : 10.1007/3-540-36575-3_21
URL : https://link.springer.com/content/pdf/10.1007%2F3-540-36575-3_21.pdf
Agile modelling of cellular signalling, Proceedings of ICCMSE'07, 2007. ,
DOI : 10.1063/1.2836156
Graph theory for rule-based modeling of biochemical networks, Proc. BioCONCUR 2005, 2005. ,
DOI : 10.1007/11905455_5
URL : http://www.ccam.uchc.edu/mblinov/library/Blinov_LNCS_2006.pdf
Rules for Modeling Signal-Transduction Systems, Science's STKE, issue.344, 2006. ,
DOI : 10.1126/stke.3442006re6
Communicating and mobile systems: the ?-calculus, 1999. ,
Brane calculi, Proceedings of BIO-CONCUR'03, vol.180, 2003. ,
DOI : 10.1007/978-3-540-25974-9_24
Beta binders for biological interactions, Proceedings of CMSB, vol.3082, pp.20-33, 2004. ,
DOI : 10.1007/978-3-540-25974-9_3
Formal molecular biology done in CCS, Proceedings of BIO-CONCUR'03, vol.180, pp.31-49, 2003. ,
DOI : 10.1016/j.entcs.2004.01.040
URL : https://hal.archives-ouvertes.fr/hal-00164586
Dependency analysis of mobile systems, European Symposium on Programming, 2002. ,
DOI : 10.1007/3-540-45927-8_22
URL : https://hal.archives-ouvertes.fr/inria-00527924
Abstract interpretation and application to logic programs, Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992. ,
DOI : 10.1016/0743-1066(92)90030-7
URL : https://doi.org/10.1016/0743-1066(92)90030-7
Representation of switching circuits by binary-decision programs, Bell Systems Technical Journal, vol.38, pp.985-999, 1959. ,
DOI : 10.1002/j.1538-7305.1959.tb01585.x
A static analyzer for large safety-critical software, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), pp.196-207, 2003. ,
DOI : 10.1145/780822.781153
URL : https://hal.archives-ouvertes.fr/hal-00128135
Communication and Concurrency, International Series on Computer Science, 1989. ,
A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity, BioSystems, vol.83, pp.136-151, 2006. ,
Simulation and verification for computational modelling of signalling pathways, Proceedings of the 37th conference on Winter simulation, pp.1666-1674, 2006. ,