{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:19:43Z","timestamp":1725560383372},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287025"},{"type":"electronic","value":"9783540318675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549345_4","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:05:47Z","timestamp":1127829947000},"page":"39-51","source":"Crossref","is-referenced-by-count":0,"title":["Some Computational Issues in Membrane Computing"],"prefix":"10.1007","author":[{"given":"Oscar H.","family":"Ibarra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-4_CR1.1","unstructured":"Calude, C.S., Paun, G.:Computing with Cells and Atoms: After Five Years (new text added to Russian edition of the book with the same title first published by Taylor and Francis Publishers, London) (2001);"},{"key":"#cr-split#-4_CR1.2","unstructured":"To be published by Pushchino Publishing House (2004)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","first-page":"97","volume-title":"DNA Computing","author":"E. Csuhaj-Varj\u00fa","year":"2004","unstructured":"Csuhaj-Varj\u00fa, E., Ibarra, O.H., Vaszil, G.: On the computational complexity of P\u00a0automata. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA 2004. LNCS, vol.\u00a03384, pp. 97\u2013106. Springer, Heidelberg (2004)"},{"key":"4_CR3","unstructured":"Dang, Z., Ibarra, O.H.: On P systems operating in sequential and limited parallel modes. In: Pre-Proc. 6th Workshop on Descriptional Complexity of Formal Systems (2004)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1007\/11523468_118","volume-title":"Automata, Languages and Programming","author":"C. Li","year":"2005","unstructured":"Li, C., Dang, Z., Ibarra, O.H., Yen, H.-C.: Signaling P systems and verification problems. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1462\u20131473. Springer, Heidelberg (2005)"},{"key":"4_CR5","unstructured":"Dang, Z., Ibarra, O.H., Li, C., Xie, G.: On model-checking of P systems (Submitted)"},{"key":"4_CR6","unstructured":"Freund, R.: Sequential P-systems (2000), Available at http:\/\/psystems.disco.unimib.it"},{"key":"4_CR7","unstructured":"Freund, R.: Asynchronous P systems. In: Mauri, G., Paun, G., Zandron, C. (eds.) Pre-Proc. Fifth Workshop on Membrane Computing (2004)"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.tcs.2004.06.029","volume":"330","author":"R. Freund","year":"2005","unstructured":"Freund, R., Kari, L., Oswald, M., Sosik, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theoretical Computer Science\u00a0330(2), 251\u2013266 (2005)","journal-title":"Theoretical Computer Science"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Membrane Computing","author":"R. Freund","year":"2003","unstructured":"Freund, R., Paun, A.: Membrane systems with symport\/antiport rules: universality results. In: P\u0103un, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol.\u00a02597, Springer, Heidelberg (2003)"},{"key":"4_CR10","unstructured":"Freund, R., Paun, G.: On deterministic P systems (2003), Available at http:\/\/psystems.disco.unimib.it"},{"key":"4_CR11","unstructured":"Frisco, P.: About P systems with symport\/antiport. In: Second Brainstorming Week on Membrane Computing, Sevilla, Spain, February 2-7, pp. 224\u2013236 (2004)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0304-3975(78)90020-8","volume":"7","author":"S. Greibach","year":"1978","unstructured":"Greibach, S.: Remarks on blind and partially blind one-way multicounter machines. Theor. Comput. Sci.\u00a07, 311\u2013324 (1978)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR13","volume-title":"The Mathematical Theory of Context-Free Languages","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S.: The Mathematical Theory of Context-Free Languages. McGraw-Hill, New York (1966)"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J., Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theor. Comput. Sci.\u00a08(2), 135\u2013159 (1979)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.tcs.2004.05.007","volume":"334","author":"O.H. Ibarra","year":"2005","unstructured":"Ibarra, O.H.: On Membrane hierarchy in P systems. Theoretical Computer Science\u00a0334, 115\u2013129 (2005)","journal-title":"Theoretical Computer Science"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Ibarra, O.: On determinism versus nondeterminism in P systems. Theoretical Computer Science (to appear)","DOI":"10.1016\/j.tcs.2005.03.052"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-30550-7_18","volume-title":"Developments in Language Theory","author":"O. Ibarra","year":"2004","unstructured":"Ibarra, O., Yen, H., Dang, Z.: The power of maximal parallelism in P systems. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol.\u00a03340, pp. 212\u2013224. Springer, Heidelberg (2004)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/11753681_10","volume-title":"DNA Computing","author":"O. Ibarra","year":"2006","unstructured":"Ibarra, O., Wood, S.: On bounded symport\/Antiport P systems. In: Carbone, A., Pierce, N.A. (eds.) DNA 2005. LNCS, vol.\u00a03892, pp. 129\u2013143. Springer, Heidelberg (2006) (to appear)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Ibarra, O., Yen, H.: On deterministic catalytic systems. In: Pre-proceedings of 10th International Conference on Implementation and Application of Automata (2005) (to appear)","DOI":"10.1007\/11605157_14"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/11533719_91","volume-title":"Computing and Combinatorics","author":"O. Ibarra","year":"2005","unstructured":"Ibarra, O., Woodworth, S., Yen, H.-C., Dang, Z.: On sequential and 1-deterministic P systems. In: Wang, L. (ed.) COCOON 2005. LNCS, vol.\u00a03595, pp. 905\u2013914. Springer, Heidelberg (2005) (to appear)"},{"issue":"1","key":"4_CR21","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1051\/ita\/1980140100671","volume":"14","author":"B. Monien","year":"1980","unstructured":"Monien, B.: Two-way multihead automata over a one-letter alphabet. RAIRO Informatique theorique\u00a014(1), 67\u201382 (1980)","journal-title":"RAIRO Informatique theorique"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037362","volume":"20","author":"A. Paun","year":"2002","unstructured":"Paun, A., Paun, G.: The power of communication: P systems with symport\/antiport. New Generation Computers\u00a020(3), 295\u2013306 (2002)","journal-title":"New Generation Computers"},{"key":"4_CR23","unstructured":"Paun, G.: Computing with membranes. Turku University Computer Science Research Report No. 208 (1998)"},{"issue":"1","key":"4_CR24","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. Paun","year":"2000","unstructured":"Paun, G.: Computing with membranes. Journal of Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction","author":"G. Paun","year":"2002","unstructured":"Paun, G.: Membrane Computing: An Introduction. Springer, Heidelberg (2002)"},{"key":"4_CR26","unstructured":"Paun, G.: Further twenty six open problems in membrane computing. Written for the Third Brainstorming Week on Membrane Computing, Sevilla, Spain (February 2005), Available at http:\/\/psystems.disco.unimib.it"},{"issue":"1","key":"4_CR27","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(02)00136-6","volume":"287","author":"G. Paun","year":"2002","unstructured":"Paun, G., Rozenberg, G.: A guide to membrane computing. Theoretical Computer Science\u00a0287(1), 73\u2013100 (2002)","journal-title":"Theoretical Computer Science"},{"key":"4_CR28","first-page":"1","volume":"64","author":"G. Paun","year":"2004","unstructured":"Paun, G., Pazos, J., Perez-Jimenez, M.J., Rodriguez-Paton, A.: Symport\/antiport P systems with three objects are universal. Fundamenta Informaticae\u00a064, 1\u20134 (2004)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"4_CR29","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"W. Savitch","year":"1970","unstructured":"Savitch, W.: Relationships between nondeterministic and deterministic tape complexities. J. Comput. Syst. Sci.\u00a04(2), 177\u2013192 (1970)","journal-title":"J. Comput. Syst. Sci."},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BF00289080","volume":"2","author":"W. Savitch","year":"1973","unstructured":"Savitch, W.: A note on multihead automata and context-sensitive languages. Acta Informatica\u00a02, 249\u2013252 (1973)","journal-title":"Acta Informatica"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-36490-0_28","volume-title":"Membrane Computing","author":"P. Sosik","year":"2003","unstructured":"Sosik, P.: P systems versus register machines: two universality proofs. In: P\u0103un, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol.\u00a02597, pp. 371\u2013382. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549345_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T19:42:24Z","timestamp":1683229344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549345_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287025","9783540318675"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11549345_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}