Integrating diverse reaction types into stochastic models - A signaling pathway case study in the imperative π-calculus

Proceedings - Winter Simulation Conference

Volumn , Issue , 2009, Pages 932-943

  Mazemondet, Orianne ^a   John, Mathias ^a   Maus, Carsten ^a   Uhrmacher, Adelinde M ^a   Rolfs, Arndt ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMICAL SYSTEMS; CELL CYCLE; DETERMINISTIC MODELS; ENZYMATIC REACTION; KINETIC MODELS; MICHAELIS-MENTEN KINETIC; SIGNALING PATHWAYS; WNT SIGNALING PATHWAYS;

CALCULATIONS; SIGNALING; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 77951554571     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2009.5429723     Document Type: Conference Paper

References (28)

1. Alam, S., A. Sen, L. A. Behie, and M. Kallos. 2004. Cell Cycle Kinetics of Expanding Populations of Neural Stem and Progenitor Cells In Vitro. Biotechnology and Bioengineering 88:332-347. (Pubitemid 39524252)
2. Breitling, R., D. Gilbert, M. Heiner, and R. Orton. 2008. A Structured Approach for the Engineering of Biochemical Network Models, Illustrated for Signalling Pathways. Briefings in Bioinformatics 9 (5): 404-421.
3. Cho, K., S. Baek, and M. Sung. 2006. Wnt Pathway Mutations Selected by Optimal Beta-Catenin Signaling for Tumorigenesis. FEBS Letters 580:3665-3670. (Pubitemid 44183807)
4. Ciocchetta, F., and J. Hillston. 2008. Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. ENTCS 194 (3): 103-117. (Pubitemid 351173025)
5. Ciocchetta, F., J. Hillston, M. Kos, and D. Tollervey. 2008. Modelling Co-Transcriptional Cleavage in the Synthesis of Yeast Pre-rRNA. TCS 408 (1): 41-54.
6. Danos, V., J. Feret, W. Fontana, R. Harmer, and J. Krivine. 2007. Rule-Based Modelling of Cellular Signalling. In International Conference on Concurrency Theory (CONCUR), ed. L. Caires and V. Vasconcelos, Volume 4703 of LNCS, 17-41: Springer.
7. Elf, J., and M. Ehrenberg. 2004. Spontaneous Separation of Bi-Stable Biochemical Systems into Spatial Domains of Opposite Phases. Systems Biology, IEE Proceedings 1 (2): 230-236.
8. Gillespie, D. T. 1976, December. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. Journal of Computational Physics 22 (4): 403-434.
9. Heiner, M., R. Richter, M. Schwarick, and C. Rohr. 2008. Snoopy - A Tool to Design and Execute Graph-Based Formalisms. Petri Net Newsletter 74:8-22.
10. John, M., C. Lhoussaine, and J. Niehren. 2009. Dynamic Compartments in the Imperative Pi Calculus. In Computational Methods in Systems Biology, 7th International Conference, ed. P. Degano and R. Gorrieri: Springer. to appear.
11. John, M., C. Lhoussaine, J. Niehren, and A. Uhrmacher. 2008. The Attributed Pi Calculus. In Computational Methods in Systems Biology, 6th International Conference, Volume 5307, 83-102: Springer.
12. Krieghoff, E. I. 2006. Analyzing the Regulation of the Subcellular Localization of beta-catenin by Fluorescence Recovery After Photobleaching. Ph. D. thesis, Friedrich-Alexander-Universitt Erlangen-Nrnberg.
13. Kuttler, C., C. Lhoussaine, and J. Niehren. 2007. A Stochastic Pi Calculus for Concurrent Objects. In Second International Conference on Algebraic Biology, ed. H. Anai, K. Horimoto, and T. Kutsia, Volume 4545 of LNCS, 232-246: Springer.
14. Kuttler, C., and J. Niehren. 2006. Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. TCSB 4230/2006:24-55. (Pubitemid 351150622)
15. Lange, C., E. Mix, K. Rateitschak, and A. Rolfs. 2006. Wnt Signal Pathways and Neural Stem Cell Differentiation. Neurodegenerative Diseases 3 (1-2): 76-86. (Pubitemid 43760372)
16. Lecca, P., C. Priami, P. Quaglia, B. Rossi, C. Laudanna, and G. Constantin. 2004. A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. SIMULATION 80 (6): 273-288.
17. Lee, E., A. Salic, R. Krüger, R. Heinrich, and M. Kirschner. 2003. The roles of APC and Axin derived from experimental and theoretical analysis of the Wnt pathway. PLoS Biol 1 (1): 116-132.
18. Milner, R. 1999. Communicating and mobile systems: the π-calculus. Cambridge University Press.
19. Pant́e, N., and M. Kann. 2002. Nuclear Pore Complex Is Able to Transport Macromolecules with Diameters of 39 nm. Molecular Biology of the Cell 13:425-434. (Pubitemid 34165072)
20. Pollock, K., P. Stroemer, S. Patel, L. Stevanato, A. Hope, E. Miljan, Z. Dong, H. Hodges, J. Price, and J. Sinden. 2006. A Conditionally Immortal Clonal Stem Cell Line from Human Cortical Neuroepithelium for the Treatment of Ischemic Stroke. Experimental Neurology 199(1):989-995.
21. Priami, C. 1995. Stochastic π-Calculus. Computer Journal 6:578-589.
22. Priami, C., 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. (Pubitemid 32833107)
23. Regev, A., and E. Shapiro. 2004. The Pi Calculus as an Abstraction for Biomolecular Systems. In Modelling in Molecular Biology, ed. G. Ciobanu and G. Rozenberg, 219-266. Springer.
24. Schaeffer, O. 2008. On the Use of Process Alegbra Techniques in Computational Modelling of Cancer Initiation ans Development. Ph. D. thesis, School of Computer Science University of Birmingham.
25. Smith, J. A., and L. Martin. 1973. Do Cells Cycle ? Proceedings of the National Academy of Sciences of the United States of America 70(4):1263-1267
26. Tymchyshyn, O., and M. Kwiatkowska. 2008. Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. In Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings, 63-76. Springer.
27. Willert, K., and K. Jones. 2006. Wnt signaling: is the party in the nucleus? Genes Development 20:1394-1404.
28. Wolkenhauer, O., M. Ullah, W. Kolch, and K. H. Cho. 2004. Modelling and Simulation of IntraCellular Dynamics: Choosing an Appropriate Framework. IEEE T Nanobiosci 3 (3): 200-207.