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 (in that case, though, just send me an email).

Journal papers

  1. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Subroutines in P systems and closure properties of their complexity classes. Theoretical Computer Science. (2018). [link] [preprint]
  2. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: A survey on space complexity of P systems with active membranes. International Journal of Advances in Engineering Sciences and Applied Mathematics. 10, 221–9 (2018). [link] [preprint]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Monodirectional P systems. Natural Computing. 15, 551–564 (2016). [link] [preprint]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  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.: P systems with active membranes working in polynomial space. International Journal of Foundations of Computer Science. 22, 65–73 (2011). [link] [preprint]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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. Dennunzio, A., Dorigatti, V., Formenti, E., Manzoni, L., Porreca, A.E.: Polynomials over the semiring of dynamical systems. In: Baetens, J.M. and Kutrib, M. (eds.) Cellular Automata and Discrete Complex Systems, 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018 Ghent, Belgium, June 20-22, 2018, Exploratory Papers. pp. 85–92 (2018). [link]
  2. Dennunzio, A., Dorigatti, V., Formenti, E., Manzoni, L., Porreca, A.E.: Polynomial equations over finite, discrete-time dynamical systems. In: Mauri, G., El Yacoubi, S., Dennunzio, A., Nishinari, K., and Manzoni, L. (eds.) Cellular Automata, 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018. pp. 298–306. Springer (2018). [link] [preprint]
  3. 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]
  4. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Solving QSAT in sublinear depth. In: Hinze, T. and Behre, J. (eds.) Proceedings of the Nineteenth International Conference on Membrane Computing (CMC19). pp. 149–161 (2018). [link] [preprint]
  5. 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]
  6. 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]
  7. 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]
  8. 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. pp. 34–41 (2016). [link] [preprint]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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.: Open problems in membrane computing and how not to solve them. In: Graciani, C., Riscos-Nuñez, A., Păun, G., and Rozenberg, G. (eds.) Enjoying Natural Computing. pp. 182–191. Springer (2018). [link] [preprint]
  2. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Characterizing PSPACE with shallow non-confluent P systems. In: Orellana-Martín, D., Păun, G., Riscos-Núñez, A., and Valencia-Cabrera, L. (eds.) Sixteenth Brainstorming Week on Membrane Computing. pp. 109–122 (2018). [link] [preprint]
  3. 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]
  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: 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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.: Open problems in membrane computing and how not to solve them. Bulletin of the International Membrane Computing Society. 5, 67–76 (2018). [link] [preprint]
  2. 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]
  3. Manzoni, L., Porreca, A.E.: Dualistic open problems in membrane computing. Bulletin of the International Membrane Computing Society. 4, 113–117 (2017). [link] [preprint]
  4. 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]