{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:31:39Z","timestamp":1725845499225},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319284743"},{"type":"electronic","value":"9783319284750"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28475-0_13","type":"book-chapter","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T04:21:01Z","timestamp":1451362861000},"page":"185-199","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Translation of MP $$^{+}$$ V Systems to Register Machines"],"prefix":"10.1007","author":[{"given":"Ricardo Henrique","family":"Gracini Guiraldelli","sequence":"first","affiliation":[]},{"given":"Vincenzo","family":"Manca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"issue":"8","key":"13_CR1","doi-asserted-by":"publisher","first-page":"e22490","DOI":"10.1371\/journal.pone.0022490","volume":"6","author":"J Beal","year":"2011","unstructured":"Beal, J., Lu, T., Weiss, R.: Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networks. PLoS One 6(8), e22490 (2011)","journal-title":"PLoS One"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering, vol. 1, pp. 1\u2013182. Morgan & Claypool, San Rafael (2012)","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11047-009-9121-4","volume":"9","author":"A Castellini","year":"2010","unstructured":"Castellini, A., Franco, G., Manca, V.: Hybrid functional Petri nets as MP systems. Nat. Comput. 9, 61\u201381 (2010)","journal-title":"Nat. Comput."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Fernandez, L., Martinez, V.J., Arroyo, F., Mingo, L.F.: A hardware circuit for selecting active rules in transition P systems. In: Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), p. 4. IEEE (2005)","DOI":"10.1109\/SYNASC.2005.7"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11047-011-9291-8","volume":"11","author":"M Gheorghe","year":"2012","unstructured":"Gheorghe, M., Stannett, M.: Membrane system models for super-turing paradigms. Nat. Comput. 11(2), 253\u2013259 (2012)","journal-title":"Nat. Comput."},{"key":"13_CR6","unstructured":"Gracini Guiraldelli, R.H., Manca, V.: The Computational Universality of Metabolic Computing (2015). \n                      arxiv.org\/abs\/1505.02420"},{"key":"13_CR7","unstructured":"Gravitz, L.: Cell on a Chip (2009). \n                      http:\/\/www.technologyreview.com\/news\/414622\/cell-on-a-chip\/"},{"key":"13_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/b137541","volume-title":"Mathematical Systems Theory I: Modelling, State Space Analysis, Stability and Robustness, Texts in Applied Mathematics","author":"D Hinrichsen","year":"2005","unstructured":"Hinrichsen, D., Pritchard, A.J.: Mathematical Systems Theory I: Modelling, State Space Analysis, Stability and Robustness, Texts in Applied Mathematics, vol. 48. Springer, Heidelberg (2005)"},{"key":"13_CR9","volume-title":"Elements of the Theory of Computation","author":"H Lewis","year":"1997","unstructured":"Lewis, H., Papadimitriou, C.: Elements of the Theory of Computation, 2nd edn. Prentice-Hall, Upper Saddle River (1997)","edition":"2"},{"key":"13_CR10","series-title":"Emergence, Complexity and Computation","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-36223-1","volume-title":"Infobiotics: Information in Biotic Systems","author":"V Manca","year":"2013","unstructured":"Manca, V.: Infobiotics: Information in Biotic Systems. Emergence, Complexity and Computation, vol. 3. Springer, Heidelberg (2013)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-31837-8_4","volume-title":"Membrane Computing","author":"V Manca","year":"2005","unstructured":"Manca, V., Bianco, L., Fontana, F.: Evolution and oscillation in P systems: applications to biological phenomena. In: Mauri, G., Paun, G., P\u00e9rez-J\u00edmenez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 63\u201384. Springer, Heidelberg (2005)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-28024-5_19","volume-title":"Membrane Computing","author":"V Manca","year":"2012","unstructured":"Manca, V., Lombardo, R.: Computing with multi-membranes. In: Gheorghe, M., Paun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 282\u2013299. Springer, Heidelberg (2012)"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.biosystems.2011.12.006","volume":"109","author":"V Manca","year":"2012","unstructured":"Manca, V., Marchetti, L.: Solving dynamical inverse problems by means of metabolic P systems. Biosystems 109(1), 78\u201386 (2012)","journal-title":"Biosystems"},{"key":"13_CR14","volume-title":"Computation: Finite and Infinite Machines","author":"M Minsky","year":"1967","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines, 1st edn. Prentice Hall, Englewood Cliffs (1967)","edition":"1"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.jlap.2010.04.002","volume":"79","author":"G Paun","year":"2010","unstructured":"Paun, G.: A quick introduction to membrane computing. J. Logic Algebraic Program. 79, 291\u2013294 (2010)","journal-title":"J. Logic Algebraic Program."},{"key":"13_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511841446","volume-title":"Ultra-Low Power Bioelectronics: Fundamentals, Biomedical Applications, and Bio-Inspired Systems","author":"R Sarpeshkar","year":"2010","unstructured":"Sarpeshkar, R.: Ultra-Low Power Bioelectronics: Fundamentals, Biomedical Applications, and Bio-Inspired Systems, 1st edn. Cambridge University Press, Cambridge (2010)","edition":"1"},{"issue":"2012","key":"13_CR17","doi-asserted-by":"publisher","first-page":"20130110","DOI":"10.1098\/rsta.2013.0110","volume":"372","author":"R Sarpeshkar","year":"2014","unstructured":"Sarpeshkar, R.: Analog synthetic biology. Philos. Trans. A Math. Phys. Eng. Sci. 372(2012), 20130110 (2014)","journal-title":"Philos. Trans. A Math. Phys. Eng. Sci."},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/321160.321170","volume":"10","author":"JC Shepherdson","year":"1963","unstructured":"Shepherdson, J.C., Sturgis, H.E.: Computability of recursive functions. J. ACM 10, 217\u2013255 (1963)","journal-title":"J. ACM"},{"issue":"1\u20132","key":"13_CR19","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/S0167-2789(98)00057-8","volume":"120","author":"HT Siegelmann","year":"1998","unstructured":"Siegelmann, H.T., Fishman, S.: Analog computation with dynamical systems. Physica D 120(1\u20132), 214\u2013235 (1998)","journal-title":"Physica D"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28475-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:59:22Z","timestamp":1559368762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28475-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319284743","9783319284750"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28475-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}