{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:08:23Z","timestamp":1743145703603,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234007"},{"type":"electronic","value":"9783319234014"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-23401-4_15","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T10:37:23Z","timestamp":1441103843000},"page":"170-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Boolean Network Identification from Multiplex Time Series Data"],"prefix":"10.1007","author":[{"given":"Max","family":"Ostrowski","sequence":"first","affiliation":[]},{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Siegel","sequence":"additional","affiliation":[]},{"given":"Carito","family":"Guziolowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"issue":"9","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1849","DOI":"10.1074\/mcp.M110.000406","volume":"9","author":"LG Alexopoulos","year":"2010","unstructured":"Alexopoulos, L.G., Saez-Rodriguez, J., Cosgrove, B., Lauffenburger, D.A., Sorger, P.: Networks inferred from biochemical data reveal profound differences in toll-like receptor and inflammatory signaling between normal and transformed hepatocytes. Mol. Cell. Proteomics 9(9), 1849\u20131865 (2010)","journal-title":"Mol. Cell. Proteomics"},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.biosystems.2009.03.006","volume":"97","author":"J Aracena","year":"2009","unstructured":"Aracena, J., Goles, E., Moreira, A., Salinas, L.: On the robustness of update schedules in boolean networks. Biosystems 97(1), 1\u20138 (2009)","journal-title":"Biosystems"},{"key":"15_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation. Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation. Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"issue":"6","key":"15_CR4","doi-asserted-by":"publisher","first-page":"e66031","DOI":"10.1371\/journal.pone.0066031","volume":"8","author":"N Berestovsky","year":"2013","unstructured":"Berestovsky, N., Nakhleh, L.: An evaluation of methods for inferring boolean networks from time-series data. PLoS ONE 8(6), e66031 (2013)","journal-title":"PLoS ONE"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-319-11737-9_11","volume-title":"Formal Methods and Software Engineering","author":"E Gallet","year":"2014","unstructured":"Gallet, E., Manceny, M., Le Gall, P., Ballarini, P.: An LTL model checking approach for biological parameter inference. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 155\u2013170. Springer, Heidelberg (2014)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer set solving in practice. In: Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers (2012)","DOI":"10.1007\/978-3-031-01561-8"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Otero, R., Romero, J., Schaub, T., Wanko, P.: Domain-specific heuristics in answer set programming. In: Proceedings of the 27th National Conference on Artificial Intelligence (AAAI 2013), pp. 350\u2013356. AAAI Press (2013)","DOI":"10.1609\/aaai.v27i1.8585"},{"issue":"4\u20135","key":"15_CR9","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1017\/S1471068412000166","volume":"12","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Multi-threaded ASP solving with clasp. Theory and Pract. Log. Program. 12(4\u20135), 525\u2013545 (2012)","journal-title":"Theory and Pract. Log. Program."},{"issue":"18","key":"15_CR10","doi-asserted-by":"publisher","first-page":"2320","DOI":"10.1093\/bioinformatics\/btt393","volume":"29","author":"C Guziolowski","year":"2013","unstructured":"Guziolowski, C., Videla, S., Eduati, F., Thiele, S., Cokelaer, T., Siegel, A., Saez-Rodriguez, J.: Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 29(18), 2320\u20132326 (2013)","journal-title":"Bioinformatics"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/inco.2001.2920","volume":"173","author":"D Harel","year":"2002","unstructured":"Harel, D., Kupferman, O., Vardi, M.Y.: On the complexity of verifying concurrent transition systems. Inf. Comput. 173(2), 143\u2013161 (2002)","journal-title":"Inf. Comput."},{"issue":"3","key":"15_CR12","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S Kauffman","year":"1969","unstructured":"Kauffman, S.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-33636-2_13","volume-title":"Computational Methods in Systems Biology","author":"H Klarner","year":"2012","unstructured":"Klarner, H., Streck, A., \u0160afr\u00e1nek, D., Kol\u010d\u00e1k, J., Siebert, H.: Parameter identification and model ranking of thomas networks. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, vol. 7605, pp. 207\u2013226. Springer, Heidelberg (2012)"},{"issue":"4","key":"15_CR14","doi-asserted-by":"publisher","first-page":"045003","DOI":"10.1088\/1478-3975\/9\/4\/045003","volume":"9","author":"A MacNamara","year":"2012","unstructured":"MacNamara, A., Terfve, C., Henriques, D., Bernabe, B.P., Saez-Rodriguez, J.: State-time spectrum of signal transduction logic models. Phys. Biol. 9(4), 045003 (2012)","journal-title":"Phys. Biol."},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1038\/msb.2009.87","volume":"5","author":"J Saez-Rodriguez","year":"2009","unstructured":"Saez-Rodriguez, J., Alexopoulos, L.G., Epperlein, J., Samaga, R., Lauffenburger, D.A., Klamt, S., Sorger, P.K.: Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Molecular Systems Biology 5, 331 (2009)","journal-title":"Molecular Systems Biology"},{"issue":"5","key":"15_CR16","doi-asserted-by":"publisher","first-page":"055001","DOI":"10.1088\/1478-3975\/9\/5\/055001","volume":"9","author":"R Wang","year":"2012","unstructured":"Wang, R., Saadatpour, A., Albert, R.: Boolean modeling in systems biology: an overview of methodology and applications. Phys. Biol. 9(5), 055001 (2012)","journal-title":"Phys. Biol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23401-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T08:12:49Z","timestamp":1676967169000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23401-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234007","9783319234014"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23401-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}