A framework for modelling and simulating networks of cells

Electronic Notes in Theoretical Computer Science

Volumn 268, Issue C, 2010, Pages 115-129

  Montagna, Sara ^a   Viroli, Mirko ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Developmental biology; Formal methods; Multi level model

Indexed keywords

BIOLOGICAL PHENOMENA; CELL-TO-CELL INTERACTIONS; COMPLEX SIMULATION; COMPUTATIONAL MODEL; DEVELOPMENTAL BIOLOGY; DIRECT METHOD; DROSOPHILA MELANOGASTER; DYNAMIC NETWORK; INTERNAL DYNAMICS; LINE SOURCES; MULTILEVEL MODEL; SIMULATION ENGINE; SIMULATION RESULT; SPATIAL PATTERNS;

BIOLOGY; FORMAL METHODS; GENE EXPRESSION;

COMPUTER SIMULATION;

EID: 78650574303     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.12.009     Document Type: Conference Paper

References (20)

1. B. Alberts, A. Johnson, J. Lewis, M. Raff, K. Roberts, and P. Walter Molecular Biology of the Cell 4th edition Garland Science Textbooks June 2002 Garland Science
2. R. Alves, F. Antunes, and A. Salvador Tools for kinetic modeling of biochemical networks Nature Biotechnology 24 6 June 2006 667 672
3. F. Ciocchetta, A. Duguid, and M.L. Guerriero A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA CoRR abs/0911.4984 2009
4. A. Credi, M. Garavelli, C. Laneve, S. Pradalier, S. Silvi, and G. Zavattaro nanok: A calculus for the modeling and simulation of nano devices Theoretical Computer Science 408 1 2008 17 30
5. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine. Rule-based modelling of cellular signalling. In CONCUR, pages 17-41, 2007.
6. V. Danos, and C. Laneve Formal molecular biology Theoretical Computer Science 325 1 2004 69 110
7. L. Dematté, C. Priami, A. Romanel, and O. Soyer Evolving blenx programs to simulate the evolution of biological networks Theoretical Computer Science 408 1 2008 83 96
8. M.A. Gibson, and J. Bruck Efficient exact stochastic simulation of chemical systems with many species and many channels The Journal of Physical Chemistry A 104 9 March 2000 1876 1889
9. S.F. Gilbert Developmental Biology Eighth edition Mar. 2006 Sinauer Associates Inc.
10. D.T. Gillespie Exact stochastic simulation of coupled chemical reactions The Journal of Physical Chemistry 81 25 1977 2340 2361
11. D.T. Gillespie Approximate accelerated stochastic simulation of chemically reacting systems Journal of Chemical Physics 115 4 2001 1716 1733
12. V.V. Gursky, J. Jaeger, K.N. Kozlov, J. Reinitz, and A.M. Samsonov Pattern formation and nuclear divisions are uncoupled in drosophila segmentation: comparison of spatially discrete and continuous models Physica D: Nonlinear Phenomena 197 3-4 October 2004 286 302
13. S. Montagna and M. Viroli. A computational framework for modelling multicellular biochemistry. In IEEE CEC09 Preceedings, Trondheim, Norway, 18-21 May 2009.
14. G. Paun Membrane Computing: An Introduction 2002 Springer-Verlag New York, Inc. Secaucus, NJ, USA
15. T.J. Perkins, J. Jaeger, J. Reinitz, and L. Glass Reverse engineering the gap gene network of Drosophila Melanogaster PLoS Computational Biology 2 5 2006 e51
16. A. Phillips. The Stochastic Pi Machine (SPiM), 2007. Version 0.05 available online at http://research.microsoft.com/~aphillip/spim/.
17. C. Priami Stochastic pi-calculus The Computer Journal 38 7 1995 578 589
18. A.M. Uhrmacher, D. Degenring, and B. Zeigler Discrete event multi-level models for systems biology C. Priami, Transactions on Computational Systems Biology I Lecture Notes in Computer Science volume 3380 2005 Springer 66 89
19. C. Versari, and N. Busi Efficient stochastic simulation of biological systems with multiple variable volumes Electronic Notes in Theoretical Computer Science 194 3 2008 165 180
20. D. Yamins and R. Nagpal. Automated global-to-local programming in 1-d spatial multi-agent systems. In 7th International Joint Conference on Agents and Multi-Agent Systems (AAMAS-08), pages 615-622, Estoril, Portugal, 12-16May 2008. IFAAMAS.