{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:54:36Z","timestamp":1725846876710},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319269153"},{"type":"electronic","value":"9783319269160"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26916-0_13","type":"book-chapter","created":{"date-parts":[[2016,1,9]],"date-time":"2016-01-09T00:44:21Z","timestamp":1452300261000},"page":"226-245","source":"Crossref","is-referenced-by-count":7,"title":["Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand\/Receptor Systems Modeled by Pathway Logic"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Santos-Garc\u00eda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"De Las Rivas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,10]]},"reference":[{"key":"13_CR1","unstructured":"Abate, A., Bai, Y., Sznajder, N., Talcott, C.L., Tiwari, A.: Quantitative and probabilistic modeling in pathway logic. In: Zhu, M.M., Zhang, Y., Arabnia, H.R., Deng, Y. (eds.) Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, pp. 922\u2013929. Harvard Medical School, Boston, MA, October 14\u201317, 2007. IEEE (2007)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G., Danvy, O., Meseguer, J. (eds.): Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of her 70th Birthday. LNCS, vol. 7000. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24933-4"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1021\/bp010009k","volume":"17","author":"AR Asthagiri","year":"2001","unstructured":"Asthagiri, A.R., Lauffenburger, D.A.: A computational study of feedback effects on signal dynamics in a mitogen-activated protein kinase (MAPK) pathway model. Biotechnol. Progr. 17(2), 227\u2013239 (2001)","journal-title":"Biotechnol. Progr."},{"issue":"17","key":"13_CR4","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"ML Blinov","year":"2004","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20(17), 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"issue":"6664","key":"13_CR5","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1038\/34657","volume":"391","author":"C Boccaccio","year":"1998","unstructured":"Boccaccio, C., Ando, M., Tamagnone, L., Bardelli, A., Michieli, P., Battistini, C., Comoglio, P.M.: Induction of epithelial tubules by growth factor HGF depends on the STAT pathway. Nature 391(6664), 285\u2013288 (1998)","journal-title":"Nature"},{"issue":"4995","key":"13_CR6","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1126\/science.1846706","volume":"251","author":"DP Bottaro","year":"1991","unstructured":"Bottaro, D.P., Rubin, J.S., Faletto, D.L., Chan, A.M., Kmiecik, T.E., Vande Woude, G.F., Aaronson, S.A.: Identification of the hepatocyte growth factor receptor as the c-met proto-oncogene product. Science 251(4995), 802\u2013804 (1991)","journal-title":"Science"},{"key":"13_CR7","doi-asserted-by":"publisher","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework, how to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71999-1","DOI":"10.1007\/978-3-540-71999-1"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci. 325(1), 69\u2013110 (2004). doi: 10.1016\/j.tcs.2004.03.065","journal-title":"Theor. Comput. Sci."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Donaldson, R., Talcott, C.L., Knapp, M., Calder, M.: Understanding signalling networks as collections of signal transduction pathways. In: Quaglia, P. (ed.) Computational Methods in Systems Biology, CMSB, pp. 86\u201395. ACM (2010)","DOI":"10.1145\/1839764.1839775"},{"issue":"11","key":"13_CR10","doi-asserted-by":"publisher","first-page":"2485","DOI":"10.1101\/gr.1215303","volume":"13","author":"S Efroni","year":"2003","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. Genome Res. 13(11), 2485\u20132497 (2003)","journal-title":"Genome Res."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume":"500","author":"JR Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with BioNetGen. Methods Mol. Biol. 500, 113\u2013167 (2009)","journal-title":"Methods Mol. Biol."},{"key":"13_CR12","unstructured":"Fiadeiro, J.L. (ed.): WADT 1998. LNCS, vol. 1589. Springer, Heidelberg (1999)"},{"issue":"11","key":"13_CR13","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotech. 25(11), 1239\u20131249 (2007). doi: 10.1038\/nbt1356","journal-title":"Nat. Biotech."},{"issue":"13","key":"13_CR14","doi-asserted-by":"crossref","first-page":"9165","DOI":"10.1016\/S0021-9258(18)98327-4","volume":"268","author":"A Graziani","year":"1993","unstructured":"Graziani, A., Gramaglia, D., dalla Zonca, P., Comoglio, P.M.: Hepatocyte growth factor\/scatter factor stimulates the Ras-guanine nucleotide exchanger. J. Biol. Chem. 268(13), 9165\u20139168 (1993)","journal-title":"J. Biol. Chem."},{"issue":"7","key":"13_CR15","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1002\/j.1460-2075.1995.tb07128.x","volume":"14","author":"D Guschin","year":"1995","unstructured":"Guschin, D., Rogers, N., Briscoe, J., Witthuhn, B., Watling, D., Horn, F., Pellegrini, S., Yasukawa, K., Heinrich, P., Stark, G.R.: A major role for the protein tyrosine kinase JAK1 in the JAK\/STAT signal transduction pathway in response to interleukin-6. EMBO J. 14(7), 1421\u20131429 (1995)","journal-title":"EMBO J."},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1093\/bioinformatics\/btm560","volume":"24","author":"S Hardy","year":"2008","unstructured":"Hardy, S., Robillard, P.N.: Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways. Bioinformatics 24(2), 209\u2013217 (2008)","journal-title":"Bioinformatics"},{"issue":"3","key":"13_CR17","doi-asserted-by":"publisher","first-page":"R31","DOI":"10.1186\/gb-2009-10-3-r31","volume":"10","author":"LM Heiser","year":"2009","unstructured":"Heiser, L.M., Wang, N.J., Talcott, C.L., Laderoute, K.R., Knapp, M., Guan, Y., Hu, Z., Ziyad, S., Weber, B.L., Laquerre, S., Jackson, J.R., Wooster, R.F., Kuo, W.L., Gray, J.W., Spellman, P.T.: Integrated analysis of breast cancer cell lines reveals unique signaling pathways. Genome Biol. 10(3), R31 (2009)","journal-title":"Genome Biol."},{"issue":"Suppl 1","key":"13_CR18","doi-asserted-by":"publisher","first-page":"S4","DOI":"10.1186\/1472-6947-13-S1-S4","volume":"13","author":"W Hwang","year":"2013","unstructured":"Hwang, W., Hwang, Y., Lee, S., Lee, D.: Rule-based multi-scale simulation for drug effect pathway analysis. BMC Med. Inform. Decis. Mak. 13(Suppl 1), S4 (2013)","journal-title":"BMC Med. Inform. Decis. Mak."},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s12038-007-0011-6","volume":"32","author":"C Li","year":"2007","unstructured":"Li, C., Ge, Q.W., Nakata, M., Matsuno, H., Miyano, S.: Modelling and simulation of signal transductions in an apoptosis pathway by using timed petri nets. J. Biosci. 32(1), 113\u2013127 (2007)","journal-title":"J. Biosci."},{"key":"13_CR20","first-page":"255","volume-title":"Methods in Molecular Biology","author":"X Liu","year":"2012","unstructured":"Liu, X., Betterton, M.D., Saadatpour, A., Albert, R.: Methods in Molecular Biology, vol. 880, pp. 255\u2013272. Humana Press, Clifton (2012)"},{"key":"13_CR21","doi-asserted-by":"publisher","unstructured":"Mart\u00ed-Oliet, N., \u00d6lveczky, P.C., Talcott, C. (eds.): Logic, Rewriting, and Concurrency- Essays dedicated to Jos\u00e9 Meseguer on the occasion of his 65th birthday. LNCS, vol. 9200. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23165-5","DOI":"10.1007\/978-3-319-23165-5"},{"issue":"1","key":"13_CR22","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"7\u20138","key":"13_CR23","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/j.jlap.2012.06.003","volume":"81","author":"J Meseguer","year":"2012","unstructured":"Meseguer, J.: Twenty years of rewriting logic. J. Log. Algebr. Program 81(7\u20138), 721\u2013781 (2012). doi: 10.1016\/j.jlap.2012.06.003","journal-title":"J. Log. Algebr. Program"},{"issue":"13","key":"13_CR24","doi-asserted-by":"publisher","first-page":"12747","DOI":"10.1074\/jbc.M500175200","volume":"280","author":"V Novotny-Diermayr","year":"2005","unstructured":"Novotny-Diermayr, V., Lin, B., Gu, L., Cao, X.: Modulation of the interleukin-6 receptor subunit glycoprotein 130 complex and its signaling by LMO4 interaction. J. Biol. Chem. 280(13), 12747\u201312757 (2005)","journal-title":"J. Biol. Chem."},{"issue":"51","key":"13_CR25","doi-asserted-by":"publisher","first-page":"49134","DOI":"10.1074\/jbc.M206727200","volume":"277","author":"V Novotny-Diermayr","year":"2002","unstructured":"Novotny-Diermayr, V., Zhang, T., Gu, L., Cao, X.: Protein kinase C delta associates with the interleukin-6 receptor subunit glycoprotein (gp) 130 via Stat3 and enhances Stat3-gp130 interaction. J. Biol. Chem. 277(51), 49134\u201349142 (2002)","journal-title":"J. Biol. Chem."},{"issue":"12","key":"13_CR26","doi-asserted-by":"publisher","first-page":"e83028","DOI":"10.1371\/journal.pone.0083028","volume":"8","author":"RS Pais","year":"2013","unstructured":"Pais, R.S., Moreno-Barriuso, N., Hernandez-Porras, I., Lopez, I.P., De Las Rivas, J., Pichel, J.G.: Transcriptome analysis in prenatal IGF1-deficient mice identifies molecular pathways and target genes involved in distal lung differentiation. PLoS One 8(12), e83028 (2013)","journal-title":"PLoS One"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Panikkar, A., Knapp, M., Mi, H., Anderson, D., Kodukula, K., Galande, A.K., Talcott, C.L.: Applications of Pathway Logic modeling to target identification. In: Agha et al. (eds.): Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of her 70th Birthday. LNCS, vol. 7000, pp. 434\u2013445. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24933-4_21"},{"issue":"20","key":"13_CR28","doi-asserted-by":"publisher","first-page":"21658","DOI":"10.1074\/jbc.M305783200","volume":"279","author":"K Podar","year":"2004","unstructured":"Podar, K., Mostoslavsky, G., Sattler, M., Tai, Y.T., Hayashi, T., Catley, L.P., Hideshima, T., Mulligan, R.C., Chauhan, D., Anderson, K.C.: Critical role for hematopoietic cell kinase (Hck)-mediated phosphorylation of Gab1 and Gab2 docking proteins in interleukin 6-induced proliferation and survival of multiple myeloma cells. J. Biol. Chem. 279(20), 21658\u201321665 (2004)","journal-title":"J. Biol. Chem."},{"issue":"1","key":"13_CR29","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1), 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"13_CR30","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TCBB.2007.1076","volume":"5","author":"A Sadot","year":"2008","unstructured":"Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M.J., Hubbard, E.J.A., Harel, D.: Toward verified biological models. IEEE\/ACM Trans. Comput. Biol. Bioinform. 5(2), 223\u2013234 (2008)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Santos-Garc\u00eda, G., De Las Rivas, J., Talcott, C.L.: In: Saez-Rodriguez, J., Rocha, M.P., Fdez-Riverola, F., De Paz Santana, J.F. (eds.) A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. AISC, vol. 294, pp. 207\u2013214. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-07581-5_25"},{"issue":"2","key":"13_CR32","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0092-8674(00)00114-8","volume":"103","author":"J Schlessinger","year":"2000","unstructured":"Schlessinger, J.: Cell signaling by receptor tyrosine kinases. Cell 103(2), 211\u2013225 (2000)","journal-title":"Cell"},{"issue":"3","key":"13_CR33","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1016\/S0896-6273(00)81194-0","volume":"26","author":"P Smolen","year":"2000","unstructured":"Smolen, P., Baxter, D.A., Byrne, J.H.: Mathematical modeling of gene networks. Neuron 26(3), 567\u2013580 (2000)","journal-title":"Neuron"},{"issue":"12","key":"13_CR34","doi-asserted-by":"publisher","first-page":"998","DOI":"10.1038\/nrm1529","volume":"5","author":"A Sodhi","year":"2004","unstructured":"Sodhi, A., Montaner, S., Gutkind, J.S.: Viral hijacking of G-protein-coupled-receptor signalling networks. Nat. Rev. Mol. Cell Biol. 5(12), 998\u20131012 (2004). doi: 10.1038\/nrm1529","journal-title":"Nat. Rev. Mol. Cell Biol."},{"issue":"3","key":"13_CR35","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1016\/0092-8674(89)90438-8","volume":"58","author":"T Taga","year":"1995","unstructured":"Taga, T., Hibi, M., Hirata, Y., Yamasaki, K., Yasukawa, K., Matsuda, T., Hirano, T., Kishimoto, T.: Interleukin-6 triggers the association of its receptor with a possible signal transducer, gp130. Cell 58(3), 573\u2013581 (1995)","journal-title":"Cell"},{"key":"13_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-68894-5_2","volume-title":"Formal Methods for Computational Systems Biology","author":"C Talcott","year":"2008","unstructured":"Talcott, C.: Pathway Logic. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 21\u201353. Springer, Heidelberg (2008)"},{"key":"13_CR37","unstructured":"Talcott, C.L., Dill, D.L.: The pathway logic assistant. In: Plotkin, G. (ed.) Proceedings of the Third International Workshop on Computational Methods in Systems Biology, pp. 228\u2013239 (2005)"},{"key":"13_CR38","doi-asserted-by":"publisher","unstructured":"Talcott, C.L., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Markstein, P., Xu, Y. (eds.) Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, CSB 2003, pp. 618\u2013619, Stanford, CA, 11\u201314 August 2003. IEEE Computer Society (2003). doi: 10.1109\/CSB.2003.1227425","DOI":"10.1109\/CSB.2003.1227425"},{"issue":"6788","key":"13_CR39","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1038\/35015690","volume":"405","author":"OG Vukmirovic","year":"2000","unstructured":"Vukmirovic, O.G., Tilghman, S.M.: Exploring genome space. Nature 405(6788), 820\u2013822 (2000). doi: 10.1038\/35015690","journal-title":"Nature"},{"issue":"5411","key":"13_CR40","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1126\/science.284.5411.92","volume":"284","author":"G Weng","year":"1999","unstructured":"Weng, G., Bhalla, U.S., Iyengar, R.: Complexity in biological signaling systems. Science 284(5411), 92\u201396 (1999)","journal-title":"Science"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26916-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T02:38:16Z","timestamp":1654051096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26916-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319269153","9783319269160"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26916-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}