Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development
暂无分享,去创建一个
Thomas A. Henzinger | Nir Piterman | Jasmin Fisher | Alex Hajnal | T. Henzinger | J. Fisher | N. Piterman | A. Hajnal | Nir Piterman
[1] Stephan Merz,et al. Model Checking , 2000 .
[2] Paul W. Sternberg,et al. Lateral inhibition during vulval induction in Caenorhabditis elegans , 1988, Nature.
[3] David Harel,et al. Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems , 2004, CMSB.
[4] Corrado Priami,et al. A formal language for computational systems biology. , 2004, Omics : a journal of integrative biology.
[5] H. Horvitz,et al. The lin-12 locus specifies cell fates in caenorhabditis elegans , 1983, Cell.
[6] Ning Chen,et al. The lateral signal for LIN-12/Notch in C. elegans vulval development comprises redundant secreted and transmembrane DSL proteins. , 2004, Developmental cell.
[7] Paul W Sternberg,et al. Developmental biology. A pattern of precision. , 2004, Science.
[8] U. Alon,et al. Robustness in bacterial chemotaxis , 2022 .
[9] J. Sulston,et al. Regulation and cell autonomy during postembryonic development of Caenorhabditis elegans. , 1980, Developmental biology.
[10] Paul W. Sternberg,et al. Pattern formation during vulval development in C. elegans , 1986, Cell.
[11] Thomas A. Henzinger,et al. MOCHA: Modularity in Model Checking , 1998, CAV.
[12] Alex Hajnal,et al. The C. elegans homolog of the mammalian tumor suppressor Dep-1/Scc1 inhibits EGFR signaling to regulate binary cell fate decisions. , 2005, Genes & development.
[13] Thomas A. Henzinger,et al. Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[14] Iva Greenwald,et al. Endocytosis-mediated downregulation of LIN-12/Notch upon Ras activation in Caenorhabditis elegans , 2002, Nature.
[15] P. Sternberg,et al. The let-60 locus controls the switch between vulval and nonvulval cell fates in Caenorhabditis elegans. , 1990, Genetics.
[16] David Gilbert,et al. Analysis of signalling pathways using the prism model checker , 2005 .
[17] Radu Mateescu,et al. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli , 2005, ISMB.
[18] H. Horvitz,et al. Cell interactions coordinate the development of the C. elegans egg-laying system , 1990, Cell.
[19] Amir Pnueli,et al. Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.
[20] D. Harel,et al. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.
[21] G. Odell,et al. The segment polarity network is a robust developmental module , 2000, Nature.
[22] V. Ambros,et al. Cell cycle-dependent sequencing of cell fate decisions in Caenorhabditis elegans vulva precursor cells. , 1999, Development.
[23] A. Hajnal,et al. Notch Inhibition of RAS Signaling Through MAP Kinase Phosphatase LIP-1 During C. elegans Vulval Development , 2001, Science.
[24] Min Han,et al. SynMuv genes redundantly inhibit lin-3/EGF expression to prevent inappropriate vulval induction in C. elegans. , 2006, Developmental cell.
[25] M. Sundaram,et al. The love-hate relationship between Ras and Notch. , 2005, Genes & development.
[26] Iva Greenwald,et al. Crosstalk Between the EGFR and LIN-12/Notch Pathways in C. elegans Vulval Development , 2004, Science.
[27] Stuart K. Kim,et al. Sequential signalling during Caenorhabditis elegans vulval induction , 1995 .
[28] J Kimble,et al. Alterations in cell lineage following laser ablation of cells in the somatic gonad of Caenorhabditis elegans. , 1981, Developmental biology.
[29] Marta Z. Kwiatkowska,et al. Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..
[30] Freddy Radtke,et al. Paradigms of Notch Signaling in Mammals , 2005 .
[31] David Harel,et al. The immune system as a reactive system: modeling T cell activation with statecharts , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
[32] Paul W. Sternberg,et al. A Pattern of Precision , 2004, Science.
[33] S. Leibler,et al. Robustness in simple biochemical networks , 1997, Nature.
[34] L. Wolpert. Developmental Biology , 1968, Nature.
[35] 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.
[36] David Harel,et al. Emergent Dynamics of Thymocyte Development and Lineage Determination , 2006, PLoS Comput. Biol..
[37] Corrado Priami,et al. Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..
[38] Thomas A. Henzinger,et al. Executable Biology , 2006, Proceedings of the 2006 Winter Simulation Conference.
[39] N. Munakata. [Genetics of Caenorhabditis elegans]. , 1989, Tanpakushitsu kakusan koso. Protein, nucleic acid, enzyme.
[40] 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.
[41] Aviv Regev,et al. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.