Analysing Biochemical Oscillation through Probabilistic Model Checking-Reference-Cited by-同舟云学术

Analysing Biochemical Oscillation through Probabilistic Model Checking

Published:2009-02 Issue:1 Volume:229 Page:3-19
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Ballarini Paolo,Mardare Radu,Mura Ivan

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference20 articles.

1. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Trans. on Software Eng.,2003

2. P. Ballarini, R. Mardare, and I. Mura. Query-based verification of biochemical oscillations through probabilistic model checking, TR 05/2008, available at http://www.cosbi.eu. Technical report, CoSBi, 2008

3. L. Cardelli. Artificial biochemistry. Technical report, The Microsoft Research – CoSBi, 2006

4. M. Cavaliere and S. Sedwards. Modelling cellular processes using membrane systems with peripheral and integral proteins. In Springer, editor, Proceedings of the fourth International Conference on Computational Methods in Systems Biology (CMSB2006), LNBI-LNCS 4210, 2006

5. Bio-PEPA: an extension of the process algebra PEPA for biochemical networks;Ciocchetta;Electronic Notes in Theoretical Computer Science,2008

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

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

2. A Formal Approach for Tuning Stochastic Oscillators;Computational Methods in Systems Biology;2023

3. Runtime Fault Detection in Programmed Molecular Systems;ACM Transactions on Software Engineering and Methodology;2019-04-30

4. Analyzing resilience properties in oscillatory biological systems using parametric model checking;Biosystems;2016-11

5. A straightforward method to compute average stochastic oscillations from data samples;BMC Bioinformatics;2015-10-19