Stronger computational modelling of signalling pathways using both continuous and discrete-state methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4210 LNBI, Issue , 2006, Pages 63-77

  Calder, Muffy ^a   Duguid, Adam ^b   Gilmore, Stephen ^b   Hillston, Jane ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; APPROXIMATION THEORY; DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; RANDOM PROCESSES;

BIOCHEMICAL SIGNALLING PATHWAY MODELS; COMPUTATIONAL MODELLING; PROCESS ALGEBRA; STOCHASTIC SIMULATION;

BIOCOMMUNICATIONS;

EID: 33845200552     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11885191_5     Document Type: Conference Paper

References (26)

1. B. Schoeberl, C. Eichler-Jonsson, E.D. Gilles, and G. Muller. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology, 20:370-375, 2002.
2. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
3. Muffy Calder, Stephen Gilmore, and Jane Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In Anna Ingolfsdottir and Hanne Riis Nielson, editors, Proceedings of the Bio-Concur Workshop on Concurrent Models in Molecular Biology, London, England, August 2004.
4. Muffy Calder, Stephen Gilmore, and Jane Hillston. Automatically deriving ODEs from process algebra models of signalling pathways. In Gordon Plotkin, editor, Proceedings of Computational Methods in Systems Biology (CMSB 2005), pages 204-215, Edinburgh, Scotland, April 2005.
5. K.-H. Cho, S.-Y. Shin, H.-W. Kim, O. Wolkenhauer, B. McFerran, and W. Kolch. Mathematical modeling of the influence of RKIP on the ERK signaling pathway. In C. Priami, editor, Computational Methods in Systems Biology (CSMB'03), volume 2602 of LNCS, pages 127-141. Springer-Verlag, 2003.
6. Muffy Calder, Stephen Gilmore, and Jane Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology, 2006. Extended version of [3]. To appear.
7. O. Wolkenhauer, M. Ullah, W. Kolch, and K.-H. Cho. Modelling and simulation of intracellular dynamics: Choosing an appropriate framework. IEEE Transactions on Nanobioscience, 3(3):200-207, September 2004.
8. D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry, 81(25):2340-2361, 1977.
9. T.E. Turner, S. Schnell, and K. Burrage. Stochastic approaches for modelling in vivo reactions. Computational Biology and Chemistry, 28:165-178, 2004.
10. D.T. Gillespie and L.R. Petzold. Improved leap-size selection for accelerated stochastic simulation. J. Comp. Phys., 119:8229-8234, 2003.
11. M. Rathinam, L.R. Petzold, Y. Cao, and D.T. Gillespie. Stiffness in stochastic chemically reacting systems: The implicit tau-leaping method. Journal of Chemical Physics, 119(24):12784-12794, December 2003.
12. Y. Cao, D.T. Gillespie, and L. Petzold. Accelerated stochastic simulation of the stiff enzyme-substrate reaction. Journal of Chemical Physics, 123:144917-1-144917-12, 2005.
13. D. Gillespie and L. Petzold. System Modelling in Cellular Biology, chapter Numerical Simulation for Biochemical Kinetics. MIT Press, 2006. Ed. Z. Szallasi, J. Stelling and V. Periwal.
14. Abhijit Chatterjee, Kapil Mayawala, Jeremy S. Edwards, and Dionisios G. Vlachos. Time accelerated Monte Carlo simulations of biological networks using the binomial τ-leap method. Bioinformatics, 21(9):2136-2137, 2005.
15. M. Calder, V. Vyshemirsky, D. Gilbert, and R. Orton. Analysis of signalling pathways using the PRISM model checker. In Gordon Plotkin, editor, Proceedings of Computational Methods in Systems Biology (CMSB 2005), Edinburgh, Scotland, April 2005.
16. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In A.J. Field and P.G. Harrison, editors, Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, number 2324 in Lecture Notes in Computer Science, pages 200-204, London, UK, April 2002. Springer-Verlag.
17. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Model checking continuous time Markov chains. ACM Transactions on Computational Logic, 1:162-170, 2000.
18. Luca Cardelli. Mapk cascade. Microsoft Research Cambridge UK technical note. Available on-line at http://research.microsoft.com/Users/luca/Notes/ Mapk_Cascade.pdf, July 2005.
19. Chi-Ying F. Huang and James E. Ferrell Jr. Ultrasensitivity in the mitogenactivated protein kinase cascade. Biochemistry, 93(19):10078-10083, September 1996.
20. J. Hillston. Process algebras for quantitative analysis. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pages 239-248, Chicago, June 2005. IEEE Computer Society Press.
21. J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, pages 33-43, Torino, Italy, September 2005. IEEE Computer Society Press.
22. C. Priami, A. Regev, W. Silverman, and E. Shapiro. Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
23. Lawrence F. Shampine and Mark W. Reichelt. The Matlab ODE suite. SIAM J. Sci. Comput., 18(1):l-22, 1997.
24. Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, and Carlo Montangero. End-to-end integrated security and performance analysis on the DEGAS Choreographer platform. In I.J. Hayes J.S. Fitzgerald and A. Tarlecki, editors, Proceedings of the International Symposium of Formal Methods Europe (FM 2005), number 3582 in LNCS, pages 286-301. Springer-Verlag, June 2005.
25. S. Ramsey, D. Orrell, and H. Bolouri. Dizzy: stochastic simulation of large-scale genetic regulatory networks. J. Bioinf. Comp. Biol., 3(2):415-436, 2005.
26. M. Hucka, A. Finney, H. M. Sauro, H. Bolouri, J. C. Doyle, and H. Kitano et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics, 19(4), 2003.