Type Inference in Systems Biology
暂无分享,去创建一个
[1] Vincent Danos,et al. Modeling and querying biomolecular interaction networks , 2004, Theor. Comput. Sci..
[2] Jehoshua Bruck,et al. Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. , 2000, Proceedings of the National Academy of Sciences of the United States of America.
[3] R Heinrich,et al. Complex calcium oscillations and the role of mitochondria and cytosolic proteins. , 2000, Bio Systems.
[4] Luca Cardelli,et al. Typeful Programming , 1989, Formal Description of Programming Concepts.
[5] François Fages,et al. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM , 2002 .
[6] R. Thomas,et al. Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior. , 2001, Chaos.
[7] François Fages,et al. Machine Learning Biochemical Networks from Temporal Logic Properties , 2006, Trans. Comp. Sys. Biology.
[8] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[9] Claire J. Tomlin,et al. Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.
[10] C. Soulé. Graphic Requirements for Multistationarity , 2004, Complexus.
[11] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[12] B. Kholodenko,et al. Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades , 2004, The Journal of cell biology.
[13] Stephen Gilmore,et al. Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.
[14] K. Kohn. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.
[15] Erich J. Neuhold,et al. Formal description of programming concepts , 1991 .
[16] Andrea Ciliberto,et al. Steady States and Oscillations in the p53/Mdm2 Network , 2005, Cell cycle.
[17] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[18] M. Ashburner,et al. Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.
[19] R Thomas,et al. A complex control circuit. Regulation of immunity in temperate bacteriophages. , 1976, European journal of biochemistry.
[20] Patrick Cousot,et al. Types as abstract interpretations , 1997, POPL '97.
[21] Hiroaki Kitano,et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..
[22] A Goldbeter,et al. Complex intracellular calcium oscillations. A theoretical exploration of possible mechanisms. , 1997, Biophysical chemistry.