{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:13:01Z","timestamp":1743120781284,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030549961"},{"type":"electronic","value":"9783030549978"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-54997-8_30","type":"book-chapter","created":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T20:11:50Z","timestamp":1597090310000},"page":"480-499","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Nested Event Representation for Automated Assembly of Cell Signaling Network Models"],"prefix":"10.1007","author":[{"given":"Evan W.","family":"Becker","sequence":"first","affiliation":[]},{"given":"Kara N.","family":"Bocan","sequence":"additional","affiliation":[]},{"given":"Natasa","family":"Miskov-Zivanov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,11]]},"reference":[{"issue":"3","key":"30_CR1","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1038\/73786","volume":"18","author":"S Shcuster","year":"2000","unstructured":"Shcuster, S., Fell, D.A., Dandekar, T.: A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nat. Biotechnol. 18(3), 326\u2013332 (2000). https:\/\/doi.org\/10.1038\/73786","journal-title":"Nat. Biotechnol."},{"issue":"6","key":"30_CR2","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.tibs.2005.04.013","volume":"30","author":"T Pawson","year":"2005","unstructured":"Pawson, T., Scott, J.: Protein phosphorylation in signaling - 50 years and counting. Trends Biochem. Sci. 30(6), 286\u2013290 (2005). https:\/\/doi.org\/10.1016\/j.tibs.2005.04.013","journal-title":"Trends Biochem. Sci."},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"2498","DOI":"10.1101\/gr.1239303","volume":"13","author":"P Shannon","year":"2003","unstructured":"Shannon, P.: Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Res. 13, 2498\u20132504 (2003)","journal-title":"Genome Res."},{"key":"30_CR4","doi-asserted-by":"publisher","unstructured":"Zhou, G., Xia, J.: Using OmicsNet for network integration and 3D visualization. Curr. Protoc. Bioinform. 65(1) (2018). https:\/\/doi.org\/10.1002\/cpbi.69","DOI":"10.1002\/cpbi.69"},{"key":"30_CR5","doi-asserted-by":"publisher","unstructured":"Zhou, G., Xia, J.: OmicsNet: a web-based tool for creation and visual analysis of biological networks in 3D space. Nucleic Acids Res. 46(1) (2018). https:\/\/doi.org\/10.1093\/nar\/gky510","DOI":"10.1093\/nar\/gky510"},{"issue":"1","key":"30_CR6","first-page":"D649","volume":"46","author":"A Fabregat","year":"2017","unstructured":"Fabregat, A., et al.: The reactome pathway knowledgebase. Nucleic Acids Res. 46(1), D649\u2013D655 (2017)","journal-title":"Nucleic Acids Res."},{"issue":"1","key":"30_CR7","first-page":"D447","volume":"43","author":"D Szklarczyk","year":"2014","unstructured":"Szklarczyk, D., et al.: STRING v10: protein-protein interaction networks, integrated over the tree of life. Nucleic Acids Res. 43(1), D447\u2013D452 (2014)","journal-title":"Nucleic Acids Res."},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1177\/0037549703040939","volume":"79","author":"AA Cuellar","year":"2003","unstructured":"Cuellar, A.A., Lloyd, C.M., Nielsen, P.F., Bullivant, D.P., Nickerson, D.P., Hunter, P.J.: An overview of CellML 1.1, a biological model description language. Simulation 79, 740\u2013747 (2003)","journal-title":"Simulation"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"3366","DOI":"10.1093\/bioinformatics\/btw469","volume":"32","author":"LA Harris","year":"2016","unstructured":"Harris, L.A., et al.: BioNetGen 2.2: advances in rule-based modeling. Bioinformatics 32, 3366\u20133368 (2016)","journal-title":"Bioinformatics"},{"issue":"13","key":"30_CR11","doi-asserted-by":"publisher","first-page":"i583","DOI":"10.1093\/bioinformatics\/bty272","volume":"34","author":"P Boutillier","year":"2018","unstructured":"Boutillier, P., et al.: The Kappa platform for rule-based modeling. Bioinformatics 34(13), i583\u2013i592 (2018). https:\/\/doi.org\/10.1093\/bioinformatics\/bty272","journal-title":"Bioinformatics"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0076-6879(09)67011-7","volume":"467","author":"R Albert","year":"2009","unstructured":"Albert, R., Wang, R.S.: Discrete dynamic modeling of cellular signaling networks. Methods Enzymol. 467, 281\u2013306 (2009)","journal-title":"Methods Enzymol."},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MCI.2014.2307227","volume":"9","author":"E Cambria","year":"2014","unstructured":"Cambria, E., White, B.: Jumping NLP curves: a review of natural language processing research. IEEE Comput. Intell. Mag. 9, 48\u201357 (2014)","journal-title":"IEEE Comput. Intell. Mag."},{"key":"30_CR14","doi-asserted-by":"publisher","unstructured":"Valenzuela-Esc\u00e1rcega, M.A., et al.: Large-scale automated machine reading discovers new cancer-driving mechanisms. Database 2018 (2018). bay098, https:\/\/doi.org\/10.1093\/database\/bay098","DOI":"10.1093\/database\/bay098"},{"key":"30_CR15","unstructured":"Allen, J.F., Teng, C.M.: Broad coverage, domain-generic, deep semantic parsing. In: AAAI Workshop on Construction Grammars, Stanford, CA (2017)"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1038\/msb.2013.1","volume":"9","author":"CF Lopez","year":"2014","unstructured":"Lopez, C.F., Muhlich, J.L., Bachman, J.A., Sorger, P.K.: Programming biological models in Python using PySB. Mol. Syst. Biol. 9, 646\u2013646 (2014)","journal-title":"Mol. Syst. Biol."},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Sayed, K., Kuo, Y.-H., Kulkarni, A., Miskov-Zivanov, N.: DiSH simulator: capturing dynamics of cellular signaling with heterogeneous knowledge. In: 2017 Winter Simulation Conference (2017)","DOI":"10.1109\/WSC.2017.8247841"},{"key":"30_CR18","doi-asserted-by":"publisher","unstructured":"Sayed, K., Bocan, K.N., Miskov-Zivanov, N.: Automated extension of cell signaling models with genetic algorithm. In: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology (2018). https:\/\/doi.org\/10.1109\/embc.2018.8513431","DOI":"10.1109\/embc.2018.8513431"},{"key":"30_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-72926-8_1","volume-title":"Machine Learning, Optimization, and Big Data","author":"K Sayed","year":"2018","unstructured":"Sayed, K., Telmer, C.A., Butchy, A.A., Miskov-Zivanov, N.: Recipes for translating big data machine reading to executable cellular signaling models. In: Nicosia, G., Pardalos, P., Giuffrida, G., Umeton, R. (eds.) MOD 2017. LNCS, vol. 10710, pp. 1\u201315. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72926-8_1"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Sayed, K., Telmer, C.A., Miskov-Zivanov, N.: Motif modeling for cell signaling networks. In: 8th Cairo International Biomedical Engineering Conference, Cairo (2016)","DOI":"10.1109\/CIBEC.2016.7836133"},{"key":"30_CR21","doi-asserted-by":"publisher","unstructured":"Miskov-Zivanov, N., Marculescu, D., Faeder, J.R.: Dynamic behavior of cell signaling networks. In: Proceedings of the 50th Annual Design Automation Conference (2013). https:\/\/doi.org\/10.1145\/2463209.2488743","DOI":"10.1145\/2463209.2488743"},{"key":"30_CR22","doi-asserted-by":"publisher","unstructured":"Miskov-Zivanov, N.: Automation of biological model learning, design and analysis. In: Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (2015). https:\/\/doi.org\/10.1145\/2742060.2743765","DOI":"10.1145\/2742060.2743765"},{"key":"30_CR23","doi-asserted-by":"publisher","unstructured":"Klamt, S., Haus, U., Theis, F.: Hypergraphs and cellular networks. PLoS Comput. Biol. 5(5) (2009). https:\/\/doi.org\/10.1371\/journal.pcbi.1000385","DOI":"10.1371\/journal.pcbi.1000385"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Allen, J.F., Bahkshandeh, O., de Beaumont, W., Galescu, L., Teng, C.M.: Effective broad-coverage deep parsing. In: Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA (2018)","DOI":"10.1609\/aaai.v32i1.11934"},{"key":"30_CR25","doi-asserted-by":"publisher","unstructured":"Valenzuela-Esc\u00e1rcega, M.A., Hahn-Powell, G., Surdeanu, M., Hicks, T.: A domain-independent rule-based framework for event extraction. In: Proceedings of ACL-IJCNLP 2015 System Demonstrations (2015). https:\/\/doi.org\/10.3115\/v1\/p15-4022","DOI":"10.3115\/v1\/p15-4022"},{"issue":"1","key":"30_CR26","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1186\/1471-2121-7-10","volume":"7","author":"G Mckenzie","year":"2006","unstructured":"Mckenzie, G., et al.: Cellular Notch responsiveness is defined by phosphoinositide 3-kinase-dependent signals. BMC Cell Biol. 7(1), 10 (2006). https:\/\/doi.org\/10.1186\/1471-2121-7-10","journal-title":"BMC Cell Biol."},{"issue":"1","key":"30_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1471-2407-5-155","volume":"5","author":"JW Tichelaar","year":"2005","unstructured":"Tichelaar, J.W., Zhang, Y., Leriche, J.C., Biddinger, P.W., Lam, S., Anderson, M.W.: Increased staining for phospho-Akt, p65\/RELA and cIAP-2 in pre-neoplastic human bronchial biopsies. BMC Cancer 5(1), 1\u201313 (2005)","journal-title":"BMC Cancer"},{"issue":"6","key":"30_CR28","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1186\/1476-4598-2-6","volume":"2","author":"S Westphal","year":"2003","unstructured":"Westphal, S., Kalthoff, H.: Apoptosis: targets in pancreatic cancer. Mol. Cancer 2(6), 6 (2003)","journal-title":"Mol. Cancer"},{"key":"30_CR29","doi-asserted-by":"publisher","first-page":"4955","DOI":"10.1128\/IAI.70.9.4955-4960.2002","volume":"70","author":"AS Pym","year":"2002","unstructured":"Pym, A.S., Saint-Joanis, B., Cole, S.T.: Effect of katG mutations on the virulence of myco-bacterium tuberculosis and the implication for transmission in humans. Infect. Immun. 70, 4955\u20134960 (2002)","journal-title":"Infect. Immun."},{"key":"30_CR30","doi-asserted-by":"crossref","unstructured":"Bockstaele, L., Coulonval, K., Kooken, H., Paternot, S., Roger, P.P.: Regulation of CDK4. Cell Div. 1(25) (2006)","DOI":"10.1186\/1747-1028-1-25"},{"key":"30_CR31","doi-asserted-by":"publisher","first-page":"2077","DOI":"10.1093\/nar\/gkl141","volume":"34","author":"S Peiro","year":"2006","unstructured":"Peiro, S.: Snail1 transcriptional repressor binds to its own promoter and controls its expression. Nucleic Acids Res. 34, 2077\u20132084 (2006)","journal-title":"Nucleic Acids Res."},{"key":"30_CR32","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/ecam\/nem043","volume":"4","author":"S Salvioli","year":"2007","unstructured":"Salvioli, S., Sikora, E., Cooper, E.L., Franceschi, C.: Curcumin in cell death processes: a challenge for CAM of age-related pathologies. Evid.-Based Complement. Altern. Med. 4, 181\u2013190 (2007)","journal-title":"Evid.-Based Complement. Altern. Med."},{"key":"30_CR33","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1186\/rr191","volume":"3","author":"OL Miakotina","year":"2002","unstructured":"Miakotina, O.L., Goss, K.L., Snyder, J.M.: Insulin utilizes the PI 3-kinase pathway to inhibit SP-A gene expression in lung epithelial cells. Respir. Res. 3, 26 (2002)","journal-title":"Respir. Res."},{"key":"30_CR34","doi-asserted-by":"publisher","unstructured":"Pavlopoulos, G.A., et al.: Using graph theory to analyze biological networks. Bio-Data Mining 4(1) (2011). https:\/\/doi.org\/10.1186\/1756-0381-4-10","DOI":"10.1186\/1756-0381-4-10"}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54997-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T12:11:15Z","timestamp":1667736675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54997-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549961","9783030549978"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54997-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"129","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}