About me

Antonio E. Porreca

Email: porreca@disco.unimib.it
Dipartimento di Informatica, Sistemistica e Comunicazione
Università degli Studi di Milano-Bicocca
Room 1047, Viale Sarca 336/14, 20126 Milano, Italy

I am a postdoctoral research fellow at Dipartimento di Informatica, Sistemistica e Comunicazione (Department of Computer Science, Systems and Communication) of Università degli Studi di Milano-Bicocca, Italy.

My current research interest is the computational complexity theory of natural computing systems, in particular membrane systems (or P systems) and reaction systems.

Papers

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

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

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

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

Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, and Claudio Zandron. Simulating elementary active membranes, with an application to the P conjecture. Membrane Computing, 15th International Conference, CMC 2014. To appear. [preprint]

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

Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, and Claudio Zandron. Enzymatic numerical P systems using elementary arithmetic operations. In Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, and Arto Salomaa, editors, Membrane Computing, 14th International Conference, CMC 2013, volume 8340 of Lecture Notes in Computer Science, pages 249-264. Springer, 2014. (Best paper award at CMC 2013) [link, preprint]

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

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

Luca Manzoni and Antonio E. Porreca. Reaction systems made simple: A normal form and a classification theorem. In 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, pages 150-161. Springer, 2013. [link, preprint]

Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, and Claudio Zandron. Recent complexity-theoretic results on P systems with active membranes. Journal of Logic and Computation, 2013. In press. [link, preprint]

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

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

Antonio E. Porreca. Review of Algorithmic Adventures: From Knowledge to Magic, by Juraj Hromkovič. SIGACT News, 43(3):22-24, 2012. [link, preprint]

Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, and Claudio Zandron. P systems simulating oracle computations. In Marian Gheorghe, Gheorghe Păun, Arto Salomaa, Grzegorz Rozenberg, and Sergey Verlan, editors, Membrane Computing, 12th International Conference, CMC 2011, volume 7184 of Lecture Notes in Computer Science, pages 346-358. Springer, 2012. (Best paper award at CMC 2011) [link, preprint]

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 Manuel García-Quismondo, Luis F. Macías-Ramos, Gheorghe Păun, and Luis Valencia-Cabrera, editors, Tenth Brainstorming Week on Membrane Computing, volume II, pages 141-166. Fénix Editora, 2012. [link, preprint]

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

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

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

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

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

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

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

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

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

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 Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, and Arto Salomaa, editors, Membrane Computing, 10th International Workshop, WMC 2009, volume 6501 of Lecture Notes in Computer Science, pages 461-478. Springer, 2010. (Best paper award at WMC 2009) [link, preprint]

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

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

Edited volumes

Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, and Antonio E. Porreca, guest editors. International Journal of Foundations of Computer Science,
Special Issue: Unconventional Computation and Natural Computation 2013
, 25(4), 2014. [link]

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

Conferences

Chair of the organising committe of the 12th International Conference on Unconventional Computation and Natural Computation (UCNC 2013), Università degli Studi di Milano-Bicocca, 1–5 July 2013.

Member of the organising committee of the 15th International Conference on Developments in Language Theory (DLT 2011), Università degli Studi di Milano-Bicocca, 19–22 July 2011.