{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T18:02:24Z","timestamp":1784484144594,"version":"3.55.0"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032313478","type":"print"},{"value":"9783032313485","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-31348-5_4","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:25Z","timestamp":1784482165000},"page":"60-77","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing with\u00a0Spikes and\u00a0Membranes: Computability and\u00a0Complexity in\u00a0Spiking Neural P Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2892-6775","authenticated-orcid":false,"given":"David","family":"Orellana-Mart\u00edn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"issue":"5187","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"LM Adleman","year":"1994","unstructured":"Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science 266(5187), 1021\u20131024 (1994)","journal-title":"Science"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11047-017-9649-7","volume":"17","author":"A Alhazov","year":"2018","unstructured":"Alhazov, A., Freund, R., Ivanov, S., Oswald, M., Verlan, S.: Extended spiking neural P systems with white hole rules and their red-green variants. Nat. Comput. 17(2), 297\u2013310 (2018)","journal-title":"Nat. Comput."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Alhazov, A., Freund, R., Oswald, M., Slavkovik, M.: Extended spiking neural P systems. In: Hoogeboom, H.J., P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, pp. 123\u2013134. Springer, Heidelberg (2006)","DOI":"10.1007\/11963516_8"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/s41965-024-00147-y","volume":"6","author":"FGC Cabarle","year":"2024","unstructured":"Cabarle, F.G.C.: Thinking about spiking neural P systems: some theories, tools, and research topics. J. Membr. Comput. 6(2), 148\u2013167 (2024)","journal-title":"J. Membr. Comput."},{"issue":"8","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1905","DOI":"10.1007\/s00521-015-1857-4","volume":"26","author":"FGC Cabarle","year":"2015","unstructured":"Cabarle, F.G.C., Adorna, H.N., P\u00e9rez-Jim\u00e9nez, M.J., Song, T.: Spiking neural P systems with structural plasticity. Neural Comput. Appl. 26(8), 1905\u20131917 (2015)","journal-title":"Neural Comput. Appl."},{"key":"4_CR6","unstructured":"Chen, H., Ionescu, M., Ishdorj, T.: On the efficiency of spiking neural P systems. In: Proceedings of the Fourth Brainstorming Week on Membrane Computing, pp. 195\u2013206. Sevilla, Spain (2006)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing, 2 edn. Springer (2015)","DOI":"10.1007\/978-3-662-44874-8"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Frisco, P., Gheorghe, M., P\u00e9rez-Jim\u00e9nez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. ECC, vol. 7. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-03191-0","DOI":"10.1007\/978-3-319-03191-0"},{"key":"4_CR9","unstructured":"Haykin, S.: Neural Networks and Learning Machines, 3 edn. Pearson Education India (2009)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Hirvensalo, M.: Quantum Computing. Springer (2013)","DOI":"10.1007\/978-1-4020-8265-8_1230"},{"issue":"8","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1109\/JPROC.2015.2444094","volume":"103","author":"G Indiveri","year":"2015","unstructured":"Indiveri, G., Liu, S.C.: Memory and information processing in neuromorphic systems. Proc. IEEE 103(8), 1379\u20131397 (2015)","journal-title":"Proc. IEEE"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Ionescu, M., P\u0103un, Gh., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2\u20133), 279\u2013308 (2006)","DOI":"10.3233\/FUN-2006-712-308"},{"issue":"25","key":"4_CR13","doi-asserted-by":"publisher","first-page":"2345","DOI":"10.1016\/j.tcs.2010.01.019","volume":"411","author":"TO Ishdorj","year":"2010","unstructured":"Ishdorj, T.O., Leporati, A., Pan, L., Zeng, X., Zhang, X.: Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources. Theoret. Comput. Sci. 411(25), 2345\u20132358 (2010)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.ydbio.2007.08.009","volume":"310","author":"S Istrail","year":"2007","unstructured":"Istrail, S., De-Leon, S.B.T., Davidson, E.H.: The regulatory genome and the computer. Dev. Biol. 310(2), 187\u2013195 (2007)","journal-title":"Dev. Biol."},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1025449224520","volume":"2","author":"MJP Jim\u00e9nez","year":"2003","unstructured":"Jim\u00e9nez, M.J.P., Jim\u00e9nez, \u00c1.R., Caparrini, F.S.: Complexity classes in models of cellular computing with membranes. Nat. Comput. 2(3), 265\u2013285 (2003)","journal-title":"Nat. Comput."},{"key":"4_CR16","unstructured":"Leporati, A., Zandron, C., Ferretti, C., Mauri, G.: On the computational power of spiking neural P systems. In: Proceedings of the Fifth Brainstorming Week on Membrane Computing, pp. 227\u2013245. Sevilla, Spain (2007)"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/s11047-022-09917-y","volume":"21","author":"A Leporati","year":"2022","unstructured":"Leporati, A., Mauri, G., Zandron, C.: Spiking neural P systems: main ideas and results. Nat. Comput. 21(4), 629\u2013649 (2022)","journal-title":"Nat. Comput."},{"issue":"4","key":"4_CR18","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, Gh., P\u00e9rez-Jim\u00e9nez, M.J.: Uniform solutions to SAT and Subset Sum by spiking neural P systems. Nat. Comput. 8(4), 681\u2013702 (2009)","journal-title":"Nat. Comput."},{"issue":"9","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1659","DOI":"10.1016\/S0893-6080(97)00011-7","volume":"10","author":"W Maass","year":"1997","unstructured":"Maass, W.: Networks of spiking neurons: the third generation of neural network models. Neural Netw. 10(9), 1659\u20131671 (1997)","journal-title":"Neural Netw."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Mart\u00edn-Vide, C., P\u0103un, Gh., Pazos, J., Rodr\u00edguez-Pat\u00f3n, A.: Tissue P systems. Theor. Comput. Sci. 296(2), 295\u2013326 (2003)","DOI":"10.1016\/S0304-3975(02)00659-X"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"WS McCulloch","year":"1943","unstructured":"McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bull. Math. Biophys. 5, 115\u2013133 (1943)","journal-title":"Bull. Math. Biophys."},{"issue":"01","key":"4_CR22","doi-asserted-by":"publisher","first-page":"2050071","DOI":"10.1142\/S0129065720500719","volume":"31","author":"D Orellana-Mart\u00edn","year":"2021","unstructured":"Orellana-Mart\u00edn, D., Mart\u00ednez-del Amor, M.A., Valencia-Cabrera, L., P\u00e9rez-Hurtado, I., Riscos-N\u00fa\u00f1ez, A., P\u00e9rez-Jim\u00e9nez, M.J.: Dendrite P systems toolbox: representation, algorithms and simulators. Int. J. Neural Syst. 31(01), 2050071 (2021)","journal-title":"Int. J. Neural Syst."},{"issue":"8","key":"4_CR23","doi-asserted-by":"publisher","first-page":"1596","DOI":"10.1007\/s11432-011-4303-y","volume":"54","author":"L Pan","year":"2011","unstructured":"Pan, L., P\u0103un, Gh., P\u00e9rez-Jim\u00e9nez, M.J.: Spiking neural P systems with neuron division and budding. SCIENCE CHINA Inf. Sci. 54(8), 1596\u20131607 (2011)","journal-title":"SCIENCE CHINA Inf. Sci."},{"issue":"3","key":"4_CR24","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1162\/NECO_a_00238","volume":"24","author":"L Pan","year":"2012","unstructured":"Pan, L., Wang, J., Hoogeboom, H.J.: Spiking neural P systems with astrocytes. Neural Comput. 24(3), 805\u2013825 (2012)","journal-title":"Neural Comput."},{"key":"4_CR25","unstructured":"P\u0103un, Gh.: Computing with Membranes. TUCS Research Report\u00a0208, Turku Centre for Computer Science, Turku, Finland (1998)"},{"issue":"1","key":"4_CR26","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh P\u0103un","year":"2000","unstructured":"P\u0103un, Gh.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108\u2013143 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"P\u0103un, Gh.: Computing with membranes: attacking NP-complete problems. In: Antoniou, I., Calude, C.S., Dinneen, M.J. (eds.) Unconventional Models of Computation, UMC\u20192K, pp. 94\u2013115. Springer, London (2001)","DOI":"10.1007\/978-1-4471-0313-4_7"},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"295","DOI":"10.15837\/ijccc.2008.3.2397","volume":"3","author":"Gh P\u0103un","year":"2008","unstructured":"P\u0103un, Gh., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: Tissue P systems with cell division. Int. J. Comput. Commun. Control 3(3), 295\u2013303 (2008)","journal-title":"Int. J. Comput. Commun. Control"},{"key":"4_CR29","volume-title":"The Oxford Handbook of Membrane Computing","year":"2010","unstructured":"P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Peng, H., Wang, J.: Advanced Spiking Neural P Systems. Springer (2024)","DOI":"10.1007\/978-981-97-5280-5"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.neunet.2017.08.003","volume":"95","author":"H Peng","year":"2017","unstructured":"Peng, H., et al.: Spiking neural P systems with multiple channels. Neural Netw. 95, 66\u201371 (2017)","journal-title":"Neural Netw."},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Graciani, C., Orellana-Mart\u00edn, D., Riscos-N\u00fa\u00f1ez, A., Romero-Jim\u00e9nez, \u00c1., Valencia-Cabrera, L.: Fuzzy reasoning spiking neural P systems revisited: a formalization. Theor. Comput. Sci. 701, 216\u2013225 (2017), at the intersection of computer science with biology, chemistry and physics - In Memory of Solomon Marcus","DOI":"10.1016\/j.tcs.2017.04.014"},{"key":"4_CR33","unstructured":"Rozenberg, G., Salomaa, A.: The Mathematical Theory of L Systems, vol. 90. Academic Press (1980)"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1038\/323533a0","volume":"323","author":"DE Rumelhart","year":"1986","unstructured":"Rumelhart, D.E., Hinton, G.E., Williams, R.J.: Learning representations by back-propagating errors. Nature 323, 533\u2013536 (1986)","journal-title":"Nature"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Song, B., Li, K., Orellana-Mart\u00edn, D., P\u00e9rez-Jim\u00e9nez, M.J., P\u00e9Rez-Hurtado, I.: A survey of nature-inspired computing: membrane computing. ACM Comput. Surv. 54(1) (2021)","DOI":"10.1145\/3431234"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.tcs.2014.01.001","volume":"529","author":"T Song","year":"2014","unstructured":"Song, T., Pan, L., P\u0103un, Gh.: Spiking neural P systems with rules on synapses. Theoret. Comput. Sci. 529, 82\u201395 (2014)","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"4_CR37","doi-asserted-by":"publisher","first-page":"1106","DOI":"10.1109\/TCDS.2017.2785332","volume":"10","author":"T Song","year":"2018","unstructured":"Song, T., Rodr\u00edguez-Pat\u00f3n, A., Zheng, P., Zeng, X.: Spiking neural P systems with colored spikes. IEEE Trans. Cogn. Dev. Syst. 10(4), 1106\u20131115 (2018)","journal-title":"IEEE Trans. Cogn. Dev. Syst."},{"key":"4_CR38","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.biosystems.2018.05.004","volume":"169\u2013170","author":"X Song","year":"2018","unstructured":"Song, X., et al.: Spiking neural P systems with multiple channels and anti-spikes. Biosystems 169\u2013170, 13\u201319 (2018)","journal-title":"Biosystems"},{"issue":"3","key":"4_CR39","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/s11047-025-10026-9","volume":"24","author":"P Sos\u00edk","year":"2025","unstructured":"Sos\u00edk, P., Paul, P., Ciencialov\u00e1, L.: A survey on learning models of spiking neural membrane systems. Nat. Comput. 24(3), 665\u2013677 (2025)","journal-title":"Nat. Comput."},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Sos\u00edk, P., Rodr\u00edguez-Pat\u00f3n, A., Ciencialov\u00e1, L.: Polynomial complexity classes in spiking neural P systems. In: Gheorghe, M., Hinze, T., P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, pp. 348\u2013360. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-18123-8_27"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Wang, J., Hoogeboom, H.J., Pan, L.: Spiking neural P systems with neuron division. In: Gheorghe, M., Hinze, T., P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, pp. 361\u2013376. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-18123-8_28"},{"issue":"5","key":"4_CR42","first-page":"636","volume":"9","author":"T Wang","year":"2014","unstructured":"Wang, T., Zhang, G., Zhao, J., He, Z., Wang, J., P\u00e9rez-Jim\u00e9nez, M.J.: Application of fuzzy reasoning spiking neural P systems to fault diagnosis. Int. J. Comput. Commun. Control 9(5), 636\u2013644 (2014)","journal-title":"Int. J. Comput. Commun. Control"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Wolfram, S.: A new kind of science. Appl. Mech. Rev. 56(2), B18\u2013B19 (2003)","DOI":"10.1115\/1.1553433"},{"issue":"2","key":"4_CR44","doi-asserted-by":"publisher","first-page":"734","DOI":"10.1109\/TPDS.2022.3228931","volume":"34","author":"T Wu","year":"2023","unstructured":"Wu, T., Pan, L.: Spiking neural P systems with communication on request and mute rules. IEEE Trans. Parallel Distrib. Syst. 34(2), 734\u2013745 (2023)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Zhang, G., et al.: Membrane Computing Models: Implementations. Springer, Singapore (2021)","DOI":"10.1007\/978-981-16-1566-5"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Zhang, G., et al.: Spiking Neural P Systems. Springer (2024)","DOI":"10.1007\/978-981-97-9282-5_1"}],"container-title":["Lecture Notes in Computer Science","Timeless Machines: Computability Across Eras"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31348-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:27Z","timestamp":1784482167000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,20]]},"assertion":[{"value":"20 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author has no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}