Hybrid Modeling and Simulation of Biomolecular Networks
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[2] J. Hopfield,et al. From molecular to modular cell biology , 1999, Nature.
[3] R. Brent,et al. Genomic Biology , 2000, Cell.
[4] S. Kjelleberg,et al. Luminescence control in the marine bacterium Vibrio fischeri: An analysis of the dynamics of lux regulation. , 2000, Journal of molecular biology.
[5] Shouguang Jin,et al. migA, a quorum-responsive gene of Pseudomonas aeruginosa, is highly expressed in the cystic fibrosis lung environment and modifies low-molecular-mass lipopolysaccharide. , 2000, Microbiology.
[6] Christopher C. Moser,et al. Natural engineering principles of electron tunnelling in biological oxidation–reduction , 1999, Nature.
[7] Vijay Kumar,et al. Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.
[8] Akash Deshpande,et al. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .
[9] M. Elowitz,et al. A synthetic oscillatory network of transcriptional regulators , 2000, Nature.
[10] A. Arkin,et al. Simulation of prokaryotic genetic circuits. , 1998, Annual review of biophysics and biomolecular structure.
[11] G. Odell,et al. The segment polarity network is a robust developmental module , 2000, Nature.
[12] Edward G. Ruby,et al. Vibrio fischeri lux Genes Play an Important Role in Colonization and Development of the Host Light Organ , 2000, Journal of bacteriology.
[13] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[14] Kevin Barraclough,et al. I and i , 2001, BMJ : British Medical Journal.
[15] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[16] Hidde de Jong,et al. Modeling and Simulation of Genetic Regulatory Networks , 2003, POSTA.
[17] D E Koshland,et al. The Era of Pathway Quantification , 1998, Science.
[18] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[19] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[20] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[21] Thomas A. Henzinger,et al. Hybrid systems III : verification and control , 1996 .
[22] P. Stewart,et al. Quorum sensing in Pseudomonas aeruginosa controls expression of catalase and superoxide dismutase genes and mediates biofilm susceptibility to hydrogen peroxide , 1999, Molecular microbiology.
[23] T. Baldwin,et al. Transcriptional regulation of bioluminesence genes from Vibrio fischeri , 1995, Molecular microbiology.