{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:21:45Z","timestamp":1725808905611},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662444849"},{"type":"electronic","value":"9783662444856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44485-6_10","type":"book-chapter","created":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T08:07:58Z","timestamp":1414829278000},"page":"131-146","source":"Crossref","is-referenced-by-count":3,"title":["Formal Analysis of Gene Networks Using Network Motifs"],"prefix":"10.1007","author":[{"given":"Sohei","family":"Ito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuma","family":"Ichinose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masaya","family":"Shimakawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoko","family":"Izumi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeki","family":"Hagihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoki","family":"Yonezaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,2]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Ito, S., Izumi, N., Hagihara, S., Yonezaki, N.: Qualitative analysis of gene regulatory networks by satisfiability checking of linear temporal logic. In: 10th IEEE International Conference on Bioinformatics & Bioengineering, pp. 232\u2013237. IEEE Computer Society (2010)","DOI":"10.1109\/BIBE.2010.45"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 179\u2013190. ACM Press (1989)","DOI":"10.1145\/75277.75293"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0035748","volume-title":"Automata, Languages and Programming","author":"M Abadi","year":"1989","unstructured":"Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: Ausiello, G., Dezani-Ciancaglini, M., Rocca, S.R.D. (eds.) Automata, Languages and Programming. LNCS, vol. 372, pp. 1\u201317. Springer, Heidelberg (1989)"},{"key":"10_CR4","unstructured":"Mori, R., Yonezaki, N.: Several realizability concepts in reactive objects. In: Information Modeling and Knowledge Bases IV, pp. 407\u2013424 (1993)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"AP Sistla","year":"1985","unstructured":"Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM 32, 733\u2013749 (1985)","journal-title":"J. ACM"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1038\/nrg2102","volume":"8","author":"U Alon","year":"2007","unstructured":"Alon, U.: Network motifs: theory and experimental approaches. Nat. Rev. Genet. 8, 450\u2013461 (2007)","journal-title":"Nat. Rev. Genet."},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R Thomas","year":"2001","unstructured":"Thomas, R., Kauffman, M.: Multistationarity, the basis of cell differentiation and memory. II. logical analysis of regulatory networks in terms of feedback circuits. Chaos 11, 180\u2013195 (2001)","journal-title":"Chaos"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1007\/BF02460695","volume":"55","author":"E Snoussi","year":"1993","unstructured":"Snoussi, E., Thomas, R.: Logical identification of all steady states: the concept of feedback loop characteristic states. Bull. Math. Biol. 55, 973\u2013991 (1993)","journal-title":"Bull. Math. Biol."},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-36387-4_1","volume-title":"Automata Logics, and Infinite Games: A Guide to Current Research","author":"B Farwer","year":"2002","unstructured":"Farwer, B.: \n                    $$\\omega $$\n                  -Automata. In: Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.) Automata Logics, and Infinite Games: A Guide to Current Research, pp. 3\u201320. Springer-Verlag New York, Inc., New York (2002)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"MY Vardi","year":"1994","unstructured":"Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Inf. Comput. 115, 1\u201337 (1994)","journal-title":"Inf. Comput."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Aoshima, T., Sakuma, K., Yonezaki, N.: An efficient verification procedure supporting evolution of reactive system specifications. In: 4th International Workshop on Principles of Software Evolution, pp. 182\u2013185. ACM, New York (2001)","DOI":"10.1145\/602461.602505"},{"key":"10_CR12","first-page":"216","volume":"10","author":"S Ito","year":"2013","unstructured":"Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., Yonezaki, N.: Modular analysis of gene networks by linear temporal logic. J. Integr. Bioinform. 10, 216 (2013)","journal-title":"J. Integr. Bioinform."}],"container-title":["Communications in Computer and Information Science","Biomedical Engineering Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44485-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T12:14:23Z","timestamp":1559045663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44485-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662444849","9783662444856"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44485-6_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}