{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:49:17Z","timestamp":1766087357882,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030040697"},{"type":"electronic","value":"9783030040703"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-04070-3_2","type":"book-chapter","created":{"date-parts":[[2018,11,21]],"date-time":"2018-11-21T13:56:27Z","timestamp":1542808587000},"page":"23-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Computing Preimages and Ancestors in Reaction Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7028-4238","authenticated-orcid":false,"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0263-5221","authenticated-orcid":false,"given":"Anna","family":"Bernasconi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7424-9576","authenticated-orcid":false,"given":"Roberta","family":"Gori","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7309-6424","authenticated-orcid":false,"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,22]]},"reference":[{"issue":"1\u20134","key":"2_CR1","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta informaticae 75(1\u20134), 263\u2013280 (2007)","journal-title":"Fundamenta informaticae"},{"issue":"7","key":"2_CR2","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(7), 1499\u20131517 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-08019-2_20","volume-title":"Language, Life, Limits","author":"E Formenti","year":"2014","unstructured":"Formenti, E., Manzoni, L., Porreca, A.E.: Fixed points and attractors of reaction systems. In: Beckmann, A., Csuhaj-Varj\u00fa, E., Meer, K. (eds.) CiE 2014. LNCS, vol. 8493, pp. 194\u2013203. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08019-2_20"},{"key":"2_CR4","unstructured":"Barbuti, R., Bove, P., Gori, R., Levi, F., Milazzo, P.: Simulating gene regulatory networks using reaction systems. In: Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, CS&P 2018 (2018, to appear)"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s11047-013-9372-y","volume":"12","author":"A Salomaa","year":"2013","unstructured":"Salomaa, A.: Minimal and almost minimal reaction systems. Nat. Comput. 12(3), 369\u2013376 (2013)","journal-title":"Nat. Comput."},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1142\/S0129054113500044","volume":"24","author":"A Salomaa","year":"2013","unstructured":"Salomaa, A.: Functional constructions between reaction systems and propositional logic. Int. J. Found. Comput. Sci. 24(1), 147\u2013160 (2013)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.tcs.2015.05.046","volume":"608","author":"A Dennunzio","year":"2015","unstructured":"Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E.: Ancestors, descendants, and gardens of eden in reaction systems. Theor. Comput. Sci. 608, 16\u201326 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/978-3-319-15579-1_42","volume-title":"Language and Automata Theory and Applications","author":"A Dennunzio","year":"2015","unstructured":"Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E.: Preimage problems for reaction systems. In: Dediu, A.-H., Formenti, E., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2015. LNCS, vol. 8977, pp. 537\u2013548. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15579-1_42"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.tcs.2015.11.041","volume":"623","author":"R Barbuti","year":"2016","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623, 114\u2013145 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR10","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. In: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, CS&P, pp. 31\u201343 (2015)"},{"issue":"2\u20133","key":"2_CR11","doi-asserted-by":"publisher","first-page":"173","DOI":"10.3233\/FI-2016-1403","volume":"147","author":"R Barbuti","year":"2016","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. Fundamenta Informaticae 147(2\u20133), 173\u2013191 (2016)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-319-73359-3_4","volume-title":"Membrane Computing","author":"R Barbuti","year":"2018","unstructured":"Barbuti, R., Gori, R., Milazzo, P.: Multiset patterns and their application to\u00a0dynamic causalities in membrane systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) CMC 2017. LNCS, vol. 10725, pp. 54\u201373. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73359-3_4"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s00236-017-0296-3","volume":"55","author":"R Barbuti","year":"2018","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica 55(3), 227\u2013267 (2018)","journal-title":"Acta Informatica"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.tcs.2018.04.007","volume":"736","author":"R Barbuti","year":"2018","unstructured":"Barbuti, R., Gori, R., Milazzo, P.: Predictors for flat membrane systems. Theor. Comput. Sci. 736, 79\u2013102 (2018)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR15","first-page":"1","volume":"30","author":"R Brijder","year":"2010","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. ECEASST 30, 1\u20139 (2010)","journal-title":"ECEASST"},{"issue":"8","key":"2_CR16","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/j.ic.2010.03.004","volume":"208","author":"R Gori","year":"2010","unstructured":"Gori, R., Levi, F.: Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput. 208(8), 869\u2013921 (2010)","journal-title":"Inf. Comput."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.entcs.2013.11.003","volume":"299","author":"C Bodei","year":"2013","unstructured":"Bodei, C., Gori, R., Levi, F.: An analysis for causal properties of membrane interactions. Electron. Notes Theor. Comput. Sci. 299, 15\u201331 (2013)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.tcs.2015.03.014","volume":"587","author":"C Bodei","year":"2015","unstructured":"Bodei, C., Gori, R., Levi, F.: Causal static analysis for brane calculi. Theor. Comput. Sci. 587, 73\u2013103 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-540-77312-2_10","volume-title":"Membrane Computing","author":"N Busi","year":"2007","unstructured":"Busi, N.: Causality in membrane systems. In: Eleftherakis, G., Kefalas, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 160\u2013171. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-77312-2_10"},{"volume-title":"Logic Synthesis and Verification","year":"2002","key":"2_CR20","unstructured":"Hassoun, S., Sasao, T. (eds.): Logic Synthesis and Verification. Kluwer Academic Publishers, Boston (2002)"},{"issue":"7","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1230","DOI":"10.1109\/TCAD.2005.855944","volume":"25","author":"C Umans","year":"2006","unstructured":"Umans, C., Villa, T., Sangiovanni-Vincentelli, A.L.: Complexity of two-level logic minimization. IEEE Trans. CAD Integr. Circuits Syst. 25(7), 1230\u20131246 (2006)","journal-title":"IEEE Trans. CAD Integr. Circuits Syst."},{"key":"2_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"RK Brayton","year":"1984","unstructured":"Brayton, R.K., Sangiovanni-Vincentelli, A.L., McMullen, C.T., Hachtel, G.D.: Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers, Norwell (1984)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04070-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T14:09:44Z","timestamp":1614866984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04070-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030040697","9783030040703"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04070-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"22 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TPNC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Practice of Natural Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tpnc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/tpnc2018.irdta.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}