Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA-Reference-Cited by-同舟云学术

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

Published:2006 Issue: Volume: Page:1-23
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Calder Muffy,Gilmore Stephen,Hillston Jane

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11905455_1.pdf

Reference20 articles.

1. Lecture Notes in Computer Science;A. Aziz,1996

2. Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Proc. of BioConcur 2004, Danmarks Tekniske Universitet, pp. 26–41 (2004) (to appear in ENTCS)

3. Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Computational Methods in Systems Biology 2005. LFCS, University of Edinburgh, pp. 204–215 (2005)

4. Calder, M., Vyshemirsky, V., Orton, R., Gilbert, D.: Analysis of signalling pathways using the PRISM model checker. In: Computational Methods in Systems Biology 2005. LFCS, University of Edinburgh, pp. 179–190 (2005)

5. Lecture Notes in Computer Science;K.-H. Cho,2003

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifiable biology;Journal of The Royal Society Interface;2023-05

2. Taming Living Logic Using Formal Methods;Lecture Notes in Computer Science;2017

3. Fluid Analysis for a PEPA Model;Proceedings of the 2015 Chinese Intelligent Systems Conference;2015-12-12

4. A High-Level Language for Rule-Based Modelling;PLOS ONE;2015-06-04

5. An Integrated Qualitative and Quantitative Biochemical Model Learning Framework Using Evolutionary Strategy and Simulated Annealing;Cognitive Computation;2015-05-03