A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes.
暂无分享,去创建一个
Alessandra Carbone | Yi Zhou | Amir Pnueli | Bing Sun | Ramesh Hariharan | Marta Simeoni | Carla Piazza | David Harel | Alberto Policriti | Vijay Chandru | Bud Mishra | Fang Cheng | William Casey | Salvatore Paxia | Marco Antoniotti | Nadia Ugel | Thomas Anantharaman | Shih-Chieh Lin | Michael Wigler | Franz Winkler | Charles R Cantor | Raoul-Sam Daruwala | Marc Rejali | Archisman Rudra | Vera Cherepinsky | Naomi Silver | Paolo Barbano | Marina Spivak | Jiawu Feng | Ofer Gill | Mysore Venkatesh | Iuliana Ioniata | E Jane Albert Hubbard | Frank Park | Yuri Lazebnik | Mikhael Gromov | M. Wigler | V. Chandru | M. Gromov | P. Barbano | A. Pnueli | Shi-Chieh Lin | T. Anantharaman | Charles R. Cantor | D. Harel | A. Carbone | B. Mishra | Vera Cherepinsky | Jiawu Feng | Marc Rejali | R. Daruwala | Archisman Rudra | Marina Spivak | M. Antoniotti | Yi Zhou | C. Piazza | F. Winkler | A. Policriti | Nadia Ugel | Salvatore Paxia | Naomi Silver | W. Casey | Marta Simeoni | O. Gill | Bingda Sun | Iuliana Ioniata | R. Hariharan | F. Park | Y. Lazebnik | E. Hubbard | Mysore Venkatesh | Fang Cheng
[1] W. J. EGGELING. Wild Nature , 1966, Nature.
[2] Alberto Policriti,et al. XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior , 2002, HiPC.
[3] Dr. Susumu Ohno. Evolution by Gene Duplication , 1970, Springer Berlin Heidelberg.
[4] Amir Pnueli,et al. Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.
[5] Bhubaneswar Mishra,et al. Computational differential alegebra , 1998 .
[6] David C. Schwartz,et al. A shotgun optical map of the entire Plasmodium falciparum genome , 1999, Nature Genetics.
[7] Edmund M. Clarke,et al. Hierarchical Verification of Asynchronous Circuits Using Temporal Logic , 1985, Theor. Comput. Sci..
[8] David Harel,et al. Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .
[9] Yi Zhou,et al. A Random Walk Down the Genomes: DNA Evolution in Valis , 2002, Computer.
[10] C. Peng,et al. Long-range correlations in nucleotide sequences , 1992, Nature.
[11] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[12] LIU Peng,et al. Simulating Large Biochemical and Biological Processes and Reasoning about their Behavior , 2002 .
[13] Bhubaneswar Mishra,et al. A symbolic approach to modelling cellular behavior , 2002 .
[14] M. Savageau. Biochemical Systems Analysis: A Study of Function and Design in Molecular Biology , 1976 .
[15] M H Wigler. Oncoproteins. GAPs in understanding Ras. , 1990, Nature.
[16] M. Gerstein,et al. Protein family and fold occurrence in genomes: power-law behaviour and evolutionary model. , 2001, Journal of molecular biology.
[17] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[18] A. Cornish-Bowden. Fundamentals of Enzyme Kinetics , 1979 .
[19] David Harel,et al. Modeling biological reactivity: statecharts vs. Boolean logic , 2002, AVI '02.
[20] Bud Mishra,et al. Wild by Nature , 2002, Science.
[21] J. Davies,et al. Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.
[22] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[23] D. Harel,et al. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.
[24] U. Bhalla,et al. Emergent properties of networks of biological signaling pathways. , 1999, Science.
[25] David Harel,et al. Execution , and Visualization of Thymic T-Cell Maturation Toward Rigorous Comprehension of Biological Complexity : data , 2003 .
[26] M. Adams,et al. Recent Segmental Duplications in the Human Genome , 2002, Science.
[27] M. Elowitz,et al. Combinatorial Synthesis of Genetic Networks , 2002, Science.
[28] David Harel,et al. Reactive Animation , 2002, FMCO.
[29] Charles R Cantor,et al. A high-throughput gene expression analysis technique using competitive PCR and matrix-assisted laser desorption ionization time-of-flight MS , 2003, Proceedings of the National Academy of Sciences of the United States of America.
[30] M. Wigler,et al. GAPs in understanding Ras , 1990, Nature.
[31] Alberto Policriti,et al. Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes , 2003, Pacific Symposium on Biocomputing.
[32] M. Wigler,et al. Detecting gene copy number fluctuations in tumor cells by microarray analysis of genomic representations. , 2000, Genome research.
[33] Charles R. Cantor,et al. Genomics: The Science and Technology Behind the Human Genome Project , 1999 .
[34] R. Lenski,et al. Mutation, recombination, and incipient speciation of bacteria in the laboratory. , 1999, Proceedings of the National Academy of Sciences of the United States of America.
[35] E. Hubbard,et al. The Caenorhabditis elegans gonad: A test tube for cell and developmental biology , 2000, Developmental dynamics : an official publication of the American Association of Anatomists.
[36] David Harel,et al. Executable object modeling with statecharts , 1997, Computer.
[37] C. Peng,et al. Fractal landscapes and molecular evolution: modeling the myosin heavy chain gene family. , 1993, Biophysical journal.