{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T13:40:24Z","timestamp":1741268424503,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642199998"},{"type":"electronic","value":"9783642200007"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20000-7_10","type":"book-chapter","created":{"date-parts":[[2011,6,21]],"date-time":"2011-06-21T07:27:21Z","timestamp":1308641241000},"page":"125-137","source":"Crossref","is-referenced-by-count":0,"title":["Selected Topics in Computational Complexity of Membrane Systems"],"prefix":"10.1007","author":[{"given":"Petr","family":"Sos\u00edk","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","first-page":"67","volume":"58","author":"A. Alhazov","year":"2003","unstructured":"Alhazov, A., Mart\u00edn-Vide, C., Pan, L.: Solving a PSPACE-complete problem by P systems with restricted active membranes. Fundamenta Informaticae\u00a058(2), 67 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Alhazov, A., P\u00e9rez-Jim\u00e9nez, M.J.: Uniform solution of QSAT using polarizationless active membranes. In: Durand-Lose, J., Margenstern, M. (eds.) [6], pp. 122\u2013133.","DOI":"10.1007\/978-3-540-74593-8_11"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0304-3975(03)00215-9","volume":"306","author":"S. Andrei","year":"2003","unstructured":"Andrei, S., Cavadini, S.V., Chin, W.-N.: A new algorithm for regularizing one-letter context-free grammars. Theoretical Computer Science\u00a0306, 113\u2013122 (2003)","journal-title":"Theoretical Computer Science"},{"volume-title":"Proceedings of the Second International Conference on Unconventional Models of Computation, UMC\u20192K","year":"2001","key":"10_CR4","unstructured":"Antoniou, I., Calude, C., Dinneen, M.J. (eds.): Proceedings of the Second International Conference on Unconventional Models of Computation, UMC\u20192K. Springer, Heidelberg (2001)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Unconventional Computation","year":"2008","unstructured":"Calude, C.S., Costa, J.F., Freund, R., Oswald, M., Rozenberg, G. (eds.): UC 2008. LNCS, vol.\u00a05204. Springer, Heidelberg (2008)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Machines, Computations, and Universality","year":"2007","unstructured":"Durand-Lose, J.O., Margenstern, M. (eds.): MCU 2007. LNCS, vol.\u00a04664. Springer, Heidelberg (2007)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-77312-2_5","volume-title":"Membrane Computing","year":"2007","unstructured":"Eleftherakis, G., Kefalas, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.): WMC 2007. LNCS, vol.\u00a04860, pp. 77\u201396. Springer, Heidelberg (2007)"},{"issue":"5","key":"10_CR8","first-page":"411","volume":"5","author":"M. Garc\u00eda-Arnau","year":"2009","unstructured":"Garc\u00eda-Arnau, M., P\u00e9rez, D., Rodr\u00edguez-Pat\u00f3n, A., Sos\u00edk, P.: Spiking neural P systems: Stronger normal forms. Intern. J. of Unconventional Computing\u00a05(5), 411\u2013425 (2009)","journal-title":"Intern. J. of Unconventional Computing"},{"volume-title":"Fifth Brainstorming Week on Membrane Computing","year":"2007","key":"10_CR9","unstructured":"Guti\u00e9rrez-Naranjo, M.A., P\u0103un, G., Romero-Jim\u00e9nez, A., Riscos-N\u00fanez, A. (eds.): Fifth Brainstorming Week on Membrane Computing. Fenix Editora, Sevilla (2007)"},{"issue":"2-3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/j.tcs.2006.11.025","volume":"372","author":"O.H. Ibarra","year":"2007","unstructured":"Ibarra, O.H., P\u0103un, A., P\u0103un, G., Rodr\u00edguez-Pat\u00f3n, A., Sos\u00edk, P., Woodworth, S.: Normal forms for spiking neural P systems. Theoretical Computer Science\u00a0372(2-3), 196\u2013217 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"2\u20133","key":"10_CR11","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, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae\u00a071(2\u20133), 279\u2013308 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR12","doi-asserted-by":"crossref","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. In: Mart\u00ednez-del-Amor, et al. (eds.) [16], vol.\u00a02, pp. 1\u201327","DOI":"10.1016\/j.tcs.2010.01.019"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/s11047-008-9100-1","volume":"8","author":"A. Leporati","year":"2009","unstructured":"Leporati, A., Ferretti, C., Mauri, G., P\u00e9rez-Jim\u00e9nez, M.J., Zandron, C.: Complexity aspects of polarizationless membrane systems. Natural Computing\u00a08(4), 703\u2013717 (2009)","journal-title":"Natural Computing"},{"key":"10_CR14","unstructured":"Leporati, A., Zandron, C., Ferretti, C., Mauri, G.: On the computational power of spiking neural P systems. In: Guti\u00e9rrez-Naranjo, et al. (eds.) [9], pp. 227\u2013245"},{"volume-title":"Pulsed Neural Networks","year":"1999","key":"10_CR15","unstructured":"Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)"},{"volume-title":"Seventh Brainstorming Week on Membrane Computing","year":"2009","key":"10_CR16","unstructured":"Mart\u00ednez-del-Amor, M.A., Orejuela-Pinedo, E.F., P\u0103un, G., Hurtado de Mendoza, I.P., Riscos-N\u00fanez, A. (eds.): Seventh Brainstorming Week on Membrane Computing. Fenix Editora, Sevilla (2009)"},{"volume-title":"Eigth Brainstorming Week on Membrane Computing","year":"2010","key":"10_CR17","unstructured":"Mart\u00ednez-del-Amor, M.A., P\u0103un, G., Hurtado de Mendoza, I.P., Riscos-N\u00fanez, A. (eds.): Eigth Brainstorming Week on Membrane Computing. Fenix Editora, Sevilla (2010)"},{"key":"10_CR18","unstructured":"Murphy, N.: Uniformity Conditions for Membrane Systems: Uncovering Complexity Below P. National University of Ireland, Maynooth, PhD thesis (2010)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Murphy, N., Woods, D.: Active membrane systems without charges and using only symmetric elementary division characterise P. In: Eleftherakis, et al. (eds.) [7], pp. 367\u2013384","DOI":"10.1007\/978-3-540-77312-2_23"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Neary, T.: On the computational complexity of spiking neural P systems. In: Calude, et al. (eds.) [5], pp. 189\u2013205","DOI":"10.1007\/978-3-540-85194-3_16"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J.: A computational complexity theory in membrane computing. In: P\u0103un et al. (eds.) [24], pp. 125\u2013148","DOI":"10.1007\/978-3-642-11467-0_10"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1025449224520","volume":"2","author":"M.J. P\u00e9rez-Jim\u00e9nez","year":"2003","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Jim\u00e9nez, A., Sancho-Caparrini, F.: Complexity classes in models of cellular computing with membranes. Natural Computing\u00a02, 265\u2013285 (2003)","journal-title":"Natural Computing"},{"issue":"4","key":"10_CR23","doi-asserted-by":"crossref","first-page":"467","DOI":"10.3233\/FUN-2006-72403","volume":"72","author":"A. P\u0103un","year":"2006","unstructured":"P\u0103un, A., Popa, B.: P systems with proteins on membranes. Fundamenta Informaticae\u00a072(4), 467\u2013483 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Membrane Computing","year":"2010","unstructured":"P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fanez, A., Rozenberg, G., Salomaa, A. (eds.): WMC 2009. LNCS, vol.\u00a05957. Springer, Heidelberg (2010)"},{"issue":"1","key":"10_CR25","first-page":"75","volume":"6","author":"G. P\u0103un","year":"2001","unstructured":"P\u0103un, G.: P systems with active membranes: attacking NP-complete problems. J. Automata, Languages and Combinatorics\u00a06(1), 75\u201390 (2001)","journal-title":"J. Automata, Languages and Combinatorics"},{"key":"10_CR26","unstructured":"Rodr\u00edguez-Pat\u00f3n, A.: Sos\u00edk, P., Cienciala, L.: On complexity classes of spiking neural P\u00a0systems. In: Mart\u00ednez-del-Amor, et al. (eds.) [17], pp. 267\u2013282"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-18123-8_27","volume-title":"Membrane Computing","author":"A. Rodr\u00edguez-Pat\u00f3n","year":"2010","unstructured":"Rodr\u00edguez-Pat\u00f3n, A., Sos\u00edk, P., Ciencialov\u00e1, L.: Polynomial complexity classes in spiking neural P systems. In: Gheorghe, M., Hinze, T., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol.\u00a06501, pp. 348\u2013360. Springer, Heidelberg (2010)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Sos\u00edk, P., P\u0103un, A., Rodr\u00edguez-Pat\u00f3n, A., P\u00e9rez, D.: On the power of computing with proteins on membranes. In: P\u0103un, et al. (eds.) [24], pp. 448\u2013460","DOI":"10.1007\/978-3-642-11467-0_30"},{"issue":"1","key":"10_CR29","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.jcss.2006.10.001","volume":"73","author":"P. Sos\u00edk","year":"2007","unstructured":"Sos\u00edk, P., Rodr\u00edguez-Pat\u00f3n, A.: Membrane computing and complexity theory: A characterization of PSPACE. J. Comput. System Sci.\u00a073(1), 137\u2013152 (2007)","journal-title":"J. Comput. System Sci."},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Valsecchi, A., Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: An efficient simulation of polynomial-space turing machines by P systems with active membranes. In: P\u0103un, et al. (eds.) [24], pp. 461\u2013478","DOI":"10.1007\/978-3-642-11467-0_31"},{"key":"10_CR31","series-title":"Algorithms and Complexity","volume-title":"Handbook of Theoretical Computer Science","year":"1990","unstructured":"van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science. Algorithms and Complexity, vol.\u00a0A. Elsevier, Amsterdam (1990)"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Zandron, C., Ferretti, C., Mauri, G.: Solving NP-complete problems using P systems with active membranes. In: Antoniou, et al. (eds.) [4], pp. 289\u2013301","DOI":"10.1007\/978-1-4471-0313-4_21"},{"issue":"1","key":"10_CR33","first-page":"79","volume":"87","author":"C. Zandron","year":"2008","unstructured":"Zandron, C., Leporati, A., Ferretti, C., Mauri, G., P\u00e9rez-Jim\u00e9nez, M.J.: On the computational efficiency of polarizationless recognizer P systems with strong division and dissolution. Fundam. Inform.\u00a087(1), 79\u201391 (2008)","journal-title":"Fundam. Inform."}],"container-title":["Lecture Notes in Computer Science","Computation, Cooperation, and Life"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20000-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T12:30:32Z","timestamp":1741264232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20000-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642199998","9783642200007"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20000-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}