Hybrid approximation of stochastic process algebras for systems biology
暂无分享,去创建一个
[1] Corrado Priami,et al. Modelling the dynamics of biosystems , 2004, Briefings Bioinform..
[2] Luca Cardelli,et al. From Processes to ODEs by Chemistry , 2008, IFIP TCS.
[3] Hiroaki Kitano,et al. Foundations of systems biology , 2001 .
[4] Calin Belta,et al. Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.
[5] Alberto Policriti,et al. Model building and model checking for biochemical processes , 2007, Cell Biochemistry and Biophysics.
[6] Alberto Policriti,et al. Modeling Biological Systems in Stochastic Concurrent Constraint Programming , 2008, Constraints.
[7] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[8] Luca Cardelli,et al. Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation , 2007, HFSP journal.
[9] D. Vere-Jones. Markov Chains , 1972, Nature.
[10] Luca Bortolussi,et al. Stochastic Concurrent Constraint Programming , 2006, QAPL.
[11] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[12] M. Elowitz,et al. A synthetic oscillatory network of transcriptional regulators , 2000, Nature.
[13] Alberto Policriti,et al. Stochastic Concurrent Constraint Programming and Differential Equations , 2007, QAPL.
[14] E. Shapiro,et al. Cellular abstractions: Cells as computation , 2002, Nature.
[15] Vijay A. Saraswat,et al. Concurrent constraint programming , 1989, POPL '90.
[16] Sheldon M. Ross,et al. Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.
[17] Luca Cardelli,et al. A Compositional Approach to the Stochastic Dynamics of Gene Networks , 2006, Trans. Comp. Sys. Biology.
[18] Jane Hillston,et al. Fluid flow approximation of PEPA models , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[19] Darren J. Wilkinson. Stochastic Modelling for Systems Biology , 2006 .
[20] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.