{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:02:55Z","timestamp":1743019375306,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030545673"},{"type":"electronic","value":"9783030545680"}],"license":[{"start":{"date-parts":[[2020,7,23]],"date-time":"2020-07-23T00:00:00Z","timestamp":1595462400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,7,23]],"date-time":"2020-07-23T00:00:00Z","timestamp":1595462400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-54568-0_9","type":"book-chapter","created":{"date-parts":[[2020,7,22]],"date-time":"2020-07-22T18:03:59Z","timestamp":1595441039000},"page":"80-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model"],"prefix":"10.1007","author":[{"given":"Adri\u00e1n","family":"Riesco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beatriz","family":"Santos-Buitrago","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Merrill","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Santos-Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emiliano Hern\u00e1ndez","family":"Galilea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,23]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"e1004591","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci, E., Li\u00f3, P.: Computational modeling, formal analysis, and tools for systems biology. PLoS Comput. Biol. 12(1), e1004591 (2016)","journal-title":"PLoS Comput. Biol."},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"045007","DOI":"10.1088\/1478-3975\/12\/4\/045007","volume":"12","author":"LA Chylek","year":"2015","unstructured":"Chylek, L.A., Harris, L.A., Faeder, J.R., Hlavacek, W.S.: Modeling for (physical) biologists: an introduction to the rule-based approach. Phys. Biol. 12(4), 045007 (2015)","journal-title":"Phys. Biol."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"100497","DOI":"10.1016\/j.jlamp.2019.100497","volume":"110","author":"F Dur\u00e1n","year":"2020","unstructured":"Dur\u00e1n, F., Eker, S., Escobar, S., et al.: Programming and symbolic computation in Maude. J. Log. Algebr. Methods Program. 110, 100497 (2020)","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"Suppl 1","key":"9_CR4","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. Making 13(Suppl 1), s4 (2013)","journal-title":"BMC Med. Inform. Decis. Making"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Korkut, A., Wang, W.: Perturbation biology nominates upstream-downstream drug combinations in RAF inhibitor resistant melanoma cells. eLIFE 18(4) (2015)","DOI":"10.7554\/eLife.04640"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Nigam, V., Donaldson, R., Knapp, M., McCarthy, T., Talcott, C.: Inferring executable models from formalized experimental evidence. In: Computational Methods in Systems Biology, CMSB 2015, pp. 90\u2013103. Springer (2015)","DOI":"10.1007\/978-3-319-23401-4_9"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1155\/2017\/1809513","volume":"2017","author":"A Riesco","year":"2017","unstructured":"Riesco, A., Santos-Buitrago, B., De Las Rivas, J., Knapp, M., Santos-Garc\u00eda, G., Talcott, C.: Epidermal growth factor signaling towards proliferation: modeling and logic inference using forward and backward search. Biomed. Res. Int. 2017, 11 (2017)","journal-title":"Biomed. Res. Int."},{"issue":"7\u20138","key":"9_CR8","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1016\/j.jlap.2011.06.004","volume":"81","author":"A Riesco","year":"2012","unstructured":"Riesco, A., Verdejo, A., Mart\u00ed-Oliet, N., Caballero, R.: Declarative debugging of rewriting logic specifications. J. Log. Algebr. Program. 81(7\u20138), 851\u2013897 (2012)","journal-title":"J. Log. Algebr. Program."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Santos-Buitrago, B., Hern\u00e1ndez-Galilea, E.: Signaling transduction networks in choroidal melanoma: a symbolic model approach. In: 13th International Conference on PACBB 2019, pp. 96\u2013104. Springer (2019)","DOI":"10.1007\/978-3-030-23873-5_12"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"18183","DOI":"10.1109\/ACCESS.2019.2896947","volume":"7","author":"B Santos-Buitrago","year":"2019","unstructured":"Santos-Buitrago, B., Riesco, A., Knapp, M., Alcantud, J.C.R., Santos-Garc\u00eda, G., Talcott, C.: Soft set theory for decision making in computational biology under incomplete information. IEEE Access 7, 18183\u201318193 (2019)","journal-title":"IEEE Access"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Santos-Buitrago, B., Riesco, A., Knapp, M., Santos-Garc\u00eda, G., Talcott, C.: Reverse inference in symbolic systems biology. In: 11th International Conference on PACBB 2017, Springer, pp. 101\u2013109 (2017)","DOI":"10.1007\/978-3-319-60816-7_13"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Talcott, C.: The pathway logic formal modeling system: diverse views of a formal representation of signal transduction. In: IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 1468\u20131476. IEEE (2016)","DOI":"10.1109\/BIBM.2016.7822740"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Talcott, C., Knapp, M.: Explaining response to drugs using pathway logic. In: Computational Methods in Systems Biology, CMSB 2017, pp. 249\u2013264. Springer (2017)","DOI":"10.1007\/978-3-319-67471-1_15"}],"container-title":["Advances in Intelligent Systems and Computing","Practical Applications of Computational Biology & Bioinformatics, 14th International Conference (PACBB 2020)"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54568-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,22]],"date-time":"2020-07-22T18:10:39Z","timestamp":1595441439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54568-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,23]]},"ISBN":["9783030545673","9783030545680"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54568-0_9","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2020,7,23]]},"assertion":[{"value":"23 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PACBB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Practical Applications of Computational Biology & Bioinformatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"L\u00b4Aquila","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pacbb2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.pacbb.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}