{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T19:54:30Z","timestamp":1760385270992,"version":"3.40.4"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T00:00:00Z","timestamp":1363824000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s11704-013-2061-2","type":"journal-article","created":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T16:00:25Z","timestamp":1363881625000},"page":"350-358","source":"Crossref","is-referenced-by-count":7,"title":["Reversible spiking neural P systems"],"prefix":"10.1007","volume":"7","author":[{"given":"Tao","family":"Song","sequence":"first","affiliation":[]},{"given":"Xiaolong","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Jinbang","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,21]]},"reference":[{"issue":"3","key":"2061_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R Landauer","year":"1961","unstructured":"Landauer R. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 1961, 5(3): 183\u2013191","journal-title":"IBM Journal of Research and Development"},{"key":"2061_CR2","volume-title":"University of Illinois Press","author":"J Neumann Von","year":"1966","unstructured":"Von Neumann J. Theory of self-reproducing automata. University of Illinois Press, 1966"},{"issue":"6","key":"2061_CR3","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C Bennett","year":"1973","unstructured":"Bennett C. Logical reversibility of computation. IBM Journal of Research and Development, 1973, 17(6): 525\u2013532","journal-title":"IBM Journal of Research and Development"},{"key":"2061_CR4","doi-asserted-by":"crossref","unstructured":"Morita K, Yamaguchi Y. A universal reversible turing machine. In: Proceedings of the 5th International Conference on Machines, Computations, and Universality. 2007, 90-98","DOI":"10.1007\/978-3-540-74593-8_8"},{"key":"2061_CR5","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1080\/01969727608927527","volume":"6","author":"L Priese","year":"1976","unstructured":"Priese L. On a simple combinatorial structure sufficient for sublying nontrival self-reproduction. Journal of Cybernetics, 1976, 6: 101\u2013137","journal-title":"Journal of Cybernetics"},{"issue":"3","key":"2061_CR6","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E Fredkin","year":"1982","unstructured":"Fredkin E, Toffoli T. Conservative logic. International Journal of The oretical Physics, 1982, 21(3): 219\u2013253","journal-title":"International Journal of The oretical Physics"},{"issue":"1","key":"2061_CR7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0167-2789(90)90185-R","volume":"45","author":"T Toffoli","year":"1990","unstructured":"Toffoli T, Margolus N. Invertible cellular automata: a review. Physica D: Nonlinear Phenomena, 1990, 45(1): 229\u2013253","journal-title":"Physica D: Nonlinear Phenomena"},{"issue":"2","key":"2061_CR8","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/S0304-3975(96)00081-3","volume":"168","author":"K Morita","year":"1996","unstructured":"Morita K. Universality of a reversible two-counter machine. Theoretical Computer Science, 1996, 168(2): 303\u2013320","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"2061_CR9","first-page":"529","volume":"74","author":"A Leporati","year":"2006","unstructured":"Leporati A, Zandron C, Mauri G. Reversible P systems to simulate fredkin circuits. Fundamenta Informaticae, 2006, 74(4): 529\u2013548","journal-title":"Fundamenta Informaticae"},{"key":"2061_CR10","first-page":"158","volume-title":"Proceedings of the 10th International Conference on Membrane Computing","author":"A Alhazov","year":"2009","unstructured":"Alhazov A, Morita K. On reversibility and determinism in p systems. In: Proceedings of the 10th International Conference on Membrane Computing. 2009, 158\u2013168"},{"issue":"1","key":"2061_CR11","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un G. Computing with membranes. Journal of Computer and System Sciences, 2000, 61(1): 108\u2013143","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"2061_CR12","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\u00e1un G, Yokomori T. Spiking neural P systems. Fundamenta informaticae, 2006, 71(2): 279\u2013308","journal-title":"Fundamenta informaticae"},{"issue":"4","key":"2061_CR13","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1142\/S0129054106004212","volume":"17","author":"G P\u0103un","year":"2006","unstructured":"P\u0103un G, MARIO J, Rozenberg G. Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science, 2006, 17(4): 975\u20131002","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"1","key":"2061_CR14","first-page":"141","volume":"75","author":"H Chen","year":"2007","unstructured":"Chen H, Freund R, Ionescu M, P\u00e1un G, P\u00e9rez-Jim\u00e9nez M. On string languages generated by spiking neural P systems. Fundamenta Informaticae, 2007, 75(1): 141\u2013162","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"2061_CR15","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1007\/s11047-008-9079-7","volume":"7","author":"X Zhang","year":"2008","unstructured":"Zhang X, Zeng X, Pan L. On string languages generated by spiking neural P systems with exhaustive use of rules. Natural Computing, 2008, 7(4): 535\u2013549","journal-title":"Natural Computing"},{"issue":"1","key":"2061_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 G. Small universal spiking neural P systems. BioSystems, 2007, 90(1): 48\u201360","journal-title":"BioSystems"},{"issue":"2","key":"2061_CR17","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/TNB.2011.2160281","volume":"10","author":"L Pan","year":"2011","unstructured":"Pan L, Zeng X. Small universal spiking neural P systems working in exhaustive mode. IEEE Transactions on NanoBioscience, 2011, 10(2): 99\u2013105","journal-title":"IEEE Transactions on NanoBioscience"},{"issue":"25","key":"2061_CR18","doi-asserted-by":"crossref","first-page":"2345","DOI":"10.1016\/j.tcs.2010.01.019","volume":"411","author":"T Ishdorj","year":"2010","unstructured":"Ishdorj T, Leporati A, Pan L, Zeng X, Zhang X. Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with precomputed resources. Theoretical Computer Science, 2010, 411(25): 2345\u20132358","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"2061_CR19","doi-asserted-by":"crossref","first-page":"1596","DOI":"10.1007\/s11432-011-4303-y","volume":"54","author":"L Pan","year":"2011","unstructured":"Pan L, P\u0103un G, P\u00e9rez-Jim\u00e9nez M. Spiking neural P systems with neuron division and budding. Science China Information Sciences, 2011, 54(8): 1596\u20131607","journal-title":"Science China Information Sciences"},{"issue":"1","key":"2061_CR20","doi-asserted-by":"crossref","first-page":"275","DOI":"10.3233\/FI-2009-200","volume":"97","author":"X Zeng","year":"2009","unstructured":"Zeng X, Zhang X, Pan L. Homogeneous spiking neural P systems. Fundamenta Informaticae, 2009, 97(1): 275\u2013294","journal-title":"Fundamenta Informaticae"},{"issue":"10","key":"2061_CR21","doi-asserted-by":"crossref","first-page":"2615","DOI":"10.1162\/NECO_a_00022","volume":"22","author":"J Wang","year":"2010","unstructured":"Wang J, Hoogeboom H, Pan L, Paun G, P\u00e9rez-Jim\u00e9nez M. Spiking neural P systems with weights. Neural Computation, 2010, 22(10): 2615\u20132646","journal-title":"Neural Computation"},{"issue":"5","key":"2061_CR22","doi-asserted-by":"crossref","first-page":"1320","DOI":"10.1162\/NECO_a_00115","volume":"23","author":"L Pan","year":"2011","unstructured":"Pan L, Zeng X, Zhang X. Time-free spiking neural P systems. Neural Computation, 2011, 23(5): 1320\u20131342","journal-title":"Neural Computation"},{"issue":"3","key":"2061_CR23","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1162\/NECO_a_00238","volume":"24","author":"L Pan","year":"2012","unstructured":"Pan L, Wang J, Hoogeboom H. Spiking neural P systems with astrocytes. Neural Computation, 2012, 24(3): 805\u2013825","journal-title":"Neural Computation"},{"key":"2061_CR24","volume-title":"Springer Verlag","author":"G Rozenberg","year":"1997","unstructured":"Rozenberg G. Handbook of formal languages: word, language, grammar. Springer Verlag, 1997"},{"key":"2061_CR25","first-page":"177","volume-title":"Fundamentals of Computation Theory","author":"G P\u0103un","year":"2003","unstructured":"P\u0103un G. Membrane computing: an introduction. Fundamentals of Computation Theory, 2003, 177\u2013220"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-2061-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-013-2061-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-2061-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T01:24:11Z","timestamp":1745976251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-013-2061-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,21]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["2061"],"URL":"https:\/\/doi.org\/10.1007\/s11704-013-2061-2","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"type":"print","value":"2095-2228"},{"type":"electronic","value":"2095-2236"}],"subject":[],"published":{"date-parts":[[2013,3,21]]}}}