The Realistic Modeling of Biological Systems: A Workshop Synopsis
暂无分享,去创建一个
[1] O Parnes,et al. The Envisioning of Cells , 2000, Science in Context.
[2] Yehuda G Assaraf,et al. Computer modelling of antifolate inhibition of folate metabolism using hybrid functional petri nets. , 2006, Journal of theoretical biology.
[3] David Harel,et al. A Turing-like test for biological modeling , 2005, Nature Biotechnology.
[4] E. Jane Albert Hubbard. Model Organisms as Powerful Tools for Biomedical Research , 2007 .
[5] Ioannis G. Kevrekidis,et al. Equation-free: The computer-aided analysis of complex multiscale systems , 2004 .
[6] Gordon Broderick,et al. Accommodating space, time and randomness in network simulation. , 2006, Current opinion in biotechnology.
[7] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[8] W. Pitts,et al. A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.
[9] I. Cohen. Tending Adam's Garden: Evolving the Cognitive Immune Self , 2004 .
[10] David Harel,et al. Come, Let’s Play , 2003, Springer Berlin Heidelberg.
[11] H. Petrie,et al. Zoned out: functional mapping of stromal signaling microenvironments in the thymus. , 2007, Annual review of immunology.
[12] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .
[13] David Harel,et al. A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal , 2003, HSCC.
[14] Gordon Broderick,et al. A life-like virtual cell membrane using discrete automata , 2004, Silico Biol..
[15] Amir Pnueli,et al. Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.
[16] Henri Atlan,et al. Proliferation and competition in discrete biological systems , 2003, Bulletin of mathematical biology.
[17] Raymond R. Devillers,et al. Incremental and unifying modelling formalism for biological interaction networks , 2007, BMC Bioinformatics.
[18] D. Harel,et al. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.
[19] Irun R. Cohen,et al. On Tending Adam's Garden , 2000 .
[20] David Harel,et al. Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .
[21] Vincent Schächter,et al. Model of interactions in biology and application to heterogeneous network in yeast. , 2006, Comptes rendus biologies.
[22] David Harel,et al. Explaining a complex living system: dynamics, multi-scaling and emergence , 2007, Journal of The Royal Society Interface.
[23] Ron Y. Pinter,et al. Alignment of metabolic pathways , 2005, Bioinform..
[24] H Atlan,et al. Automata network theories in immunology: their utility and their underdetermination. , 1989, Bulletin of mathematical biology.
[25] Judith Herzfeld,et al. Life in a crowded world , 2004, EMBO reports.
[26] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[27] David Harel,et al. Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems , 2004, CMSB.