{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:47:14Z","timestamp":1764557234140,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642280238"},{"type":"electronic","value":"9783642280245"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28024-5_22","type":"book-chapter","created":{"date-parts":[[2012,1,12]],"date-time":"2012-01-12T01:19:45Z","timestamp":1326331185000},"page":"333-345","source":"Crossref","is-referenced-by-count":11,"title":["Sequentiality Induced by Spike Number in SNP Systems: Small Universal Machines"],"prefix":"10.1007","author":[{"given":"Andrei","family":"P\u0103un","sequence":"first","affiliation":[]},{"given":"Manuela","family":"Sidoroff","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Gerstner, W., Kistler, W.: Spiking Neuron Models. Single Neurons, Populations, Plasticity. Cambridge Univ. Press (2002)","DOI":"10.1017\/CBO9780511815706"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/TR.2009.2034291","volume":"59","author":"N.R. Gottumukkala","year":"2010","unstructured":"Gottumukkala, N.R., et al.: Reliability of a System of k Nodes for High Performance Computing Applications. IEEE Transactions on Reliability\u00a059(1), 162\u2013169 (2010), doi:10.1109\/TR.2009.2034291","journal-title":"IEEE Transactions on Reliability"},{"issue":"30-32","key":"22_CR3","doi-asserted-by":"publisher","first-page":"2982","DOI":"10.1016\/j.tcs.2009.03.004","volume":"410","author":"O.H. Ibarra","year":"2009","unstructured":"Ibarra, O.H., P\u0103un, A., Rodriguez-Paton, A.: Sequential SNP systems based on min\/max spike number. Theoretical Computer Science\u00a0410(30-32), 2982\u20132991 (2009)","journal-title":"Theoretical Computer Science"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-03076-5_15","volume-title":"DNA Computing","author":"O.H. Ibarra","year":"2009","unstructured":"Ibarra, O.H., P\u0103un, A., Rodr\u00edguez-Pat\u00f3n, A.: Sequentiality Induced by Spike Number in SNP Systems. In: Goel, A., Simmel, F.C., Sos\u00edk, P. (eds.) DNA 14. LNCS, vol.\u00a05347, pp. 179\u2013190. Springer, Heidelberg (2009)"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11839132_10","volume-title":"Unconventional Computation","author":"O.H. Ibarra","year":"2006","unstructured":"Ibarra, O.H., Woodworth, S., Yu, F., P\u0103un, A.: On Spiking Neural P Systems and Partially Blind Counter Machines. In: Calude, C.S., Dinneen, M.J., P\u0103un, G., Rozenberg, G., Stepney, S. (eds.) UC 2006. LNCS, vol.\u00a04135, pp. 113\u2013129. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"22_CR6","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-3), 279\u2013308 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0304-3975(96)00080-1","volume":"168","author":"I. Korec","year":"1996","unstructured":"Korec, I.: Small universal register machines. Theoretical Computer Science\u00a0168, 267\u2013301 (1996)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"22_CR8","first-page":"32","volume":"8","author":"W. Maass","year":"2002","unstructured":"Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK\u00a08(1), 32\u201336 (2002)","journal-title":"Special Issue on Foundations of Information Processing of TELEMATIK"},{"volume-title":"Pulsed Neural Networks","year":"1999","key":"22_CR9","unstructured":"Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)"},{"key":"22_CR10","volume-title":"Computation \u2013 Finite and Infinite Machines","author":"M. Minsky","year":"1967","unstructured":"Minsky, M.: Computation \u2013 Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)"},{"issue":"4","key":"22_CR11","doi-asserted-by":"publisher","first-page":"386","DOI":"10.15837\/ijccc.2009.4.2455","volume":"4","author":"N. Naksinehaboon","year":"2009","unstructured":"Naksinehaboon, N., et al.: High Performance Computing Systems with Various Checkpointing Schemes. International Journal of Computers Communications & Control\u00a04(4), 386\u2013400 (2009)","journal-title":"International Journal of Computers Communications & Control"},{"issue":"1","key":"22_CR12","doi-asserted-by":"publisher","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, G.: Small universal spiking neural P systems. BioSystems\u00a090(1), 48\u201360 (2007)","journal-title":"BioSystems"},{"issue":"24-25","key":"22_CR13","doi-asserted-by":"publisher","first-page":"2424","DOI":"10.1016\/j.tcs.2009.02.034","volume":"410","author":"A. Paun","year":"2009","unstructured":"Paun, A., Paun, M., Rodriguez-Paton, A.: On the Hopcroft\u2019s minimization technique for DFA and DFCA. Theoretical Computer Science\u00a0410(24-25), 2424\u20132430 (2009), doi:10.1016\/j.tcs.2009.02.034","journal-title":"Theoretical Computer Science"},{"key":"22_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing \u2013 An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing \u2013 An Introduction. Springer, Berlin (2002)"},{"issue":"4","key":"22_CR15","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1142\/S0129054106004212","volume":"17","author":"G. P\u0103un","year":"2006","unstructured":"P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science\u00a017(4), 975\u20131002 (2006)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"4","key":"22_CR16","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1142\/S0129054106004212","volume":"17","author":"G. P\u0103un","year":"2006","unstructured":"P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science\u00a017(4), 975\u20131002 (2006)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"3","key":"22_CR17","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1142\/S0129054110007283","volume":"21","author":"M. Paun","year":"2010","unstructured":"Paun, M., Naksinehaboon, N., Nassar, R., Leangsuksun, C., Scott, S.L., Taerat, N.: Incremental Checkpoint Schemes For Weibull Failure Distribution. International Journal of Foundations of Computer Science\u00a021(3), 329\u2013344 (2010)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"4","key":"22_CR18","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1007\/s11047-010-9213-1","volume":"9","author":"T. Neary","year":"2010","unstructured":"Neary, T.: On the computational complexity of spiking neural P systems. Natural Computing\u00a09(4), 831\u2013851 (2010)","journal-title":"Natural Computing"},{"key":"22_CR19","volume-title":"Handbook of Formal Languages","year":"1997","unstructured":"Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3rd edn. Springer, Berlin (1997)","edition":"3"},{"issue":"4","key":"22_CR20","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/1594835.1504227","volume":"44","author":"S.L. Scott","year":"2009","unstructured":"Scott, S.L., et al.: A Tunable Holistic Resiliency Approach for High-Performance Computing Systems. ACM Sigplan Notices\u00a044(4), 305\u2013306 (2009)","journal-title":"ACM Sigplan Notices"},{"issue":"5","key":"22_CR21","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1007\/s10342-010-0405-0","volume":"129","author":"B.M. Strimbu","year":"2010","unstructured":"Strimbu, B.M., Innes, J.L., Strimbu, V.F.: A deterministic harvest scheduler using perfect bin-packing theorem. European Journal of Forest Research\u00a0129(5), 961\u2013974 (2010)","journal-title":"European Journal of Forest Research"},{"issue":"1","key":"22_CR22","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1093\/forestscience\/55.1.72","volume":"55","author":"B.M. Strimbu","year":"2009","unstructured":"Strimbu, B.M., Hickey, G.M., Strimbu, V.G., Innes, J.L.: On the use of statistical tests with non-normaly distributed data in landscape change detection. Forest Science\u00a055(1), 72\u201383 (2009)","journal-title":"Forest Science"},{"issue":"1","key":"22_CR23","first-page":"117","volume":"87","author":"X. Zhang","year":"2008","unstructured":"Zhang, X., Zeng, X., Pan, L.: Smaller universal spiking neural P systems. Fundamenta Informaticae\u00a087(1), 117\u2013136 (2008)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"22_CR24","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1166\/jctn.2010.1436","volume":"7","author":"X. Zhang","year":"2010","unstructured":"Zhang, X., Jiang, Y., Pan, L.: Small Universal Spiking Neural P Systems with Exhaustive Use of Rule. Journal of Computational and Theoretical Nanoscience\u00a07(5), 890\u2013899 (2010)","journal-title":"Journal of Computational and Theoretical Nanoscience"},{"key":"22_CR25","unstructured":"The P Systems Web Page, http:\/\/ppage.psystems.eu"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28024-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T18:53:20Z","timestamp":1742324000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28024-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642280238","9783642280245"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28024-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}