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. Click on the title to reach the publisher’s website, or download a preprint if you do not have access to the published version of the paper.

Journal papers

  1. Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri and Antonio E. Porreca. Computational complexity of finite asynchronous cellular automata. In: Theoretical Computer Science 664 (2017), pages 131–143. [preprint]

  2. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Characterising the complexity of tissue P systems with fission rules. In: Journal of Computer and System Sciences 90 (2017), pages 115–128. [preprint]

  3. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. A toolbox for simpler active membrane algorithms. In: Theoretical Computer Science 673 (2017), pages 42–57. [preprint]

  4. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. The counting power of P systems with antimatter. In: Theoretical Computer Science (2017). In press. [preprint]

  5. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Tissue P systems with small cell volume. In: Fundamenta Informaticae 154(1–4) (2017), pages 261–275. [preprint]

  6. Marco S. Nobile, Antonio E. Porreca, Simone Spolaor, Luca Manzoni, Paolo Cazzaniga, Giancarlo Mauri and Daniela Besozzi. Efficient simulation of reaction systems on Graphics Processing Units. In: Fundamenta Informaticae 154(1–4) (2017), pages 307–321. [preprint]

  7. Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre and Antonio E. Porreca. Complexity of model checking for reaction systems. In: Theoretical Computer Science 623 (2016), pages 103–113. [preprint]

  8. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Monodirectional P systems. In: Natural Computing 15(4) (2016), pages 551–564. [preprint]

  9. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Trading geometric realism for efficiency in tissue P systems. In: Romanian Journal of Information Science and Technology 19(1–2) (2016), pages 17–30. [preprint]

  10. Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca. Ancestors, descendants, and gardens of Eden in reaction systems. In: Theoretical Computer Science 608(1) (2015), pages 16–26. [preprint]

  11. Enrico Formenti, Luca Manzoni and Antonio E. Porreca. On the complexity of occurrence and convergence problems in reaction systems. In: Natural Computing 14(1) (2015), pages 185–191. [preprint]

  12. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Membrane division, oracles, and the counting hierarchy. In: Fundamenta Informaticae 138(1–2) (2015), pages 97–111. [preprint]

  13. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. Recent complexity-theoretic results on P systems with active membranes. In: Journal of Logic and Computation 25(4) (2015), pages 1047–1071. [preprint]

  14. Artiom Alhazov, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Space complexity equivalence of P systems with active membranes and Turing machines. In: Theoretical Computer Science 529 (2014), pages 69–81. [preprint]

  15. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Constant-space P systems with active membranes. In: Fundamenta Informaticae 134(1–2) (2014), pages 111–128. [preprint]

  16. Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. A gap in the space hierarchy of P systems with active membranes. In: Journal of Automata, Languages and Combinatorics 19(1–4) (2014), pages 173–184. [preprint]

  17. Luca Manzoni, Diogo Poças and Antonio E. Porreca. Simple reaction systems and their classification. In: International Journal of Foundations of Computer Science 25(4) (2014), pages 441–457. [preprint]

  18. Alberto Leporati, Antonio E. Porreca, Claudio Zandron and Giancarlo Mauri. Improved universality results for parallel enzymatic numerical P systems. In: International Journal of Unconventional Computing 9 (2013), pages 385–404. [preprint]

  19. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. Elementary active membranes have the power of counting. In: International Journal of Natural Computing Research 2(3) (2011), pages 329–342. [preprint]

  20. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. P systems with active membranes: Trading time for space. In: Natural Computing 10(1) (2011), pages 167–182. [preprint]

  21. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. P systems with active membranes working in polynomial space. In: International Journal of Foundations of Computer Science 22(1) (2011), pages 65–73. [preprint]

  22. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. Complete problems for a variant of P systems with active membranes. In: Romanian Journal of Information Science and Technology 13(2) (2010), pages 197–207. [preprint]

  23. Antonio E. Porreca, Giancarlo Mauri and Claudio Zandron. Non-confluence in divisionless P systems with active membranes. In: Theoretical Computer Science 411(6) (2010), pages 878–887. [preprint]

  24. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. Introducing a space complexity measure for P systems. In: International Journal of Computers, Communications & Control 4(3) (2009), pages 301–310. [preprint]

  25. Antonio E. Porreca, Giancarlo Mauri and Claudio Zandron. Complexity classes for membrane systems. In: RAIRO Theoretical Informatics and Applications 40(2) (2006), pages 141–162. [preprint]

Conference and workshop papers

  1. Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca and Claudio Zandron. “Purely catalytic P systems over integers and their generative power”. In: Membrane Computing, 17th International Conference, CMC 2016. Edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa and Claudio Zandron. Volume 10105 of Lecture Notes in Computer Science. Springer, 2017, pages 67–82. [preprint]

  2. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. “Solving a special case of the P conjecture using dependency graphs with dissolution”. In: Proceedings of the 18th International Conference on Membrane Computing (CMC18). Edited by Marian Gheorghe, Savas Konur and Raluca Lefticaru. 2017, pages 219–236. [preprint]

  3. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. “Shallow non-confluent P systems”. In: Membrane Computing, 17th International Conference, CMC 2016. Edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa and Claudio Zandron. Volume 10105 of Lecture Notes in Computer Science. Springer, 2017, pages 307–316. [preprint]

  4. Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca and Claudio Zandron. “Semilinear sets, register machines, and integer vector addition (P) systems”. In: Proceedings of the 17th International Conference on Membrane Computing (CMC17). Edited by Alberto Leporati and Claudio Zandron. 2016, pages 39–55. [preprint]

  5. Omar Belingheri, Antonio E. Porreca and Claudio Zandron. “P systems with hybrid sets”. In: Proceedings of the Workshop on Membrane Computing, WMC 2016. Edited by Marian Gheorghe and Savas Konur. Technical Reports, University of Bradford UB-20160819-1. 2016. [preprint]

  6. Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca. “Reachability in resource-bounded reaction systems”. In: Language and Automata Theory and Applications: 10th International Conference, LATA 2016. Edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide and Bianca Truthe. Volume 9618 of Lecture Notes in Computer Science. Springer, 2016, pages 592–602. [preprint]

  7. Luca Manzoni, Antonio E. Porreca and Hiroshi Umeo. “The Firing Squad Synchronization Problem on higher-dimensional CA with multiple updating cycles”. In: 2016 Fourth International Symposium on Computing and Networking (CANDAR). 2016, pages 258–261. [preprint]

  8. Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca. “Preimage problems for reaction systems”. In: Language and Automata Theory and Applications, 9th International Conference, LATA 2015. Edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide and Bianca Truthe. Volume 8977 of Lecture Notes in Computer Science. Springer, 2015, pages 537–548. [preprint]

  9. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. “Tissue P systems can be simulated efficiently with counting oracles”. In: Membrane Computing, 16th International Conference, CMC 2015. Edited by Grzegorz Rozenberg, Arto Salomaa, José M. Sempere and Claudio Zandron. Volume 9504 of Lecture Notes in Computer Science. Springer, 2015, pages 251–261. [preprint]

  10. Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca and Claudio Zandron. “Complexity classes for membrane systems: A survey”. In: Language and Automata Theory and Applications, 9th International Conference, LATA 2015. Edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide and Bianca Truthe. Volume 8977 of Lecture Notes in Computer Science. Springer, 2015, pages 56–69.

  11. Enrico Formenti, Luca Manzoni and Antonio E. Porreca. “Cycles and global attractors of reaction systems”. In: Descriptional Complexity of Formal Systems, 16th International Workshop, DCFS 2014. Edited by Helmut Jürgensen, Juhani Karhumäki and Alexander Okhotin. Volume 8614 of Lecture Notes in Computer Science. Springer, 2014, pages 114–125. [preprint]

  12. Enrico Formenti, Luca Manzoni and Antonio E. Porreca. “Fixed points and attractors of reaction systems”. In: Language, Life, Limits, 10th Conference on Computability in Europe, CiE 2014. Edited by Arnold Beckmann, Erzsébet Csuhaj-Varjú and Klaus Meer. Volume 8493 of Lecture Notes in Computer Science. Springer, 2014, pages 194–203. [preprint]

  13. Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan and Claudio Zandron. “Flattening in (tissue) P systems”. In: Membrane Computing, 14th International Conference, CMC 2013. Edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg and Arto Salomaa. Volume 8349 of Lecture Notes in Computer Science. Springer, 2014, pages 173–188. [preprint]

  14. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. “Simulating elementary active membranes, with an application to the P conjecture”. In: Membrane Computing, 15th International Conference, CMC 2014. Edited by Marian Gheorghe, Grzegorz Rozenberg, Petr Sosík and Claudio Zandron. Volume 8961 of Lecture Notes in Computer Science. Springer, 2014, pages 284–299. [preprint]

  15. Alberto Leporati, Luca Manzoni and Antonio E. Porreca. “Flattening and simulation of asynchronous divisionless P systems with active membranes”. In: Membrane Computing, 14th International Conference, CMC 2013. Edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg and Arto Salomaa. Volume 8340 of Lecture Notes in Computer Science. Springer, 2014, pages 238–248. [preprint]

  16. Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. “Enzymatic numerical P systems using elementary arithmetic operations”. In: Membrane Computing, 14th International Conference, CMC 2013. Edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg and Arto Salomaa. Volume 8340 of Lecture Notes in Computer Science. Springer, 2014, pages 249–264. [preprint]

  17. Claudio Zandron, Alberto Leporati, Luca Manzoni, Giancarlo Mauri and Antonio E. Porreca. “P systems with active membranes working in sublinear space”. In: Membrane Computing, 15th International Conference, CMC 2014. Edited by Marian Gheorghe, Grzegorz Rozenberg, Petr Sosík and Claudio Zandron. Volume 8961 of Lecture Notes in Computer Science. Springer, 2014, pages 35–47. [preprint]

  18. Luca Manzoni and Antonio E. Porreca. “Reaction systems made simple: A normal form and a classification theorem”. In: Unconventional Computation and Natural Computation, 12th International Conference, UCNC 2013. Edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni and Antonio E. Porreca. Volume 7956 of Lecture Notes in Computer Science. Springer, 2013, pages 150–161. [preprint]

  19. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. “Sublinear-space P systems with active membranes”. In: Membrane Computing, 13th International Conference, CMC 2012. Edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa and György Vaszil. Volume 7762 of Lecture Notes in Computer Science. Springer, 2013, pages 342–357. [preprint]

  20. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. “P systems simulating oracle computations”. In: Membrane Computing, 12th International Conference, CMC 2011. Edited by Marian Gheorghe, Gheorghe Păun, Arto Salomaa, Grzegorz Rozenberg and Sergey Verlan. Volume 7184 of Lecture Notes in Computer Science. Springer, 2012, pages 346–358. [preprint]

  21. Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. “P systems with elementary active membranes: Beyond NP and coNP”. In: Membrane Computing, 11th International Conference, CMC 2010. Edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg and Arto Salomaa. Volume 6501. Lecture Notes in Computer Science. Springer, 2011, pages 338–347. [preprint]

  22. Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca and Claudio Zandron. “Computational complexity aspects in membrane computing”. In: Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010. Edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo and Luís Mendes Gomes. Volume 6158 of Lecture Notes in Computer Science. Springer, 2010, pages 317–320. [preprint]

  23. Antonio E. Porreca, Alberto Leporati and Claudio Zandron. “On a powerful class of non-universal P systems with active membranes”. In: Developments in Language Theory, 14th International Conference, DLT 2010. Edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki and Sheng Yu. Volume 6224 of Lecture Notes in Computer Science. Springer, 2010, pages 364–375. [preprint]

  24. Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri and Claudio Zandron. “An efficient simulation of polynomial-space Turing machines by P systems with active membranes”. In: Membrane Computing, 10th International Workshop, WMC 2009. Edited by Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg and Arto Salomaa. Volume 6501. Lecture Notes in Computer Science. Springer, 2010, pages 461–478. [preprint]

Book chapters

  1. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Tissue P systems in the Euclidean space. In: Multidisciplinary Creativity: Homage to Gheorghe Păun on His 65th Birthday. Edited by Marian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg and Arto Salomaa. Editura Spandugino, 2015, pages 118–128. [preprint]

Technical reports

The papers in this section only include those that do not possess an extended version published in a peer-reviewed journal or conference.

  1. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. Space complexity of P systems with active membranes: A survey. In: Bulletin of the International Membrane Computing Society 3 (2017), pages 41–54. [preprint]

  2. Artiom Alhazov, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca and Claudio Zandron. “The computational power of exponential-space P systems with active membranes”. In: Proceedings of the Tenth Brainstorming Week on Membrane Computing, Volume I. Edited by Miguel Ángel Martínez-del-Amor, Gheorghe Păun, Ignacio Pérez-Hurtado and Francisco José Romero-Campero. RGNC Reports 1/2012. Fénix Editora, 2012, pages 35–60. [preprint]

  3. Antonio E. Porreca, Niall Murphy and Mario J. Pérez-Jiménez. “An optimal frontier of the efficiency of tissue P systems with cell division”. In: Tenth Brainstorming Week on Membrane Computing, Volume II. Edited by Manuel García-Quismondo, Luis F. Macías-Ramos, Gheorghe Păun and Luis Valencia-Cabrera. RGNC Reports 2/2012. Fénix Editora, 2012, pages 141–166. [preprint]

  4. Antonio E. Porreca and Niall Murphy. “First steps towards linking membrane depth and the Polynomial Hierarchy”. In: Eight Brainstorming Week on Membrane Computing. Edited by Miguel Ángel Martínez-del-Amor, Gheorghe Păun, Ignacio Pérez-Hurtado and Agustín Riscos-Núñez. RGNC Reports 1/2010. Fénix Editora, 2010, pages 255–266. [preprint]

Volumes edited

  1. Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca, editors. Cellular Automata and Discrete Complex Systems, 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017. Volume 10248 of Lecture Notes in Computer Science. Springer, 2017.

  2. Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni and Antonio E. Porreca, editors. International Journal of Foundations of Computer Science, Special Issue: Unconventional Computation and Natural Computation 2013. Volume 25. 2014.

  3. Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni and Antonio E. Porreca, editors. Unconventional Computation and Natural Computation, 12th International Conference, UCNC 2013. Volume 7956 of Lecture Notes in Computer Science. Springer, 2013.