Studying cancer-cell populations by programmable models of networks

Network Modeling and Analysis in Health Informatics and Bioinformatics

Volumn 1, Issue 3, 2012, Pages 117-133

  Bortolussi, Luca ^a   Policriti, Alberto ^b  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Computational systems biology; Prostate tumor; Stochastic process algebras; Tumor growth modeling

Indexed keywords

TESTOSTERONE;

ALGORITHM; APOPTOSIS; ARTICLE; CANCER CELL; CANCER GROWTH; CANCER HORMONE THERAPY; CANCER RECURRENCE; COMPARATIVE STUDY; DEATH; DISEASE COURSE; DYNAMICS; MODEL; MUTATION; NETWORK LEARNING; PRIORITY JOURNAL; PROSTATE CANCER; TUMOR VOLUME;

EID: 84991377010     PISSN: None     EISSN: 21926670     Source Type: Journal    
DOI: 10.1007/s13721-012-0010-x     Document Type: Article

References (42)

1. Abrahamsson PA (2010) Potential benefits of intermittent androgen suppression therapy in the treatment pf prostate cancer: a systematic review of literature. Eur Urol 57: 49-59.
2. Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic petri nets. Wiley, New York.
3. American urological association (2012). Best practice policy statement on cryosurgery for the treatment of localized prostate cancer.
4. Bernardo M, Gorrieri R (1998) A tutorial on empa: a theory of concurrent processes with nondeterminism, priorities. probabilities and time. Theor Comput Sci 202: 1-54.
5. Billingsley P (1979) Probability and Measure. Wiley, New York.
6. Bortolussi L, Policriti A (2008) Modeling biological systems in concurrent constraint programming. Constraints 13(1): 66-90.
7. Bortolussi L, Policriti A (2009a) Dynamical systems and stochastic programming-from ordinary differential equations and back. In: Transactions on computational systems biology XI. Lecture notes in computer science, vol 5750. Springer, Berlin, pp 216-267.
8. Bortolussi L, Policriti A (2009b) Hybrid semantics of stochastic programs with dynamic reconfiguration. In: Proceedings of the CompMod.
9. Bortolussi L, Policriti A (2009c) Tales of spatiality in stochastic concurrent constraint programming. In Proceedings of BioLogic09.
10. Bortolussi L, Policriti A (2010) Hybrid dynamics of stochastic programs. Theor Comput Sci.
11. Bortolussi L, Policriti A (2012) (hybrid) automata and (stochastic) programs, the hybrid automata lattice of a stochastic program. J Log Comput. doi: 10. 1093/logcom/exr045.
12. Bortolussi L, Policriti A (2011) Programmable models of growth and mutation of cancer-cell populations. In: Proceedings of the third international workshop on computational models for cell processes (COMPMOD 2011). EPTCS, vol 67, pp 19-33.
13. Brawer MK (2006) Hormonal therapy for prostate cancer. Rev Urol 8: S35-S47.
14. Caravagna G, Hillston J (2010) Modeling biological systems with delays in bio-pepa. In: Proceedings of the fourth workshop on membrane computing and biologically inspired process calculi 2010, Jena, Germany, 23 August 2010. Electronic Proceedings in Theoretical Computer Science, vol 40, pp 85-101.
15. Ciocchetta F (2009) Bio-PEPA with events. T. Comput Syst Biol 11: 45-68.
16. Ciocchetta F, Hillston J (2008) Formal methods for computational systems biology. In: Process algebras in systems biology. Springer, Berlin, pp 265-312.
17. Ciocchetta F, Hillston J (2009) Bio-pepa: a framework for the modelling and analysis of biological systems. Theor Comput Sci 410(33-34): 3065-3084.
18. Danos V, Feret J, Fontana W, Harmer R, Krivine J (2007) Rule-based modelling of cellular signalling. In Proceedings of the 18th international conference on concurrency theory, CONCUR 2007. Lecture Notes in Computer Science, vol 4703. Springer, Berlin, pp 17-41.
19. Davis MHA (1993) Markov Models and Optimization. Chapman & Hall, London.
20. Deisboeck TS, Wang Z, Macklin P, Cristini V (2011) Multiscale cancer modeling. Annu Rev Biomed Eng 13: 127-155.
21. Deisboeck TS, Couzin ID (2009) Collective behavior in cancer cell populations. BioEssays News Rev Mol Cell Dev Biol 31(2): 190-197.
22. De Matteis G, Graudenzi A, Antoniotti M (2012) A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development. J Math Biol (submitted).
23. Fornari C, Cordero F, Manini D, Balbo G, Calogero R (2011) Mathematical approach to predict the drug effects on cancer stem cell models. Electr Notes Theor Comput Sci 277: 29-39.
24. German R (2000) Performance analysis of communication systems with NonMarkovian stochastic petri nets. Wiley, New York.
25. Gillespie D (2000) The chemical langevin equation. J Chem Phys 113(1): 297-306.
26. Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J. Phys Chem 81(25): 2340-2361.
27. Glynn PW (1989) A gsmp formalism for discrete-event systems. Proc IEEE 77: 14-23.
28. Hermanns H, Herzog U, Katoen J-P (2002) Process algebra for performance evaluation. Theor Comput Sci 274(1-2): 43-87.
29. Hoops S, Sahle S, Gauges R, Lee C, Pahle J, Simus N, SinghalM, Xu L, Mendes P, Kummer U (2006) COPASI: a COmplex PAthway SImulator. Bioinformatics 22(24): 3067-3074.
30. Ideta AM, Tanaka G, Takeuchi T, Aihara K (2008) A mathematical model of intermittent androgen suppression for prostate cancer. Nonlinear Sci 18: 593-614.
31. Jackson TL (2004) A mathematical model of prostate tumor growth and androgen-independent relapse. Disc Cont Dyn Sys B 4: 187-201.
32. Jha SK, Clarke EM, Langmead CJ, Legay A, Platzer A, Zuliani P (2009) A bayesian approach to model checking biological systems. In: Proceedings of the 7th international conference on computational methods in systems biology, CMSB 2009. Lecture Notes in Computer Science, vol 5688, pp 218-234.
33. Kohn KW, Aladjem MI, Kim S, Weinstein JN, Pommier Y (2006) Depicting combinatorial complexity with the molecular interaction map notation. Mol Syst Biol 2(51): 1744-4292.
34. Lecca P, Kahramanogullari O, Morpurgo D, Priami C, Soo R (2011) Modelling the tumor shrinkage pharmacodynamics with blenx. In: 1st IEEE international conference on computational advances in bio and medical sciences (ICCABS).
35. Mazza T, Cavaliere M (2009) Cell cycle and tumor growth in membrane systems with peripheral proteins. Electr Notes Theor Comput Sci 227: 127-141.
36. Norris JR (1997) Markov chains. Cambridge University Press, Cambridge.
37. Rao AR, Motiwala HG, Karim OMA (2008) The discovery of prostate-specific antigen. BJU Int 101: 5-10.
38. Roose T, Chapman SJ, Maini PK (2007) Mathematical models of avascular tumor growth. SIAM Rev 49(2): 179-208.
39. Sbml website. http://www. sbml. org.
40. Skulj D (2009) Discrete time markov chains with interval probabilities. Int J Approx Reason 50(8): 1314-1329.
41. Tanaka G, Hirata Y, Goldenberg SL, Bruchovsky N, Aihara K (2010) Mathematical modelling of prostate cancer growth and its application to hormone therapy. Phyl Trans Royal Soc A 368: 5029-5044.
42. Wilkinson DJ (2006) Stochastic modelling for systems biology. Chapman & Hall, London.