Antonio E. Porreca

Papers

This is a list of my journal and conference papers, as well as book chapters, technical reports, and volumes edited by me. You can follow the link to the publisher’s website, or download a preprint if you do not have access to the published version of the paper.

Journal papers

  1. Dennunzio, A., Formenti, E., Manzoni, L., Mauri, G., Porreca, A.E.: Computational complexity of finite asynchronous cellular automata. Theoretical Computer Science. 664, 131–143 (2017). [link] [preprint]
  2. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: The counting power of P systems with antimatter. Theoretical Computer Science. 701, 161–173 (2017). [link] [preprint]
  3. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: A toolbox for simpler active membrane algorithms. Theoretical Computer Science. 673, 42–57 (2017). [link] [preprint]
  4. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Tissue P systems with small cell volume. Fundamenta Informaticae. 154, 261–275 (2017). [link] [preprint]
  5. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Characterising the complexity of tissue P systems with fission rules. Journal of Computer and System Sciences. 90, 115–128 (2017). [link] [preprint]
  6. Nobile, M.S., Porreca, A.E., Spolaor, S., Manzoni, L., Cazzaniga, P., Mauri, G., Besozzi, D.: Efficient simulation of reaction systems on Graphics Processing Units. Fundamenta Informaticae. 154, 307–321 (2017). [link] [preprint]
  7. Azimi, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I., Porreca, A.E.: Complexity of model checking for reaction systems. Theoretical Computer Science. 623, 103–113 (2016). [link] [preprint]
  8. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Monodirectional P systems. Natural Computing. 15, 551–564 (2016). [link] [preprint]
  9. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Trading geometric realism for efficiency in tissue P systems. Romanian Journal of Information Science and Technology. 19, 17–30 (2016). [link] [preprint]
  10. Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E.: Ancestors, descendants, and gardens of Eden in reaction systems. Theoretical Computer Science. 608, 16–26 (2015). [link] [preprint]
  11. Formenti, E., Manzoni, L., Porreca, A.E.: On the complexity of occurrence and convergence problems in reaction systems. Natural Computing. 14, 185–191 (2015). [link] [preprint]
  12. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Membrane division, oracles, and the counting hierarchy. Fundamenta Informaticae. 138, 97–111 (2015). [link] [preprint]
  13. Mauri, G., Leporati, A., Porreca, A.E., Zandron, C.: Recent complexity-theoretic results on P systems with active membranes. Journal of Logic and Computation. 25, 1047–1071 (2015). [link] [preprint]
  14. Alhazov, A., Leporati, A., Mauri, G., Porreca, A.E., Zandron, C.: Space complexity equivalence of P systems with active membranes and Turing machines. Theoretical Computer Science. 529, 69–81 (2014). [link] [preprint]
  15. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Constant-space P systems with active membranes. Fundamenta Informaticae. 134, 111–128 (2014). [link] [preprint]
  16. Leporati, A., Mauri, G., Porreca, A.E., Zandron, C.: A gap in the space hierarchy of P systems with active membranes. Journal of Automata, Languages and Combinatorics. 19, 173–184 (2014). [link] [preprint]
  17. Manzoni, L., Poças, D., Porreca, A.E.: Simple reaction systems and their classification. International Journal of Foundations of Computer Science. 25, 441–457 (2014). [link] [preprint]
  18. Leporati, A., Porreca, A.E., Zandron, C., Mauri, G.: Improved universality results for parallel enzymatic numerical P systems. International Journal of Unconventional Computing. 9, 385–404 (2013). [link] [preprint]
  19. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P systems with active membranes working in polynomial space. International Journal of Foundations of Computer Science. 22, 65–73 (2011). [link] [preprint]
  20. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P systems with active membranes: Trading time for space. Natural Computing. 10, 167–182 (2011). [link] [preprint]
  21. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Elementary active membranes have the power of counting. International Journal of Natural Computing Research. 2, 329–342 (2011). [link] [preprint]
  22. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Complete problems for a variant of P systems with active membranes. Romanian Journal of Information Science and Technology. 13, 197–207 (2010). [link] [preprint]
  23. Porreca, A.E., Mauri, G., Zandron, C.: Non-confluence in divisionless P systems with active membranes. Theoretical Computer Science. 411, 878–887 (2010). [link] [preprint]
  24. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Introducing a space complexity measure for P systems. International Journal of Computers, Communications & Control. 4, 301–310 (2009). [link] [preprint]
  25. Porreca, A.E., Mauri, G., Zandron, C.: Complexity classes for membrane systems. RAIRO Theoretical Informatics and Applications. 40, 141–162 (2006). [link] [preprint]

Conference and workshop papers

  1. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Solving a special case of the P conjecture using dependency graphs with dissolution. In: Gheorghe, M., Rozenberg, G., Salomaa, A., and Zandron, C. (eds.) Membrane Computing, 18th International Conference, CMC 2017. pp. 196–213. Springer (2018). [link] [preprint]
  2. Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Purely catalytic P systems over integers and their generative power. In: Leporati, A., Rozenberg, G., Salomaa, A., and Zandron, C. (eds.) Membrane Computing, 17th International Conference, CMC 2016. pp. 67–82. Springer (2017). [link] [preprint]
  3. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Shallow non-confluent P systems. In: Leporati, A., Rozenberg, G., Salomaa, A., and Zandron, C. (eds.) Membrane Computing, 17th International Conference, CMC 2016. pp. 307–316. Springer (2017). [link] [preprint]
  4. Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Semilinear sets, register machines, and integer vector addition (P) systems. In: Leporati, A. and Zandron, C. (eds.) Proceedings of the 17th International Conference on Membrane Computing (CMC17). pp. 39–55 (2016). [link] [preprint]
  5. Belingheri, O., Porreca, A.E., Zandron, C.: P systems with hybrid sets. In: Gheorghe, M. and Konur, S. (eds.) Proceedings of the Workshop on Membrane Computing, WMC 2016 (2016). [link] [preprint]
  6. Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E.: Reachability in resource-bounded reaction systems. In: Dediu, A.-H., Janoušek, J., Martín-Vide, C., and Truthe, B. (eds.) Language and Automata Theory and Applications: 10th International Conference, LATA 2016. pp. 592–602. Springer (2016). [link] [preprint]
  7. Manzoni, L., Porreca, A.E., Umeo, H.: The Firing Squad Synchronization Problem on higher-dimensional CA with multiple updating cycles. In: 2016 Fourth International Symposium on Computing and Networking (CANDAR). pp. 258–261 (2016). [link] [preprint]
  8. Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E.: Preimage problems for reaction systems. In: Dediu, A.-H., Formenti, E., Martín-Vide, C., and Truthe, B. (eds.) Language and Automata Theory and Applications, 9th International Conference, LATA 2015. pp. 537–548. Springer (2015). [link] [preprint]
  9. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Tissue P systems can be simulated efficiently with counting oracles. In: Rozenberg, G., Salomaa, A., Sempere, J.M., and Zandron, C. (eds.) Membrane Computing, 16th International Conference, CMC 2015. pp. 251–261. Springer (2015). [link] [preprint]
  10. Mauri, G., Leporati, A., Manzoni, L., Porreca, A.E., Zandron, C.: Complexity classes for membrane systems: A survey. In: Dediu, A.-H., Formenti, E., Martín-Vide, C., and Truthe, B. (eds.) Language and Automata Theory and Applications, 9th International Conference, LATA 2015. pp. 56–69. Springer (2015). [link]
  11. Formenti, E., Manzoni, L., Porreca, A.E.: Fixed points and attractors of reaction systems. In: Beckmann, A., Csuhaj-Varjú, E., and Meer, K. (eds.) Language, Life, Limits, 10th Conference on Computability in Europe, CiE 2014. pp. 194–203. Springer (2014). [link] [preprint]
  12. Formenti, E., Manzoni, L., Porreca, A.E.: Cycles and global attractors of reaction systems. In: Jürgensen, H., Karhumäki, J., and Okhotin, A. (eds.) Descriptional Complexity of Formal Systems, 16th International Workshop, DCFS 2014. pp. 114–125. Springer (2014). [link] [preprint]
  13. Freund, R., Leporati, A., Mauri, G., Porreca, A.E., Verlan, S., Zandron, C.: Flattening in (tissue) P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., and Salomaa, A. (eds.) Membrane Computing, 14th International Conference, CMC 2013. pp. 173–188. Springer (2014). [link] [preprint]
  14. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Simulating elementary active membranes, with an application to the P conjecture. In: Gheorghe, M., Rozenberg, G., Sosík, P., and Zandron, C. (eds.) Membrane Computing, 15th International Conference, CMC 2014. pp. 284–299. Springer (2014). [link] [preprint]
  15. Leporati, A., Manzoni, L., Porreca, A.E.: Flattening and simulation of asynchronous divisionless P systems with active membranes. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., and Salomaa, A. (eds.) Membrane Computing, 14th International Conference, CMC 2013. pp. 238–248. Springer (2014). [link] [preprint]
  16. Leporati, A., Mauri, G., Porreca, A.E., Zandron, C.: Enzymatic numerical P systems using elementary arithmetic operations. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., and Salomaa, A. (eds.) Membrane Computing, 14th International Conference, CMC 2013. pp. 249–264. Springer (2014). [link] [preprint]
  17. Zandron, C., Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E.: P systems with active membranes working in sublinear space. In: Gheorghe, M., Rozenberg, G., Sosík, P., and Zandron, C. (eds.) Membrane Computing, 15th International Conference, CMC 2014. pp. 35–47. Springer (2014). [link] [preprint]
  18. Manzoni, L., Porreca, A.E.: Reaction systems made simple: A normal form and a classification theorem. In: Mauri, G., Dennunzio, A., Manzoni, L., and Porreca, A.E. (eds.) Unconventional Computation and Natural Computation, 12th International Conference, UCNC 2013. pp. 150–161. Springer (2013). [link] [preprint]
  19. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Sublinear-space P systems with active membranes. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., and Vaszil, G. (eds.) Membrane Computing, 13th International Conference, CMC 2012. pp. 342–357. Springer (2013). [link] [preprint]
  20. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P systems simulating oracle computations. In: Gheorghe, M., Păun, G., Salomaa, A., Rozenberg, G., and Verlan, S. (eds.) Membrane Computing, 12th International Conference, CMC 2011. pp. 346–358. Springer (2012). [link] [preprint]
  21. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P systems with elementary active membranes: Beyond NP and coNP. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., and Salomaa, A. (eds.) Membrane Computing, 11th International Conference, CMC 2010. pp. 338–347. Springer (2011). [link] [preprint]
  22. Mauri, G., Leporati, A., Porreca, A.E., Zandron, C.: Computational complexity aspects in membrane computing. In: Ferreira, F., Löwe, B., Mayordomo, E., and Mendes Gomes, L. (eds.) Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010. pp. 317–320. Springer (2010). [link] [preprint]
  23. Porreca, A.E., Leporati, A., Zandron, C.: On a powerful class of non-universal P systems with active membranes. In: Gao, Y., Lu, H., Seki, S., and Yu, S. (eds.) Developments in Language Theory, 14th International Conference, DLT 2010. pp. 364–375. Springer (2010). [link] [preprint]
  24. 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ăun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., and Salomaa, A. (eds.) Membrane Computing, 10th International Workshop, WMC 2009. pp. 461–478. Springer (2010). [link] [preprint]

Book chapters

  1. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Subroutines in P systems and closure properties of their complexity classes. In: Graciani, C., Păun, G., Riscos-Núñez, A., and Valencia-Cabrera, L. (eds.) 15th Brainstorming Week on Membrane Computing. pp. 115–128. Fénix Editora (2017). [link] [preprint]
  2. Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Purely catalytic P systems over integers and their generative power. In: Graciani, C., Orellana-Martín, D., Riscos-Nuñez, A., Romero-Jiménez, Á., and Valencia-Cabrera, L. (eds.) 14th Brainstorming Week on Membrane Computing. pp. 15–26. Fénix Editora (2016). [link]
  3. Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Semilinear sets, register machines, and integer vector addition (P) systems. In: Graciani, C., Orellana-Martín, D., Riscos-Nuñez, A., Romero-Jiménez, Á., and Valencia-Cabrera, L. (eds.) 14th Brainstorming Week on Membrane Computing. pp. 27–42. Fénix Editora (2016). [link]
  4. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: A toolbox for simpler active membrane algorithms. In: Graciani, C., Orellana-Martín, D., Riscos-Nuñez, A., Romero-Jiménez, Á., and Valencia-Cabrera, L. (eds.) 14th Brainstorming Week on Membrane Computing. pp. 247–268. Fénix Editora (2016). [link]
  5. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Monodirectional P systems. In: Macías-Ramos, L.F., Păun, G., Riscos-Núñez, A., and Valencia-Cabrera, L. (eds.) Proceedings of the 13th Brainstorming Week on Membrane Computing. pp. 207–226. Fénix Editora (2015). [link]
  6. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Tissue P systems in the Euclidean space. In: Gheorghe, M., Petre, I., Pérez-Jiménez, M.J., Rozenberg, G., and Salomaa, A. (eds.) Multidisciplinary Creativity: Homage to Gheorghe Păun on His 65th Birthday. pp. 118–128. Editura Spandugino (2015). [preprint]
  7. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Constant-space P systems with active membranes. In: Macías-Ramos, L.F., Martínez-del-Amor, M.Á., Păun, G., Riscos-Núñez, A., and Valencia-Cabrera, L. (eds.) Twelfth Brainstorming Week on Membrane Computing. pp. 243–260. Fénix Editora (2014). [link]
  8. Leporati, A., Manzoni, L., Porreca, A.E.: Turing incompleteness of asynchronous P systems with active membranes. In: Valencia-Cabrera, L., García-Quismondo, M., Macías-Ramos, L.F., Martinez-del-Amor, M.Á., Păun, G., and Riscos-Núñez, A. (eds.) Eleventh Brainstorming Week on Membrane Computing. pp. 165–176. Fénix Editora (2013). [link]
  9. Leporati, A., Porreca, A.E., Zandron, C., Mauri, G.: Improving universality results on parallel enzymatic numerical P systems. In: Valencia-Cabrera, L., García-Quismondo, M., Macías-Ramos, L.F., Martinez-del-Amor, M.Á., Păun, G., and Riscos-Núñez, A. (eds.) Eleventh Brainstorming Week on Membrane Computing. pp. 177–200. Fénix Editora (2013). [link]
  10. Alhazov, A., Leporati, A., Mauri, G., Porreca, A.E., Zandron, C.: The computational power of exponential-space P systems with active membranes. In: Martínez-del-Amor, M.Á., Păun, G., Pérez-Hurtado, I., and Romero-Campero, F.J. (eds.) Tenth Brainstorming Week on Membrane Computing, Volume I. pp. 35–60. Fénix Editora (2012). [link] [preprint]
  11. Porreca, A.E., Murphy, N., Pérez-Jiménez, M.J.: An optimal frontier of the efficiency of tissue P systems with cell division. In: García-Quismondo, M., Macías-Ramos, L.F., Păun, G., and Valencia-Cabrera, L. (eds.) Tenth Brainstorming Week on Membrane Computing, Volume II. pp. 141–166. Fénix Editora (2012). [link] [preprint]
  12. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Complete problems for a variant of P systems with active membranes. In: Martínez-del-Amor, M.Á., Păun, G., Pérez-Hurtado, I., and Riscos-Núñez, A. (eds.) Eight Brainstorming Week on Membrane Computing. pp. 255–266. Fénix Editora (2010). [link]
  13. Porreca, A.E., Murphy, N.: First steps towards linking membrane depth and the Polynomial Hierarchy. In: Martínez-del-Amor, M.Á., Păun, G., Pérez-Hurtado, I., and Riscos-Núñez, A. (eds.) Eight Brainstorming Week on Membrane Computing. pp. 255–266. Fénix Editora (2010). [link] [preprint]
  14. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Introducing a space complexity measure for P systems. In: Gutiérrez-Escudero, R., Gutiérrez-Naranjo, M.Á., Păun, G., Pérez-Hurtado, I., and Riscos-Núñez, A. (eds.) Seventh Brainstorming Week on Membrane Computing, Volume II. pp. 213–223. Fénix Editora (2009). [link]

Technical reports

  1. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Space complexity of P systems with active membranes: A survey. Bulletin of the International Membrane Computing Society. 3, 41–54 (2017). [link] [preprint]
  2. Manzoni, L., Porreca, A.E.: Dualistic open problems in membrane computing. Bulletin of the International Membrane Computing Society. 4, 113–117 (2017). [link] [preprint]
  3. Azimi, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I., Porreca, A.E.: Complexity of model checking for reaction systems. Turku Centre for Computer Science (2014). [link]

Volumes edited

  1. Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E. eds: Cellular Automata and Discrete Complex Systems, 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017. Springer (2017). [link]
  2. Mauri, G., Dennunzio, A., Manzoni, L., Porreca, A.E. eds: International Journal of Foundations of Computer Science, Special Issue: Unconventional Computation and Natural Computation 2013. (2014). [link]
  3. Mauri, G., Dennunzio, A., Manzoni, L., Porreca, A.E. eds: Unconventional Computation and Natural Computation, 12th International Conference, UCNC 2013. Springer (2013). [link]