University of Birmingham Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks
暂无分享,去创建一个
[1] D. Peled,et al. Model Checking , 2018, Handbook of Finite State Based Models and Applications.
[2] Tomas Veloz,et al. Reaction Networks as a Language for Systemic Modeling: Fundamentals and Examples , 2017, Syst..
[3] Peter Dittrich,et al. Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory , 2016, CMSB.
[4] Luca Cardelli,et al. Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation , 2015, Biosyst..
[5] Yangyang Zhao,et al. BioModels: ten-year anniversary , 2014, Nucleic Acids Res..
[6] Tomas Veloz,et al. Effects of small particle numbers on long-term behaviour in discrete biochemical systems , 2014, Bioinform..
[7] Luca Bortolussi,et al. Model Checking Markov Population Models by Central Limit Approximation , 2013, QEST.
[8] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[9] Thomas A. Henzinger,et al. Solving the chemical master equation using sliding windows , 2010, BMC Systems Biology.
[10] M. Nowak. Evolutionary Dynamics: Exploring the Equations of Life , 2006 .
[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] Pietro Speroni di Fenizio,et al. Chemical Organisation Theory , 2005, Bulletin of mathematical biology.
[13] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[14] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[15] R. Heinrich,et al. The Regulation of Cellular Systems , 1996, Springer US.
[16] Robert K. Brayton,et al. Verifying Continuous Time Markov Chains , 1996, CAV.
[17] R. Tarjan. Algorithm design , 1987, CACM.
[18] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[19] M. Feinberg,et al. Dynamics of open chemical systems and the algebraic structure of the underlying reaction network , 1974 .
[20] Robert E. Tarjan,et al. Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..
[21] Kevin P. Murphy. Information theory , 1998 .
[22] David J. C. MacKay,et al. Information Theory, Inference, and Learning Algorithms , 2004, IEEE Transactions on Information Theory.
[23] J. Ziegler,et al. Artificial Chemistries-A Review , 2001 .
[24] Leo W. Buss,et al. “The arrival of the fittest”: Toward a theory of biological organization , 1994 .
[25] J. MacQueen. Some methods for classification and analysis of multivariate observations , 1967 .
[26] J. Mcqueen. Some methods for classi cation and analysis of multivariate observations , 1967 .