Analysis of Signalling Pathways Using Continuous Time Markov Chains-Reference-Cited by-同舟云学术

Analysis of Signalling Pathways Using Continuous Time Markov Chains

Published:2006 Issue: Volume: Page:44-67
ISSN:0302-9743
Container-title:Transactions on Computational Systems Biology VI
language:
Short-container-title:

Author:

Calder Muffy,Vyshemirsky Vladislav,Gilbert David,Orton Richard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11880646_3.pdf

Reference20 articles.

1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time markov chains. ACM Transactions on Computational Logic 1, 162–170 (2000)

2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model checking continuous-time Markov chains by transient analysis. In: CAV (2000)

3. Lecture Notes in Computer Science;N. Chabrier,2003

4. Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Proceedings of Bio-Concur 2004 (2004)

5. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schchter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science 325(1), 25–44 (2004)

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

1. The probabilistic model checker Storm;International Journal on Software Tools for Technology Transfer;2021-07-06

2. A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways;Hybrid Systems Biology;2016

3. Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction;Computer Performance Engineering;2015

4. An analysis for proving probabilistic termination of biological systems;Theoretical Computer Science;2013-02

5. Model Checking of Biological Systems;Lecture Notes in Computer Science;2013