Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins
暂无分享,去创建一个
[1] L. Cardelli,et al. Interactions of Biological Membranes , 2005 .
[2] Gheorghe Paun,et al. A guide to membrane computing , 2002, Theor. Comput. Sci..
[3] Gheorghe Paun,et al. Regulated Rewriting in Formal Language Theory , 1989 .
[4] Luca Cardelli,et al. Brane Calculi , 2004, CMSB.
[5] 守屋 悦朗,et al. J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .
[6] Arto Salomaa,et al. Formal languages , 1973, Computer science classics.
[7] Grzegorz Rozenberg,et al. Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.
[8] Grzegorz Rozenberg,et al. Membrane Systems with Marked Membranes , 2007, Electron. Notes Theor. Comput. Sci..
[9] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[10] S. Leibler,et al. Mechanisms of noise-resistance in genetic oscillators , 2002, Proceedings of the National Academy of Sciences of the United States of America.
[11] H. Kitano,et al. A quantitative characterization of the yeast heterotrimeric G protein cycle , 2003, Proceedings of the National Academy of Sciences of the United States of America.
[12] Florent Jacquemard,et al. An Analysis of a Public Key Protocol with Membranes , 2005 .
[13] Sean Sedwards,et al. Membrane Systems with Peripheral Proteins: Transport and Evolution , 2007, Electron. Notes Theor. Comput. Sci..
[14] A. Arkin,et al. Stochastic mechanisms in gene expression. , 1997, Proceedings of the National Academy of Sciences of the United States of America.
[15] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[16] Gheorghe Paun,et al. Applications of Membrane Computing (Natural Computing Series) , 2005 .
[17] Carlos Martín-Vide,et al. Membrane systems with carriers , 2002, Theor. Comput. Sci..
[18] M. J. P. Jiménez,et al. Modelling EGFR signalling cascade using continuous membrane systems , 2005 .
[19] D. Gillespie. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .