{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:05:32Z","timestamp":1725807932547},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319129815"},{"type":"electronic","value":"9783319129822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12982-2_3","type":"book-chapter","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T06:26:34Z","timestamp":1413786394000},"page":"32-44","source":"Crossref","is-referenced-by-count":2,"title":["Model Integration and Crosstalk Analysis of Logical Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Kirsten","family":"Thobe","sequence":"first","affiliation":[]},{"given":"Adam","family":"Streck","sequence":"additional","affiliation":[]},{"given":"Hannes","family":"Klarner","sequence":"additional","affiliation":[]},{"given":"Heike","family":"Siebert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)"},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: extending Thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"issue":"6","key":"3_CR3","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.1200\/JCO.2009.25.3641","volume":"28","author":"K.D. Courtney","year":"2010","unstructured":"Courtney, K.D., Corcoran, R.B., Engelman, J.A.: The PI3K pathway as drug target in human cancer. Journal of Clinical Oncology\u00a028(6), 1075\u20131083 (2010)","journal-title":"Journal of Clinical Oncology"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Gallet, E., Manceny, M., Gall, P.L., Ballarini, P.: Adapting LTL model checking for inferring biological parameters. In: AFADL 2014, p. 46 (2014)","DOI":"10.1007\/978-3-319-11737-9_11"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perl\u00e8s, B., Thieffry, D.: Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision. PLoS Computational Biology 9(10), e1003286 (2013)","DOI":"10.1371\/journal.pcbi.1003286"},{"issue":"18","key":"3_CR6","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\u00a029(18), 2320\u20132326 (2013)","journal-title":"Bioinformatics"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.cellsig.2012.09.014","volume":"25","author":"H. Hu","year":"2013","unstructured":"Hu, H., Goltsov, A., Bown, J.L., Sims, A.H., Langdon, S.P., Harrison, D.J., Faratian, D.: Feedforward and feedback regulation of the MAPK and PI3K oscillatory circuit in breast cancer. Cellular Signalling\u00a025(1), 26\u201332 (2013)","journal-title":"Cellular Signalling"},{"issue":"6","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1583","DOI":"10.1046\/j.1432-1327.2000.01197.x","volume":"267","author":"B.N. Kholodenko","year":"2000","unstructured":"Kholodenko, B.N.: Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades. European Journal of Biochemistry\u00a0267(6), 1583\u20131588 (2000)","journal-title":"European Journal of Biochemistry"},{"key":"3_CR9","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.\u00a07605, pp. 207\u2013226. Springer, Heidelberg (2012)"},{"issue":"6","key":"3_CR10","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1093\/bioinformatics\/btt033","volume":"29","author":"N.D. Mendes","year":"2013","unstructured":"Mendes, N.D., Lang, F., Le Cornec, Y.-S., Mateescu, R., Batt, G., Chaouiya, C.: Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinformatics\u00a029(6), 749\u2013757 (2013)","journal-title":"Bioinformatics"},{"issue":"6","key":"3_CR11","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1016\/j.tibs.2011.03.006","volume":"36","author":"M.C. Mendoza","year":"2011","unstructured":"Mendoza, M.C., Er, E.E., Blenis, J.: The Ras-ERK and PI3K-mTOR pathways: cross-talk and compensation. Trends in Biochemical Sciences\u00a036(6), 320\u2013328 (2011)","journal-title":"Trends in Biochemical Sciences"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Samaga, R., Saez-Rodriguez, J., Alexopoulos, L.G., Sorger, P.K., Klamt, S.: The logic of EGFR\/ErbB signaling: theoretical properties and analysis of high-throughput data. PLoS Computational Biology 5(8), e1000438 (2009)","DOI":"10.1371\/journal.pcbi.1000438"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1007\/s11538-010-9609-1","volume":"73","author":"H. Siebert","year":"2011","unstructured":"Siebert, H.: Analysis of discrete bioregulatory networks using symbolic steady states. Bulletin of Mathematical Biology\u00a073(4), 873\u2013898 (2011)","journal-title":"Bulletin of Mathematical Biology"},{"key":"3_CR14","unstructured":"Stelling, J., Mendes, P., Tonin, F., Klipp, E., Zecchina, R., Heinemann, M., Przulj, N., Wodke, J., Stoma, S., Kaltenbach, H.: et\u00a0al. Defining modeling strategies for systems biology. In: Technical report, FutureSysBio Workshop (2011)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","first-page":"257","volume-title":"Computational Methods in Systems Biology","author":"A. Streck","year":"2013","unstructured":"Streck, A., Kolc\u00e1k, J., Siebert, H., \u0160afr\u00e1nek, D.: Esther: Introducing an online platform for parameter identification of boolean networks. In: Gupta, A., Henzinger, T.A. (eds.) CMSB 2013. LNCS, vol.\u00a08130, pp. 257\u2013258. Springer, Heidelberg (2013)"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R. Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: a logical description. Journal of Theoretical Biology\u00a0153(1), 1\u201323 (1991)","journal-title":"Journal of Theoretical Biology"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Wang, R.-S., Saadatpour, A., Albert, R.: Boolean modeling in systems biology: an overview of methodology and applications. Physical Biology\u00a09(5), 055001 (2012)","DOI":"10.1088\/1478-3975\/9\/5\/055001"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Will, M., Qin, A.C.R., Toy, W., Yao, Z., Rodrik-Outmezguine, V., Schneider, C., Huang, X., Monian, P., Jiang, X., De Stanchina, E., et al.: Rapid induction of apoptosis by PI3K inhibitors is dependent upon their transient inhibition of RAS-ERK signaling. Cancer discovery CD-13 (2014)","DOI":"10.1158\/2159-8290.CD-13-0611"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Winter, J.N., Jefferson, L.S., Kimball, S.R.: ERK and Akt signaling pathways function through parallel mechanisms to promote mTORC1 signaling. American Journal of Physiology - Cell Physiology 300(5), C1172\u2013C1180 (2011)","DOI":"10.1152\/ajpcell.00504.2010"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12982-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T06:19:17Z","timestamp":1559024357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12982-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319129815","9783319129822"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12982-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}