Modeling the cell cycle: From deterministic models to hybrid systems
暂无分享,去创建一个
[1] Alberto Policriti,et al. Hybrid systems and biology: continuous and discrete modeling for systems biology , 2008, FM'08 2008.
[2] Claire J. Tomlin,et al. Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.
[3] Attila Csikász-Nagy,et al. Analysis of a generic model of eukaryotic cell-cycle regulation. , 2006, Biophysical journal.
[4] S. V. Aksenov,et al. A systems biology dynamical model of mammalian G1 cell cycle progression , 2007, Molecular systems biology.
[5] Karl Henrik Johansson,et al. A hybrid systems framework for cellular processes. , 2005, Bio Systems.
[6] H. Kitano. Systems Biology: A Brief Overview , 2002, Science.
[7] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[8] Ezio Bartocci,et al. Model Checking Biological Oscillators , 2009, FBTC@ICALP.
[9] Edda Klipp,et al. Towards a systems biology approach to mammalian cell cycle: modeling the entrance into S phase of quiescent fibroblasts after serum stimulation , 2009, BMC Bioinformatics.
[10] Calin Belta,et al. Robustness analysis and tuning of synthetic gene networks , 2007, Bioinform..
[11] Marta Simeoni,et al. Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing , 2003, CMSB.
[12] John J. Tyson,et al. Parameter Estimation for a Mathematical Model of the Cell Cycle in Frog Eggs , 2005, J. Comput. Biol..
[13] T. Henzinger,et al. Executable cell biology , 2007, Nature Biotechnology.
[14] Pietro Liò,et al. Trends in modeling Biomedical Complex Systems , 2009, BMC Bioinformatics.
[15] I. V. Ramakrishnan,et al. Learning Cycle-Linear Hybrid Automata for Excitable Cells , 2007, HSCC.
[16] P. Nurse. A Long Twentieth Century of the Cell Cycle and Beyond , 2000, Cell.
[17] Mike Tyers,et al. How Cells Coordinate Growth and Division , 2004, Current Biology.
[18] M. R. Osborne. Some Special Nonlinear Least Squares Problems , 1975 .
[19] Ivan Merelli,et al. A data integration approach for cell cycle analysis oriented to model simulation in systems biology , 2007, BMC Systems Biology.
[20] John J Tyson,et al. A model for restriction point control of the mammalian cell cycle. , 2004, Journal of theoretical biology.
[21] Calin Belta,et al. Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.
[22] Ezio Bartocci,et al. CellExcite: an efficient simulation environment for excitable cells , 2008, BMC Bioinformatics.
[23] Alexander E. Kel,et al. Bifurcation analysis of the regulatory modules of the mammalian G1/S transition , 2004, Bioinform..
[24] Yong Chen. Model order reduction for nonlinear systems , 1999 .
[25] Joël Pothier,et al. Protein evolution driven by symmetric structural repeats , 2008, BMC Bioinformatics.
[26] Gordon K. Smyth,et al. A Modified Prony Algorithm for Exponential Function Fitting , 1995, SIAM J. Sci. Comput..
[27] Ivan Merelli,et al. Parameter Estimation for Cell Cycle Ordinary Differential Equation (ODE) Models using a Grid Approach , 2007, HealthGrid.
[28] Spring Berman,et al. MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems , 2007, HSCC.
[29] Irek Ulidowski,et al. Preface: Hybrid automata and oscillatory behaviour in biological systems , 2010, Theor. Comput. Sci..
[30] Michael Luck,et al. Agents in bioinformatics, computational and systems biology , 2006, Briefings Bioinform..
[31] A. Pardee. G1 events and regulation of cell proliferation. , 1989, Science.
[32] Robert J. Mulholland,et al. State-variable canonical forms for Prony's method , 1986 .
[33] Edda Klipp,et al. Cell Size at S Phase Initiation: An Emergent Property of the G1/S Network , 2007, PLoS Comput. Biol..
[34] Zhilin Qu,et al. Regulation of the mammalian cell cycle: a model of the G1-to-S transition. , 2003, American journal of physiology. Cell physiology.
[35] A. Casagrande,et al. Discreteness, hybrid automata, and biology , 2008, 2008 9th International Workshop on Discrete Event Systems.
[36] Scott A. Smolka,et al. Efficient Modeling of Excitable Cells Using Hybrid Automata , 2005 .
[37] Carla Piazza,et al. Hybrid Automata in Systems Biology: How Far Can We Go? , 2009, FBTC@ICALP.
[38] Tae J. Lee,et al. A bistable Rb–E2F switch underlies the restriction point , 2008, Nature Cell Biology.
[39] J Julian Blow,et al. The chromosome cycle: coordinating replication and segregation , 2005, EMBO reports.
[40] Ivan Merelli,et al. The cell cycle DB: a systems biology approach to cell cycle analysis , 2007, Nucleic Acids Res..
[41] Calin Belta,et al. Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.