Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks
暂无分享,去创建一个
Peter Dittrich | David Parker | Jonathan E. Rowe | Chunyan Mu | P. Dittrich | J. Rowe | C. Mu | David Parker
[1] Stephan Merz,et al. Model Checking , 2000 .
[2] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[3] R. Heinrich,et al. The Regulation of Cellular Systems , 1996, Springer US.
[4] Robert E. Tarjan,et al. Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..
[5] Luca Bortolussi,et al. Model Checking Markov Population Models by Central Limit Approximation , 2013, QEST.
[6] M. Nowak. Evolutionary Dynamics: Exploring the Equations of Life , 2006 .
[7] Tomas Veloz,et al. Reaction Networks as a Language for Systemic Modeling: Fundamentals and Examples , 2017, Syst..
[8] Yangyang Zhao,et al. BioModels: ten-year anniversary , 2014, Nucleic Acids Res..
[9] Wolfgang Banzhaf,et al. Artificial ChemistriesA Review , 2001, Artificial Life.
[10] Tomas Veloz,et al. Effects of small particle numbers on long-term behaviour in discrete biochemical systems , 2014, Bioinform..
[11] Jacky L. Snoep,et al. BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..
[12] Peter Dittrich,et al. Chemical Organisation Theory , 2007, Bulletin of mathematical biology.
[13] J. MacQueen. Some methods for classification and analysis of multivariate observations , 1967 .
[14] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[15] Peter Dittrich,et al. Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory , 2016, CMSB.
[16] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[17] Luca Cardelli,et al. Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation , 2015, Biosyst..
[18] David J. C. MacKay,et al. Information Theory, Inference, and Learning Algorithms , 2004, IEEE Transactions on Information Theory.
[19] Robert K. Brayton,et al. Verifying Continuous Time Markov Chains , 1996, CAV.
[20] M. Feinberg,et al. Dynamics of open chemical systems and the algebraic structure of the underlying reaction network , 1974 .
[21] Christel Baier,et al. Model-Checking Algorithms for , 2003 .
[22] Éva Tardos,et al. Algorithm design , 2005 .
[23] W. Fontana,et al. “The arrival of the fittest”: Toward a theory of biological organization , 1994 .
[24] L. Goddard. Information Theory , 1962, Nature.