{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:43:59Z","timestamp":1725857039563},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401256"},{"type":"electronic","value":"9783319401263"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-40126-3_18","type":"book-chapter","created":{"date-parts":[[2016,5,31]],"date-time":"2016-05-31T03:50:23Z","timestamp":1464666623000},"page":"173-181","source":"Crossref","is-referenced-by-count":3,"title":["Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach"],"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":"Adri\u00e1n","family":"Riesco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beatriz","family":"Santos-Buitrago","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,6,1]]},"reference":[{"key":"18_CR1","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Escobar, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.7), March 2015. http:\/\/maude.cs.illinois.edu\/w\/images\/1\/1a\/Maude-manual.pdf"},{"key":"18_CR2","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L.: All about maude - a high-performance logical framework, how to specify, program and verify systems in rewriting logic. In: LNCS, vol. 4350. Springer (2007)"},{"key":"18_CR3","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"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Gratie, D., Iancu, B., Petre, I.: ODE analysis of biological systems. In: Bernardo, M., de Vink, E.P., Pierro, A.D., Wiklicky, H. (eds.) 13th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013. LNCS, vol. 7938, pp. 29\u201362. Springer (2013)","DOI":"10.1007\/978-3-642-38874-3_2"},{"issue":"34","key":"18_CR5","doi-asserted-by":"crossref","first-page":"24516","DOI":"10.1016\/S0021-9258(18)35795-8","volume":"267","author":"DS Hartman","year":"1992","unstructured":"Hartman, D.S., McCormack, M., Schubenel, R., Hertel, C.: Multiple trkA proteins in PC12 cells bind NGF with a slow association rate. J. Biol. Chem. 267(34), 24516\u201324522 (1992)","journal-title":"J. Biol. Chem."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Mart\u00ed-Oliet, N., \u00d6lveczky, P.C., Talcott, C.L. (eds.) Logic, Rewriting, and Concurrency - Essays dedicated to Jos\u00e9 Meseguer on the occasion of his 65th birthday. LNCS, vol. 9200. Springer (2015)","DOI":"10.1007\/978-3-319-23165-5"},{"issue":"7\u20138","key":"18_CR7","doi-asserted-by":"crossref","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)","journal-title":"J. Log Algebr. Program."},{"issue":"1","key":"18_CR8","doi-asserted-by":"crossref","first-page":"510","DOI":"10.3390\/cancers3010510","volume":"3","author":"NH Molloy","year":"2011","unstructured":"Molloy, N.H., Read, D.E., Gorman, A.M.: Nerve growth factor in cancer cell death and survival. Cancers 3(1), 510\u2013530 (2011)","journal-title":"Cancers"},{"key":"18_CR9","unstructured":"National Cancer Institute (US): Cancer Genome Anatomy Project. http:\/\/cgap.nci.nih.gov\/Pathways (2016) (accessed February 29, 2016)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Santos-Garc\u00eda, G., De Las Rivas, J., Talcott, C.L.: A logic computational framework to query dynamics on complex biological pathways. In: Adv. Intell. Syst. Comput., vol. 294, pp. 207\u2013214. Springer (2014)","DOI":"10.1007\/978-3-319-07581-5_25"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Santos-Garc\u00eda, G., Talcott, C.L., De\u00a0Las\u00a0Rivas, J.: Analysis of cellular proliferation and survival signaling by using two ligand\/receptor systems modeled by pathway logic. In: HSB 2015, pp. 226\u2013245 (2015) (revised selected papers)","DOI":"10.1007\/978-3-319-26916-0_13"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Talcott, C.L.: Pathway logic. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) Formal methods for computational systems biology. In: 8th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008. LNCS, vol. 5016, pp. 21\u201353. Springer (2008)","DOI":"10.1007\/978-3-540-68894-5_2"},{"key":"18_CR13","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 2nd IEEE Computer Society Bioinformatics Conf, CSB 2003, Stanford, CA, August 11-14, 2003, pp. 618\u2013619. IEEE Computer Society (2003)"},{"issue":"5411","key":"18_CR14","doi-asserted-by":"crossref","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":["Advances in Intelligent Systems and Computing","10th International Conference on Practical Applications of Computational Biology & Bioinformatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40126-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T17:31:22Z","timestamp":1656610282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40126-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401256","9783319401263"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40126-3_18","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}