{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T14:10:09Z","timestamp":1751724609608,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319948058"},{"type":"electronic","value":"9783319948065"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-94806-5_11","type":"book-chapter","created":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T11:00:22Z","timestamp":1530529222000},"page":"191-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms"],"prefix":"10.1007","author":[{"given":"Sohei","family":"Ito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Osari","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":[[2018,7,3]]},"reference":[{"key":"11_CR1","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., Della Rocca, S.R. (eds.) ICALP 1989. LNCS, vol. 372, pp. 1\u201317. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/BFb0035748"},{"key":"11_CR2","unstructured":"Aoshima, T.: On a verification system for reactive system specifications. Ph.D. thesis, Tokyo Institute of Technology (2003)"},{"key":"11_CR3","unstructured":"Arthur, D., Vassilvitskii, S.: K-means++: the advantages of careful seeding. In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, pp. 1027\u20131035. Society for Industrial and Applied Mathematics, Philadelphia (2007)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-14295-6_37","volume-title":"Computer Aided Verification","author":"R Bloem","year":"2010","unstructured":"Bloem, R., Cimatti, A., Greimel, K., Hofferek, G., K\u00f6nighofer, R., Roveri, M., Schuppan, V., Seeber, R.: RATSY \u2013 a new requirements analysis tool with synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 425\u2013429. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_37"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1007\/978-3-642-31424-7_45","volume-title":"Computer Aided Verification","author":"A Bohy","year":"2012","unstructured":"Bohy, A., Bruy\u00e8re, V., Filiot, E., Jin, N., Raskin, J.-F.: Acacia+, a tool for LTL synthesis. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 652\u2013657. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_45"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/s10703-011-0137-x","volume":"40","author":"R Ehlers","year":"2012","unstructured":"Ehlers, R.: Symbolic bounded synthesis. Formal Methods Syst. Des. 40(2), 232\u2013262 (2012). https:\/\/doi.org\/10.1007\/s10703-011-0137-x","journal-title":"Formal Methods Syst. Des."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"MB Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403, 335\u2013338 (2000)","journal-title":"Nature"},{"key":"11_CR8","first-page":"995","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B)","author":"EA Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 995\u20131072. MIT Press, Cambridge (1990)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-02658-4_22","volume-title":"Computer Aided Verification","author":"E Filiot","year":"2009","unstructured":"Filiot, E., Jin, N., Raskin, J.-F.: An antichain algorithm for LTL realizability. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 263\u2013277. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_22"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10703-011-0115-3","volume":"39","author":"E Filiot","year":"2011","unstructured":"Filiot, E., Jin, N., Raskin, J.F.: Antichains and compositional algorithms for LTL synthesis. Formal Methods Syst. Des. 39(3), 261\u2013296 (2011)","journal-title":"Formal Methods Syst. Des."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Ito, S., Hagihara, S., Yonezaki, N.: A qualitative framework for analysing homeostasis in gene networks. In: Proceedings of BIOINFORMATICS 2014, pp. 5\u201316 (2014)","DOI":"10.5220\/0004731400050016"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Ito, S., Hagihara, S., Yonezaki, N.: Approximate analysis of homeostasis of gene networks by linear temporal logic using network motifs. In: BIOINFORMATICS 2015 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Lisbon, Portugal, 12\u201315 January 2015, pp. 93\u2013101 (2015)","DOI":"10.5220\/0005177000930101"},{"key":"11_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-319-26129-4_10","volume-title":"Biomedical Engineering Systems and Technologies","author":"S Ito","year":"2015","unstructured":"Ito, S., Hagihara, S., Yonezaki, N.: Formulation of homeostasis by realisability on linear temporal logic. In: Plantier, G., Schultz, T., Fred, A., Gamboa, H. (eds.) BIOSTEC 2014. CCIS, vol. 511, pp. 149\u2013164. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-26129-4_10"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"12","DOI":"10.2390\/biecoll-jib-2013-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. Bioinf. 10(2), 12\u201323 (2013). https:\/\/doi.org\/10.2390\/biecoll-jib-2013-216","journal-title":"J. Integr. Bioinf."},{"issue":"23","key":"11_CR15","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.tcs.2015.06.017","volume":"594","author":"S Ito","year":"2015","unstructured":"Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., Yonezaki, N.: Qualitative analysis of gene regulatory networks by temporal logic. Theor. Comput. Sci. 594(23), 151\u2013179 (2015). https:\/\/doi.org\/10.1016\/j.tcs.2015.06.017 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397515005277","journal-title":"Theor. Comput. Sci."},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Ito, S., Izumi, N., Hagihara, S., Yonezaki, N.: Qualitative analysis of gene regulatory networks by satisfiability checking of linear temporal logic. In: Proceedings of BIBE 2010, pp. 232\u2013237 (2010). https:\/\/doi.org\/10.1109\/BIBE.2010.45","DOI":"10.1109\/BIBE.2010.45"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Ito, S., Osari, K., Hagihara, S., Yonezaki, N.: Efficient analysis of homeostasis of gene networks with compositional approach. In: Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017) - Volume 3: BIOINFORMATICS, Porto, Portugal, 21\u201323 February 2017, pp. 17\u201328 (2017). https:\/\/doi.org\/10.5220\/0006093600170028","DOI":"10.5220\/0006093600170028"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: Proceedings of the Formal Methods in Computer Aided Design, FMCAD 2006, pp. 117\u2013124. IEEE Computer Society, Washington (2006)","DOI":"10.1109\/FMCAD.2006.22"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-73368-3_29","volume-title":"Computer Aided Verification","author":"B Jobstmann","year":"2007","unstructured":"Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: a tool for property synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 258\u2013262. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_29"},{"key":"11_CR20","unstructured":"Mori, R., Yonezaki, N.: Several realizability concepts in reactive objects. In: Information Modeling and Knowledge Bases IV, pp. 407\u2013424 (1993)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 179\u2013190. ACM, New York (1989)","DOI":"10.1145\/75277.75293"},{"issue":"301","key":"11_CR22","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1080\/01621459.1963.10500845","volume":"58","author":"JH Ward","year":"1963","unstructured":"Ward, J.H.: Hierarchical grouping to optimize an objective function. J. Am. Stat. Assoc. 58(301), 236\u2013244 (1963)","journal-title":"J. Am. Stat. Assoc."},{"issue":"3","key":"11_CR23","doi-asserted-by":"publisher","first-page":"e24","DOI":"10.1371\/journal.pcbi.0030024","volume":"3","author":"Q Zhang","year":"2007","unstructured":"Zhang, Q., Andersen, M.E.: Dose response relationship in anti-stress gene regulatory networks. PLoS Comput. Biol. 3(3), e24 (2007)","journal-title":"PLoS Comput. Biol."}],"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-319-94806-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T13:57:34Z","timestamp":1751723854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94806-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319948058","9783319948065"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94806-5_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}