Executable cell biology
暂无分享,去创建一个
[1] S. Kauffman. Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.
[2] L. Glass,et al. The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.
[3] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[4] Paul W. Sternberg,et al. The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in C. elegans , 1989, Cell.
[5] Corrado Priami,et al. Stochastic pi-Calculus , 1995, Comput. J..
[6] Thomas A. Henzinger,et al. Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[7] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[8] P J Goss,et al. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.
[9] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[10] Satoru Miyano,et al. Identification of Genetic Networks from a Small Number of Gene Expression Patterns Under the Boolean Network Model , 1998, Pacific Symposium on Biocomputing.
[11] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[12] Patrik D'haeseleer,et al. Genetic network inference: from co-expression clustering to reverse engineering , 2000, Bioinform..
[13] Michal Linial,et al. Using Bayesian Networks to Analyze Expression Data , 2000, J. Comput. Biol..
[14] V. Thorsson,et al. Discovery of regulatory interactions through perturbation: inference and experimental design. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.
[15] Hartmann J. Genrich,et al. Executable Petri net models for the analysis of metabolic pathways , 2001, International Journal on Software Tools for Technology Transfer.
[16] W. Bentley,et al. Stochastic kinetic analysis of the Escherichia coli stress circuit using σ32-targeted antisense , 2001 .
[17] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[18] W. Bentley,et al. Stochastic kinetic analysis of the Escherichia coli stress circuit using sigma(32)-targeted antisense. , 2001, Biotechnology and bioengineering.
[19] Corrado Priami,et al. Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..
[20] Calin Belta,et al. Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.
[21] Claire J. Tomlin,et al. Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.
[22] Aviv Regev,et al. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.
[23] T. Ideker,et al. A new approach to decoding life: systems biology. , 2001, Annual review of genomics and human genetics.
[24] A. Arkin,et al. Genetic "code": representations and dynamical models of genetic components and networks. , 2002, Annual review of genomics and human genetics.
[25] E. Davidson,et al. Modeling transcriptional regulatory networks. , 2002, BioEssays : news and reviews in molecular, cellular and developmental biology.
[26] Ilya Shmulevich,et al. Binary analysis and optimization-based normalization of gene expression data , 2002, Bioinform..
[27] L. Hood,et al. A Genomic Regulatory Network for Development , 2002, Science.
[28] Hidde de Jong,et al. Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..
[29] H. Kitano. Systems Biology: A Brief Overview , 2002, Science.
[30] L. You,et al. Stochastic vs. deterministic modeling of intracellular viral kinetics. , 2002, Journal of theoretical biology.
[31] Jaakko Astola,et al. The role of certain Post classes in Boolean network models of genetic networks , 2003, Proceedings of the National Academy of Sciences of the United States of America.
[32] Amir Pnueli,et al. Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.
[33] D. Harel,et al. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.
[34] E. Davidson,et al. Transcriptional regulatory cascades in development: Initial rates, not steady state, determine network kinetics , 2003, Proceedings of the National Academy of Sciences of the United States of America.
[35] R. Aebersold,et al. Mass spectrometry-based proteomics , 2003, Nature.
[36] H. Othmer,et al. The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.
[37] Corrado Priami,et al. Modelling biochemical pathways through enhanced pi-calculus , 2004, Theor. Comput. Sci..
[38] Corrado Priami,et al. A formal language for computational systems biology. , 2004, Omics : a journal of integrative biology.
[39] Luca Cardelli,et al. BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..
[40] Q. Ouyang,et al. The yeast cell-cycle network is robustly designed. , 2003, Proceedings of the National Academy of Sciences of the United States of America.
[41] C. Tomlin,et al. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling. , 2004, Systems biology.
[42] J. Stelling. Mathematical models in microbial systems biology. , 2004, Current opinion in microbiology.
[43] J. Stelling,et al. Robustness of Cellular Functions , 2004, Cell.
[44] David Harel,et al. Computational insights into Caenorhabditis elegans vulval development. , 2005, Proceedings of the National Academy of Sciences of the United States of America.
[45] David Gilbert,et al. Analysis of signalling pathways using the prism model checker , 2005 .
[46] M. Elowitz,et al. Reconstruction of genetic circuits , 2005, Nature.
[47] K. Sachs,et al. Causal Protein-Signaling Networks Derived from Multiparameter Single-Cell Data , 2005, Science.
[48] T. Elston,et al. Stochasticity in gene expression: from theories to phenotypes , 2005, Nature Reviews Genetics.
[49] Andrea Omicini,et al. Transactions on Computational Systems Biology III , 2005, Trans. Computational Systems Biology.
[50] Luca Cardelli,et al. Abstract Machines of Systems Biology , 2005, Trans. Comp. Sys. Biology.
[51] Carolyn L. Talcott,et al. The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways , 2005, Systems Biology and Regulatory Genomics.
[52] Denis Thieffry,et al. Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli , 2005, ECCB/JBI.
[53] Y. Lazebnik. Can a biologist fix a radio? — or, what I learned while studying apoptosis , 2004, Biochemistry (Moscow).
[54] David Harel,et al. Reactive animation: realistic modeling of complex dynamic systems , 2005, Computer.
[55] Adam Duguid,et al. Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods , 2006, CMSB.
[56] Thomas A. Henzinger,et al. Qualitative networks: a symbolic approach to analyze biological signaling networks , 2007, BMC Systems Biology.
[57] Michael B. Yaffe,et al. Data-driven modelling of signal-transduction networks , 2006, Nature Reviews Molecular Cell Biology.
[58] Paul W Sternberg,et al. Intercellular coupling amplifies fate segregation during Caenorhabditis elegans vulval development , 2006, Proceedings of the National Academy of Sciences of the United States of America.
[59] Kevin A Janes,et al. A biological approach to computational models of proteomic networks. , 2006, Current opinion in chemical biology.
[60] D. Lauffenburger,et al. Physicochemical modelling of cell signalling pathways , 2006, Nature Cell Biology.
[61] Richard Banks,et al. Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets , 2006, CMSB.
[62] FeiHua,et al. Integrated mechanistic and data-driven modelling for multivariate analysis of signalling pathways , 2006 .
[63] Uri Alon,et al. A fluctuation method to quantify in vivo fluorescence data. , 2006, Biophysical journal.
[64] David Harel,et al. Emergent Dynamics of Thymocyte Development and Lineage Determination , 2006, PLoS Comput. Biol..
[65] U. Alon. Network motifs: theory and experimental approaches , 2007, Nature Reviews Genetics.
[66] Li Chen,et al. Modelling and simulation of signal transductions in an apoptosis pathway by using timed Petri nets , 2007, Journal of Biosciences.
[67] Claudine Chaouiya,et al. Petri net modelling of biological networks , 2007, Briefings Bioinform..
[68] Thomas A. Henzinger,et al. Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development , 2007, PLoS Comput. Biol..
[69] Marta Z. Kwiatkowska,et al. Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..
[70] D. Harel,et al. Ieee/acm Transactions on Computational Biology and Bioinformatics 1 towards Verified Biological Models , 2022 .