{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:11:29Z","timestamp":1768907489589,"version":"3.49.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319522333","type":"print"},{"value":"9783319522340","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-52234-0_1","type":"book-chapter","created":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T23:52:06Z","timestamp":1484092326000},"page":"1-13","source":"Crossref","is-referenced-by-count":7,"title":["Bringing LTL Model Checking to Biologists"],"prefix":"10.1007","author":[{"given":"Zara","family":"Ahmed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Benque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Berezin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna Caroline E.","family":"Dahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jasmin","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin A.","family":"Hall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samin","family":"Ishtiaq","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jay","family":"Nanavati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maik","family":"Riechert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikita","family":"Skoblov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,12]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"i80","DOI":"10.1093\/bioinformatics\/btt243","volume":"29","author":"N Bonzanni","year":"2013","unstructured":"Bonzanni, N., Garg, A., Feenstra, K.A., Sch\u00fctte, J., Kinston, S., Miranda-Saavedra, D., Heringa, J., Xenarios, I., G\u00f6ttgens, B.: Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. Bioinformatics 29, i80\u2013i88 (2013)","journal-title":"Bioinformatics"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Chuang, R., Hall, B., Benque, D., Cook, B., Ishtiaq, S., Piterman, N., Taylor, A., Vardi, M., Koschmieder, S., Gottgens, B., Fisher, J.: Drug target optimization in chronic myeloid leukemia using innovative computational platform. Sci. Rep. 5, 8190 (2015)","DOI":"10.1038\/srep08190"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1038\/nbt.3154","volume":"33","author":"V Moignard","year":"2015","unstructured":"Moignard, V., Woodhouse, S., Haghverdi, L., Lilly, J., Tanaka, Y., Wilkinson, A., Buettner, F., Nishikawa, S., Piterman, N., Kouskoff, V., Theis, F., Fisher, J., Gottgens, B.: Decoding the regulatory network of early blood development from single cell gene expression measurements. Nat. Biotechnol. 33, 269\u2013276 (2015)","journal-title":"Nat. Biotechnol."},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"4042","DOI":"10.1158\/0008-5472.CAN-15-0602","volume":"75","author":"E Remy","year":"2015","unstructured":"Remy, E., Rebouissou, S., Chaouiya, C., Zinovyev, A., Radvanyi, F., Calzone, L.: A modeling approach to explain mutually exclusive and co-occurring genetic alterations in bladder tumorigenesis. Cancer Res. 75, 4042\u20134052 (2015)","journal-title":"Cancer Res."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"8033","DOI":"10.1038\/ncomms9033","volume":"6","author":"CDA Terfve","year":"2015","unstructured":"Terfve, C.D.A., Wilkes, E.H., Casado, P., Cutillas, P.R., Saez-Rodriguez, J.: Large-scale models of signal propagation in human cells derived from discovery phosphoproteomic data. Nat. Commun. 6, 8033 (2015)","journal-title":"Nat. Commun."},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-642-31424-7_50","volume-title":"Computer Aided Verification","author":"D Benque","year":"2012","unstructured":"Benque, D., et al.: BMA: visual tool for modeling and analyzing biological networks. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 686\u2013692. Springer, Berlin (2012). doi: 10.1007\/978-3-642-31424-7_50"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-75140-3_16","volume-title":"Computational Methods in Systems Biology","author":"A Naldi","year":"2007","unstructured":"Naldi, A., Thieffry, D., Chaouiya, C.: Decision diagrams for the representation and analysis of logical models of genetic networks. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS, vol. 4695, pp. 233\u2013247. Springer, Berlin (2007). doi: 10.1007\/978-3-540-75140-3_16"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-18275-4_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B Cook","year":"2011","unstructured":"Cook, B., Fisher, J., Krepska, E., Piterman, N.: Proving stabilization of biological systems. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 134\u2013149. Springer, Berlin (2011). doi: 10.1007\/978-3-642-18275-4_11"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-319-08867-9_24","volume-title":"Computer Aided Verification","author":"B Cook","year":"2014","unstructured":"Cook, B., Fisher, J., Hall, B.A., Ishtiaq, S., Juniwal, G., Piterman, N.: Finding instability in biological models. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 358\u2013372. Springer, Cham (2014). doi: 10.1007\/978-3-319-08867-9_24"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-39799-8_5","volume-title":"Computer Aided Verification","author":"K Claessen","year":"2013","unstructured":"Claessen, K., Fisher, J., Ishtiaq, S., Piterman, N., Wang, Q.: Model-checking signal transduction networks through decreasing reachability sets. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 85\u2013100. Springer, Berlin (2013). doi: 10.1007\/978-3-642-39799-8_5"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1186\/1752-0509-1-4","volume":"1","author":"M Schaub","year":"2007","unstructured":"Schaub, M., Henzinger, T., Fisher, J.: Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Syst. Biol. 1, 4 (2007)","journal-title":"BMC Syst. Biol."},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"e106035","DOI":"10.1371\/journal.pone.0106035","volume":"9","author":"D Bean","year":"2014","unstructured":"Bean, D., Heimbach, J., Ficorella, L., Micklem, G., Oliver, S., Favrin, G.: esyN: Network building, sharing, and publishing. PLoS ONE 9, e106035 (2014)","journal-title":"PLoS ONE"},{"key":"1_CR13","unstructured":"Microsoft: Microsoft bot framework (2016). https:\/\/dev.botframework.com\/"},{"key":"1_CR14","unstructured":"Microsoft: Microsoft cognitive services (2016). https:\/\/www.microsoft.com\/cognitive-services\/"},{"key":"1_CR15","unstructured":"SAP: Chevrotain a JavaScript parsing DSL (2014). https:\/\/github.com\/SAP\/chevrotain\/"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"van der Plas, L., Tiedemann, J.: Finding synonyms using automatic word alignment and measures of distributional similarity. In: Proceedings of the COLING\/ACL on Main Conference Poster Sessions. COLING-ACL 2006, Stroudsburg, PA, USA, pp. 866\u2013873. Association for Computational Linguistics (2006)","DOI":"10.3115\/1273073.1273184"},{"key":"1_CR17","unstructured":"Richardson, R., Smeaton, A., Murphy, J.: Using wordnet as a knowledge base for measuring semantic similarity between words (1994)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52234-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:53:52Z","timestamp":1498362832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52234-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522333","9783319522340"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52234-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}