{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T09:28:07Z","timestamp":1777368487337,"version":"3.51.4"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,4,23]],"date-time":"2008-04-23T00:00:00Z","timestamp":1208908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s11047-008-9081-0","type":"journal-article","created":{"date-parts":[[2008,4,22]],"date-time":"2008-04-22T09:48:06Z","timestamp":1208857686000},"page":"519-534","source":"Crossref","is-referenced-by-count":34,"title":["Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources"],"prefix":"10.1007","volume":"7","author":[{"given":"Tseren-Onolt","family":"Ishdorj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Leporati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,4,23]]},"reference":[{"key":"9081_CR1","doi-asserted-by":"crossref","unstructured":"Balc\u00e1zar JL, D\u00edaz J, Gabarr\u00f3 J (1988\u20131990) Structural complexity. vol I and II, Springer-Verlag, Berlin","DOI":"10.1007\/978-3-642-75357-2"},{"key":"9081_CR2","unstructured":"Chen H, Freund R, Ionescu M, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (2006a) On string languages generated by spiking neural P systems. In: Guti\u00e9rrez-Naranjo MA, P\u0103un Gh, Riscos-N\u00fa\u00f1ez A, Romero-Campero FJ (eds) Fourth brainstorming week on membrane computing. RGCN Report 02\/2006, Sevilla University, F\u00e9nix Editora, vol I, pp 169\u2013194"},{"key":"9081_CR3","unstructured":"Chen H, Ionescu M, Ishdorj T-O (2006b) On the efficiency of spiking neural P systems. In: Proceedings of the 8th international conference on electronics, information, and communication. Ulanbator, Mongolia, June 2006, pp 49\u201352"},{"key":"9081_CR4","unstructured":"Chen H, Ishdorj T-O, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (2006c) Spiking neural P systems with extended rules. In: Guti\u00e9rrez-Naranjo MA, P\u0103un Gh, Riscos-N\u00fa\u00f1ez A, Romero-Campero FJ (eds) Fourth brainstorming week on membrane computing. RGCN Report 02\/2006, Sevilla University, F\u00e9nix Editora, vol I, pp 241\u2013265"},{"key":"9081_CR5","unstructured":"Garc\u00eda-Arnau M, P\u00e9rez D, Rodr\u00edguez-Pat\u00f3n A, Sos\u00edk P (2007) Spiking neural P systems. Stronger normal forms. In: Guti\u00e9rrez-Naranjo MA, P\u0103un Gh, Romero-Jim\u00e9nez A, Riscos-N\u00fa\u00f1ez A (eds) Fifth brainstorming week on membrane computing. RGCN Report 01\/2007, Sevilla University, F\u00e9nix Editora, pp 157\u2013178"},{"key":"9081_CR6","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability. A guide to the theory on NP-completeness. W.H. Freeman and Company"},{"key":"9081_CR7","doi-asserted-by":"crossref","unstructured":"Gerstner W, Kistler W (2002) Spiking neuron models. Single neurons, populations, plasticity. Cambridge University Press","DOI":"10.1017\/CBO9780511815706"},{"issue":"2\u20133","key":"9081_CR8","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/j.tcs.2006.11.025","volume":"372","author":"OH Ibarra","year":"2007","unstructured":"Ibarra OH, P\u0103un A, P\u0103un Gh, Rodr\u00edguez-Pat\u00f3n A, Sos\u00edk P, Woodworth S (2007) Normal forms for spiking neural P systems. Theor Comp Sci 372(2\u20133):196\u2013217","journal-title":"Theor Comp Sci"},{"key":"9081_CR9","doi-asserted-by":"crossref","unstructured":"Ionescu M, P\u0103un A, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (2006a) Computing with spiking neural P systems: traces and small universal systems. In: DNA Computing, 12th International meeting on DNA computing (DNA12). Revised Selected Papers, LNCS 4287, Springer-Verlag, Berlin, pp 1\u201316","DOI":"10.1007\/11925903_1"},{"issue":"2\u20133","key":"9081_CR10","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3233\/FUN-2006-712-308","volume":"71","author":"M Ionescu","year":"2006","unstructured":"Ionescu M, P\u0103un Gh, Yokomori T (2006b) Spiking neural P systems. Fundam Informaticae 71(2\u20133):279\u2013308","journal-title":"Fundam Informaticae"},{"key":"9081_CR11","doi-asserted-by":"crossref","unstructured":"Leporati A, Mauri G, Zandron C, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (2008) Uniform solutions to SAT and subset sum by spiking neural P systems. Submitted for publication","DOI":"10.1007\/s11047-008-9091-y"},{"key":"9081_CR12","doi-asserted-by":"crossref","unstructured":"Leporati A, Zandron C, Ferretti C, Mauri G (2007a) Solving numerical NP-complete problems with spiking neural P systems. In: Eleftherakis G, Kefalas P, P\u0103un Gh, Rozenberg G, Salomaa A (eds) Membrane computing, international workshop, WMC8, Thessaloniki, Greece, 2007, selected and invited papers. LNCS 4860, Springer-Verlag, Berlin, pp 336\u2013352","DOI":"10.1007\/978-3-540-77312-2_21"},{"key":"9081_CR13","unstructured":"Leporati A, Zandron C, Ferretti C, Mauri G (2007b) On the computational power of spiking neural P systems. Int J Unconventional Comput (in press)"},{"issue":"1","key":"9081_CR14","first-page":"32","volume":"8","author":"W Maass","year":"2002","unstructured":"Maass W (2002) Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1):32\u201336","journal-title":"Special Issue on Foundations of Information Processing of TELEMATIK"},{"key":"9081_CR15","doi-asserted-by":"crossref","unstructured":"Maass W, Bishop C (eds) (1999) Pulsed neural networks. MIT Press","DOI":"10.7551\/mitpress\/5704.001.0001"},{"issue":"1","key":"9081_CR16","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.biosystems.2006.06.006","volume":"90","author":"A P\u0103un","year":"2007","unstructured":"P\u0103un A, P\u0103un Gh (2007) Small universal spiking neural P systems. BioSystems 90(1):48\u201360","journal-title":"BioSystems"},{"key":"9081_CR17","unstructured":"P\u0103un Gh (1999) Computing with membranes. An introduction. In: Bulletin of the EATCS, vol 67, February 1999, pp 139\u2013152"},{"key":"9081_CR18","doi-asserted-by":"crossref","unstructured":"P\u0103un Gh (2000) Computing with membranes. J Comput Syst Sci 61:108\u2013143. See also Turku Centre for Computer Science\u2014TUCS Report No. 208, 1998, available at: http:\/\/www.tucs.fi\/Publications\/techreports\/TR208.php","DOI":"10.1006\/jcss.1999.1693"},{"key":"9081_CR19","doi-asserted-by":"crossref","unstructured":"P\u0103un Gh (2002) Membrane computing. An introduction. Springer\u2013Verlag","DOI":"10.1007\/978-3-642-56196-2"},{"key":"9081_CR20","doi-asserted-by":"crossref","unstructured":"P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ, Rozenberg G (2007) Infinite spike trains in spiking neural P systems. Manuscript","DOI":"10.1016\/j.biosystems.2006.06.006"},{"issue":"1","key":"9081_CR21","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S0304-3975(02)00136-6","volume":"287","author":"Gh P\u0103un","year":"2002","unstructured":"P\u0103un Gh, Rozenberg G (2002) A guide to membrane computing. Theor Comput Sci 287(1):73\u2013100","journal-title":"Theoretical Computer Science"},{"key":"9081_CR22","unstructured":"The P systems Web page: http:\/\/ppage.psystems.eu\/"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9081-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-008-9081-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9081-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T21:18:59Z","timestamp":1738185539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-008-9081-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,23]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9081"],"URL":"https:\/\/doi.org\/10.1007\/s11047-008-9081-0","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,23]]}}}