BlenX-based compositional modeling of complex reaction mechanisms

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 19, Issue , 2010, Pages 85-102

  Zámborszky, Judit ^a   Priami, Corrado ^a  

^a CoSBi ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CALCULATIONS; HIGH LEVEL LANGUAGES; RANDOM PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

BIOLOGICAL NETWORKS; COMBINATORIAL EXPLOSION; COMPLEX REACTION MECHANISM; COMPOSITIONAL MODELING; HIGH LEVEL DESCRIPTION; STOCHASTIC FRAMEWORK; STOCHASTIC PROCESS ALGEBRAS; THEORETICAL MODELING;

COMPLEX NETWORKS;

EID: 84986588307     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.19.6     Document Type: Conference Paper

References (60)

1. H. Kitano (2002a) Computational systems biology. Nature 420: 206-210.
2. H. Kitano (2002b): Systems biology: a brief overview. Science 295: 1662-1664.
3. Z. Darzynkiewicz, X. Huang, M. Okafuji and M.A. King (2004) Cytometric methods to detect apoptosis. Methods Cell Biol 75: 307-341.
4. S. Di Talia, J.M. Skotheim, J.M. Bean, E.D. Siggia and F.R. Cross (2007) The effects of molecular noise and size control on variability in the budding yeast cell cycle. Nature 448: 947-951.
5. A. Csikasz-Nagy (2009) Computational systems biology of the cell cycle. Briefings in Bioinformatics 10(4): 424-434.
6. P.J. Halling (1989) Do the laws of chemistry apply to living cells? Trends Biochem Sci. 14(8): 317-8.
7. H.H. McAdams and A. Arkin (1999) It's a noisy business! Genetic regulation at the nanomolar scale. Trends Genet. 15(2): 65-9.
8. M.S.H. Ko (1992) Induction mechanism of a single gene molecule: stochastic or deterministic? Bioessays 14(5): 341-6.
9. M.D. Levin, C.J. Morton-Firth, W.N. Abouhamad, R.B. Beurret and D. Bray (1998) Origins of individual swimming behavior in bacteria. Biophys. 74(1): 175-81.
10. H.H. McAdams and A. Arkin (1997) Stochastic mechanisms in gene expression. Proc Natl Acad Sci U S A. 94(3): 814-9.
11. A.M. Kierzek, J. Zaim and P. Zielenkiewicz (2001) The effect of transcription and translation initiation frequencies on the stochastic fluctuations in prokaryotic gene expression. J Biol Chem. 276(11): 8165-72.
12. E.M. Ozbudak, M. Thattai, I. Kurtser, A.D. Grossman and A. van Oudenaarden (2002) Regulation of noise in the expression of a single gene. Nat Genet. 31(1): 69-73.
13. M.B. Elowitz, A.J. Levine, E.D. Siggia and P.S. Swain (2002) Stochastic gene expression in a single cell. Science 297(5584): 1183-6.
14. C.V. Rao, D.M. Wolf and A.P. Arkin (2002) Control, exploitation and tolerance of intracellular noise. Nature 420(6912): 231-7.
15. C. Priami (2009) Algorithmic systems biology. Communications of the ACM 52: 80-88.
16. M.L. Guerriero, D. Prandi, C. Priami and P. Quaglia (2009) Process Calculi Abstractions for Biology. In Algorithmic Bioprocesses (A. Condon, D. Harel, J.N. Kok, A. Salomaa, and E. Winfree, Eds.), Springer 463-486.
17. C. Priami (1995) Stochastic pi-calculus. The Computer Journal 38(7): 578-589.
18. C. Priami, A. Regev, E. Shapiro and W. Silverman (2001) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80: 25-31.
19. C. Priami, P. Quaglia (2005) Operational Patterns in Beta-Binders. Lecture Notes in Computer Science, Springer 80: 25-31.
20. L. Dematte, C. Priami and A. Romanel (2008) The BlenX Language: A Tutorial. Lecture Notes in Computer Science, Springer-Verlag 5016: 313-365.
21. A. Regev, E. Panina, W. Silverman, L. Cardelli and E. Shapiro (2004) BioAmbients: an abstraction for biological compartments. Theoretical Computer Science 325(1): 141-167.
22. L. Cardelli (2004) Brane Calculi. Proc. of CMSB, (LNCS, 2005) 3082: 257-278.
23. V. Danos and J. Krivine (2004) Reversible Communicating Systems. Proc. of CONCUR 2004, (LNCS, 2004) 3170: 292-307.
24. V. Danos and C. Laneve (2004) Formal molecular biology. Theoretical Computer Science 325(1): 69-110.
25. F. Ciocchetta and J. Hillstone (2008) Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. Proc. of FBTC 2007, (ENTCS, 2008) 194(3): 103-117.
26. D. Gillespie (1977) Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25): 2340-2361.
27. L. Michaelis and M. L. Menten (1913) Kinetics of invertase action. Biochem. Z. 49, 333.
28. C.G. Hill (1977) An Introduction to Chemical Engineering Kinetics and Reactor Design. Wiley, New York.
29. J.N. Weiss (1997) The Hill equation revisited: uses and misuses. The FASEB Journal 11: 835-841.
30. B. Novak and J.J. Tyson (2008) Design principles of biochemical oscillators. Nat Rev Mol Cell Biol. 9: 981-991.
31. B.N. Kholodenko (2006) Cell signalling dynamics in time and space. Nat Rev Mol Cell Biol. 7(3): 165-176.
32. R. Blossey, L. Cardelli and A. Phillips (2006) A Compositional Approach to the Stochastic Dynamics of Gene Networks. Lecture Notes in Computer Science, Springer-Verlag 3939: 99-122.
33. A. Phillips and L. Cardelli (2009) A programming language for composable DNA circuits. J. R. Soc. Interface 6: 419-S436.
34. L. Bortolussi and Alberto Policriti (2007) Stochastic Concurrent Constraint Programming and Differential Equations. Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (ENTCS2007) 190(3): 27-42.
35. L. Bortolussi and A. Policriti (2008) Hybrid Systems and Biology - Continuous and Discrete Modeling for Systems Biology. Lecture Notes in Computer Science, Springer-Verlag 5016: 424-448.
36. A. Palmisano, I. Mura and C. Priami (2008) From ODEs to language-based, executable models of biological systems. Pacific Symposium on Biocomputing 14: 3.
37. C.V. Rao and A.P. Arkin (2003) Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the Gillespie algorithm. J. Chem. Phys. 118(11): 4999-5010.
38. I. Mura (2008) Exactness and Approximation of the Stochastic Simulation Algorithm. Tech. Rep. TR-12-2008, CoSBi.
39. Bundschuh02 Modeling networks of coupled enzymatic reactions using the total quasi-steady state approximation. PLoS Comput Biol. 3(3): e45.
40. R. Bundschuh, F. Hayot and C. Jayaprakash (2003) Fluctuations and Slow Variables in Genetic Networks. Biophysical Journal 84(3): 1606-1615.
41. CoSBi Lab. http://www.cosbi.eu/index.php/research/prototypes/overview.
42. P. Lecca, A. Palmisano, A. Ihekwaba and C. Priami (2009) Calibration of dynamic models of biological systems with KInfer. Eur Biophys J DOI: 10.1007/s00249-009-0520-3.
43. J. Paulsson, O.G. Berg, M. Ehrenberg (2000) Stochastic focusing: fluctuation-enhanced sensitivity of intra-cellular regulation. Proc Natl Acad Sci U S A. 97(13): 7148-53.
44. J.J. Tyson, K.C. Chen and B. Novak (2003) Sniffers, buzzers, toggles and blinkers: dynamics of regulatory and signaling pathways in the cell. Curr Opin Cell Biol. 15(2): 221-31.
45. S. Mangan and U. Alon (2003) Structure and function of the feed-forward loop network motif. Proc Natl Acad Sci U S A. 100(21): 11980-5.
46. L. Bortolussi and A. Policriti (2008) odeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints 13(1): 66-90.
47. T. Roenneberg and M. Merrow (2005) Circadian clocks - the fall and rise of physiology. Nat Rev Mol Cell Biol. 6(12): 965-71.
48. A. Ciliberto, F. Capuani and J.J. Tyson (2007) Modeling networks of coupled enzymatic reactions using the total quasi-steady state approximation. PLoS Comput Biol. 3(3): e45.
49. M. Sabouri-Ghomi, A. Ciliberto, S. Kar, B. Novak, J.J. Tyson (2007) Antagonism and bistability in protein interaction networks. J Theor Biol. 250(1): 209-18.
50. O.G. Berg (1978) A model for the statistical fluctuations of protein numbers in a microbial population. J Theor Biol. 71(4): 587-603.
51. D.E. Koshland Jr, G. Nemethy and D. Filmer (1966) Comparison of experimental binding data and theoretical models in proteins containing subunits. Biochemistry 5(1): 365-85.
52. J. Monod, J. Wyman and J.P. Changeux (1965) On the nature of allosteric transitions: a plausible model. J Mol Biol. 12: 88-118.
53. J.M. Pedraza and J. Paulsson (2008) Effects of molecular memory and bursting on fluctuations in gene expression. Science 319(5861): 339-43.
54. F. Toledo, G.M. Wahl (2006) Regulating the p53 pathway: in vitro hypotheses, in vivo veritas. Nat Rev Cancer 6(12): 909-23.
55. A. Goldbeter and D.E. Koshland Jr (1981) An amplified sensitivity arising from covalent modification in biological systems. Proc Natl Acad Sci U S A. 78(11): 6840-4.
56. L. Cai, C.K. Dalal and M.B. Elowitz (2008) Frequency-modulated nuclear localization bursts coordinate gene regulation. Nature 455(7212): 485-90.
57. J. Zamborszky, C.I. Hong and A. Csikasz-Nagy (2007) Computational analysis of mammalian cell division gated by a circadian clock: quantized cell cycles and cell size control. J Biol Rhythms 22(6): 542-53.
58. U. Knippschilda, A. Gochtb, S. Wolffa, N. Hubera, J. Loehlerc and M. Stoetera (2005) The casein kinase 1 family: participation in multiple cellular processes in eukaryotes. Cellular Signalling 17(6): 675-689.
59. R. Blossey, L. Cardelli and A. Phillips (2007) Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation. HFSP Journal 2(1): 17-28.
60. I. Mura, D. Prandi, C. Priami and A. Romanel (2009) Exploiting non-Markovian Bio-Processes. Electronic Notes in Theoretical Computer Science (QAPL 2009) 253(3): 83-98.