{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:03:31Z","timestamp":1742961811811,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642375019"},{"type":"electronic","value":"9783642375026"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-37502-6_126","type":"book-chapter","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T08:25:55Z","timestamp":1367915155000},"page":"1081-1089","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Kernel P Systems: Applications and Implementations"],"prefix":"10.1007","author":[{"given":"Florentin","family":"Ipate","sequence":"first","affiliation":[]},{"given":"Raluca","family":"Lefticaru","sequence":"additional","affiliation":[]},{"given":"Lauren\u0163iu","family":"Mierl\u0103","sequence":"additional","affiliation":[]},{"given":"Luis Valencia","family":"Cabrera","sequence":"additional","affiliation":[]},{"given":"Huang","family":"Han","sequence":"additional","affiliation":[]},{"given":"Gexiang","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Ciprian","family":"Dragomir","sequence":"additional","affiliation":[]},{"given":"Mario J. P\u00e9rez","family":"Jim\u00e9nez","sequence":"additional","affiliation":[]},{"given":"Marian","family":"Gheorghe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,8]]},"reference":[{"key":"126_CR1","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un G (2000) Computing with membranes. J Comput Syst Sci 61:108\u2013143","journal-title":"J Comput Syst Sci"},{"key":"126_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing: an introduction","author":"G P\u0103un","year":"2002","unstructured":"P\u0103un G (2002) Membrane computing: an introduction. Springer, London"},{"volume-title":"The Oxford handbook of membrane computing","year":"2010","key":"126_CR3","unstructured":"P\u0103un G, Rozenberg G, Salomaa A (eds) (2010) The Oxford handbook of membrane computing. Oxford University Press, Oxford"},{"key":"126_CR4","series-title":"Natural computing series","volume-title":"Applications of membrane computing","year":"2006","unstructured":"Ciobanu G, P\u00e9rez-Jim\u00e9nez MJ, P\u0103un G (eds) (2006) Applications of membrane computing., Natural computing seriesSpringer, London"},{"key":"126_CR5","unstructured":"Gheorghe M, Ipate F, Dragomir C (2012) A kernel P system. In: Proceedings of 10th brainstorming week on membrane computing. F\u00e9nix Editora, Seville, Spain, pp 153\u2013170"},{"key":"126_CR6","doi-asserted-by":"publisher","DOI":"10.1080\/00207160.2012.743712","author":"M Gheorghe","year":"2012","unstructured":"Gheorghe M, Ipate F, Lefticaru R, P\u00e9rez-Jim\u00e9nez MJ, \u0162urcanu A, Valencia Cabrera L, Garc\u00eda-Quimondo M, Mierl\u0103 L (2012) 3-col problem modelling using simple kernel P systems. Int J Comput Math. doi:10.1080\/00207160.2012.743712","journal-title":"Int J Comput Math"},{"key":"126_CR7","unstructured":"Ipate F, Dragomir, C, Lefticaru R, Mierl\u0103 L, P\u00e9rez-Jim\u00e9nez MJ (2012) Using a kernel P system to solve the 3-col problem. In: Proceedings of the 13th international conference on membrane computing. Computer and Automation Research Institute, Hungarian Academy of Sciences, pp 243\u2013258"},{"key":"126_CR8","volume-title":"Principles of the spin model checker","author":"M Ben-Ari","year":"2008","unstructured":"Ben-Ari M (2008) Principles of the spin model checker. Springer, London"},{"key":"126_CR9","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/s11047-008-9091-y","volume":"8","author":"A Leporati","year":"2009","unstructured":"Leporati A, Mauri G, Zandron C, P\u0103un G, P\u00e9rez-Jim\u00e9nez MJ (2009) Uniform solutions to SAT and subset Sum by spiking neural P systems. Nat Comput 8:681\u2013702","journal-title":"Nat Comput"},{"issue":"4","key":"126_CR10","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF03037637","volume":"23","author":"MJ P\u00e9rez-Jim\u00e9nez","year":"2005","unstructured":"P\u00e9rez-Jim\u00e9nez MJ, Riscos-N\u00fa\u00f1ez A (2005) Solving the subset-Sum problem by P systems with active membranes. New Gener Comput 23(4):339\u2013356","journal-title":"New Gener Comput"},{"key":"126_CR11","unstructured":"Code repository http:\/\/www.p-lingua.org\/mecosim\/doc\/case_studies\/SubsetSumBIC-TA\/"},{"key":"126_CR12","doi-asserted-by":"crossref","unstructured":"Ipate F, Lefticaru R, P\u00e9rez-Hurtado I, P\u00e9rez-Jim\u00e9nez MJ, Tudose C (2012) Formal verification of P systems with active membranes through model checking. In: Gheorghe M, P\u0103un G, Rozenberg G, Salomaa A, Verlan S (eds) Proceeding of the international conference on membrane computing 2011. Lecture Notes in Computer Science, vol 7184. Springer pp 215\u2013225","DOI":"10.1007\/978-3-642-28024-5_15"},{"key":"126_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1142\/S0129054111007897","volume":"22","author":"F Ipate","year":"2011","unstructured":"Ipate F, Lefticaru R, Tudose C (2011) Formal verification of P systems using Spin. Int J Found Comput Sci 22:133\u2013142","journal-title":"Int J Found Comput Sci"}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37502-6_126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T12:46:21Z","timestamp":1676810781000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37502-6_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642375019","9783642375026"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37502-6_126","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"8 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}