{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T18:28:54Z","timestamp":1773340134176,"version":"3.50.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T00:00:00Z","timestamp":1555027200000},"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":["J Membr Comput"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s41965-019-00011-4","type":"journal-article","created":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T09:03:33Z","timestamp":1555059813000},"page":"75-84","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Characterizing PSPACE with shallow non-confluent P systems"],"prefix":"10.1007","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8105-4371","authenticated-orcid":false,"given":"Alberto","family":"Leporati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Manzoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giancarlo","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio E.","family":"Porreca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Zandron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,12]]},"reference":[{"key":"11_CR1","first-page":"284","volume-title":"Membrane computing, 15th International conference, CMC 2014, lecture notes in computer science","author":"A Leporati","year":"2014","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Simulating elementary active membranes, with an application to the P conjecture. In: Gheorghe M, Rozenberg G, Sos\u00edk P, Zandron C, editors. Membrane computing, 15th International conference, CMC 2014, lecture notes in computer science, vol. 8961. New York: Springer; 2014. p. 284\u201399."},{"issue":"1\u20132","key":"11_CR2","first-page":"97","volume":"138","author":"A Leporati","year":"2015","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Membrane division, oracles, and the counting hierarchy. Fund Inf. 2015;138(1\u20132):97\u2013111.","journal-title":"Fund Inf"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s11047-016-9565-2","volume":"15","author":"A Leporati","year":"2016","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Monodirectional P systems. Nat Comput. 2016;15(4):551\u201364.","journal-title":"Nat Comput"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.tcs.2017.03.045","volume":"701","author":"A Leporati","year":"2017","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. The counting power of P systems with antimatter. Theor Comput Sci. 2017;701:161\u201373.","journal-title":"Theor Comput Sci"},{"key":"11_CR5","first-page":"307","volume-title":"Membrane computing, 17th international conference, CMC 2016. Lecture notes in computer science","author":"A Leporati","year":"2017","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Shallow non-confluent P systems. In: Leporati A, Rozenberg G, Salomaa A, Zandron C, editors. Membrane computing, 17th international conference, CMC 2016. Lecture notes in computer science, vol. 10105. New York: Springer; 2017. p. 307\u201316."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2017.03.015","volume":"673","author":"A Leporati","year":"2017","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. A toolbox for simpler active membrane algorithms. Theor Comput Sci. 2017;673:42\u201357.","journal-title":"Theor Comput Sci"},{"key":"11_CR7","volume-title":"Membrane computing, CMC 2018. Lecture notes in computer science","author":"A Leporati","year":"2019","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Solving QSAT in sublinear depth. In: Hinze T, Rozenberg G, Salomaa A, Zandron C editors. Membrane computing, CMC 2018. Lecture notes in computer science, vol 11399. Cham: Springer; 2019."},{"key":"11_CR8","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Subroutines in P systems and closure properties of their complexity classes. Theor Comput Sci. 2018."},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s12572-018-0227-8","volume":"10","author":"A Leporati","year":"2018","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. A survey on space complexity of P systems with active membranes. Int J Adv in Eng Sci Appl Math. 2018;10(3):221\u20139.","journal-title":"Int J Adv in Eng Sci Appl Math"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.jcss.2017.06.008","volume":"90","author":"A Leporati","year":"2017","unstructured":"Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Characterising the complexity of tissue P systems with fission rules. J Comput Syst Sci. 2017;90:115\u201328.","journal-title":"J Comput Syst Sci"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/s11047-010-9244-7","volume":"10","author":"N Murphy","year":"2011","unstructured":"Murphy N, Woods D. The computational power of membrane systems under tight uniformity conditions. Nat Comput. 2011;10(1):613\u201332.","journal-title":"Nat Comput"},{"key":"11_CR12","volume-title":"The Oxford handbook of membrane computing","year":"2010","unstructured":"P\u0103un Gh, Rozenberg G, Salomaa A, editors. The Oxford handbook of membrane computing. Oxford: Oxford University Press; 2010."},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1025449224520","volume":"2","author":"MJ P\u00e9rez-Jim\u00e9nez","year":"2003","unstructured":"P\u00e9rez-Jim\u00e9nez MJ, Romero-Jim\u00e9nez A, Sancho-Caparrini F. Complexity classes in models of cellular computing with membranes. Nat Comput. 2003;2(3):265\u201384.","journal-title":"Nat Comput"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1093\/logcom\/exs077","volume":"25","author":"AE Porreca","year":"2015","unstructured":"Porreca AE, Leporati A, Mauri G, Zandron C. Recent complexity-theoretic results on P systems with active membranes. J Logic Comput. 2015;25(4):1047\u201371.","journal-title":"J Logic Comput"},{"issue":"6","key":"11_CR15","doi-asserted-by":"publisher","first-page":"878","DOI":"10.1016\/j.tcs.2009.07.032","volume":"411","author":"AE Porreca","year":"2010","unstructured":"Porreca AE, Mauri G, Zandron C. Non-confluence in divisionless P systems with active membranes. Theor Comput Sci. 2010;411(6):878\u201387.","journal-title":"Theor Comput Sci"},{"issue":"3","key":"11_CR16","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/A:1025401325428","volume":"2","author":"P Sos\u00edk","year":"2003","unstructured":"Sos\u00edk P. The computational power of cell division in P systems: Beating down parallel computers? Nat Comput. 2003;2(3):287\u201398.","journal-title":"Nat Comput"},{"issue":"1","key":"11_CR17","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 Syst Sci. 2007;73(1):137\u201352.","journal-title":"J Comput Syst Sci"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-1-4471-0313-4_21","volume-title":"Unconventional models of computation, UMC\u20192K, proceedings of the second international conference","author":"C Zandron","year":"2001","unstructured":"Zandron C, Ferretti C, Mauri G. Solving NP-complete problems using P systems with active membranes. In: Antoniou I, Calude CS, Dinneen MJ, editors. Unconventional models of computation, UMC\u20192K, proceedings of the second international conference. New York: Springer; 2001. p. 289\u2013301."}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-019-00011-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s41965-019-00011-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-019-00011-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T23:28:42Z","timestamp":1586561322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s41965-019-00011-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,12]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["11"],"URL":"https:\/\/doi.org\/10.1007\/s41965-019-00011-4","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"value":"2523-8906","type":"print"},{"value":"2523-8914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,12]]},"assertion":[{"value":"16 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 April 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}