# 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

Characterising the complexity of tissue P systems with fission rules A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Journal of Computer and System Sciences |
2017 |

Space complexity of P systems with active membranes: A survey A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Bulletin of the International Membrane Computing Society 3, 41–54 |
2017 |

The counting power of P systems with antimatter A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Theoretical Computer Science |
2017 |

Efficient simulation of reaction systems on Graphics Processing Units MS Nobile, AE Porreca, S Spolaor, L Manzoni, P Cazzaniga, G Mauri, D Besozzi Fundamenta Informaticae 154 (1–4), 307–321 |
2017 |

Cellular Automata and Discrete Complex Systems, 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017 A Dennunzio, E Formenti, L Manzoni, AE Porreca Springer |
2017 |

Tissue P systems with small cell volume A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Fundamenta Informaticae 154 (1–4), 261–275 |
2017 |

Cellular Automata and Discrete Complex Systems: 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017 A Dennunzio, E Formenti, L Manzoni, AE Porreca Springer |
2017 |

Purely catalytic P systems over integers and their generative power A Alhazov, O Belingheri, R Freund, S Ivanov, AE Porreca, C Zandron Membrane Computing, 17th International Conference, CMC 2016, 67–82 |
2017 |

A toolbox for simpler active membrane algorithms A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Theoretical Computer Science 673, 42–57 |
2017 |

Shallow non-confluent P systems A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Membrane Computing, 17th International Conference, CMC 2016, 307–316 |
2017 |

Computational complexity of finite asynchronous cellular automata A Dennunzio, E Formenti, L Manzoni, G Mauri, AE Porreca Theoretical Computer Science 664, 131–143 |
2017 |

Semilinear sets, register machines, and integer vector addition (P) systems A Alhazov, O Belingheri, R Freund, S Ivanov, AE Porreca, C Zandron Proceedings of the Seventeenth International Conference on Membrane Computing (CMC17) |
2016 |

Trading geometric realism for efficiency in tissue P systems A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Romanian Journal of Information Science and Technology 19 (1-2), 17-30 |
2016 |

The Firing Squad Synchronization Problem on higher-dimensional CA with multiple updating cycles L Manzoni, AE Porreca, H Umeo 2016 Fourth International Symposium on Computing and Networking (CANDAR) |
2016 |

P systems with hybrid sets O Belingheri, AE Porreca, C Zandron Proceedings of the Workshop on Membrane Computing, WMC 2016, 34–41 |
2016 |

Reachability in resource-bounded reaction systems A Dennunzio, E Formenti, L Manzoni, AE Porreca Language and Automata Theory and Applications, 10th International Conference, LATA 2016 |
2016 |

Monodirectional P systems A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Natural Computing 15 (4), 551–564 |
2016 |

Complexity of model checking for reaction systems S Azimi, C Gratie, S Ivanov, L Manzoni, I Petre, AE Porreca Theoretical Computer Science 623, 103–113 |
2016 |

Ancestors, descendants, and gardens of Eden in reaction systems A Dennunzio, E Formenti, L Manzoni, AE Porreca Theoretical Computer Science 608, 16-26 |
2015 |

Complexity classes for membrane systems: A survey G Mauri, A Leporati, L Manzoni, AE Porreca, C Zandron Language and Automata Theory and Applications: 9th International Conference, LATA 2015 |
2015 |

Tissue P systems in the Euclidean space A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Multidisciplinary Creativity: Homage to Gheorghe Păun on His 65th Birthday |
2015 |

Tissue P systems can be simulated efficiently with counting oracles A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Membrane Computing: 16th International Conference, CMC 2015, 251–261 |
2015 |

Membrane division, oracles, and the counting hierarchy A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Fundamenta Informaticae 138 (1-2), 97-111 |
2015 |

Preimage problems for reaction systems A Dennunzio, E Formenti, L Manzoni, AE Porreca Language and Automata Theory and Applications: 9th International Conference, LATA 2015 |
2015 |

On the complexity of occurrence and convergence problems in reaction systems E Formenti, L Manzoni, AE Porreca Natural Computing 14 (1), 185–191 |
2015 |

Recent complexity-theoretic results on P systems with active membranes G Mauri, A Leporati, AE Porreca, C Zandron Journal of Logic and Computation 25 (4), 1047–1071 |
2015 |

Complexity of model checking for reaction systems S Azimi, C Gratie, S Ivanov, L Manzoni, I Petre, A Porreca TUCS Technical Reports 1122, 1-17 |
2014 |

Special Issue Unconventional Computation and Natural Computation 2013 Preface A Dennunzio, L Manzoni, G Mauri, AE Porreca International Journal of Foundations of Computer Science 25 (4), 369–371 |
2014 |

P systems with active membranes working in sublinear space C Zandron, A Leporati, L Manzoni, G Mauri, AE Porreca Membrane Computing: 15th International Conference, CMC 2014, 35-47 |
2014 |

A gap in the space hierarchy of P systems with active membranes A Leporati, G Mauri, AE Porreca, C Zandron Journal of Automata, Languages and Combinatorics 19 (1-4), 157-171 |
2014 |

Simulating elementary active membranes, with an application to the P conjecture A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Membrane Computing: 15th International Conference, CMC 2014, 284-299 |
2014 |

Constant-space P systems with active membranes A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron Fundamenta Informaticae 134 (1-2), 111-128 |
2014 |

Simple reaction systems and their classification L Manzoni, D Poças, AE Porreca International Journal of Foundations of Computer Science 25 (04), 441-457 |
2014 |

Cycles and global attractors of reaction systems E Formenti, L Manzoni, AE Porreca Descriptional Complexity of Formal Systems, 16th International Workshop, DCFS 2014 |
2014 |

Fixed points and attractors of reaction systems E Formenti, L Manzoni, AE Porreca Language, Life, Limits, 10th Conference on Computability in Europe, CiE 2014 |
2014 |

Flattening in (tissue) P systems R Freund, A Leporati, G Mauri, AE Porreca, S Verlan, C Zandron Membrane Computing, 14th International Conference, CMC 2013, 173–188 |
2014 |

Space complexity equivalence of P systems with active membranes and Turing machines A Alhazov, A Leporati, G Mauri, AE Porreca, C Zandron Theoretical Computer Science 529, 69–81 |
2014 |

Enzymatic numerical P systems using elementary arithmetic operations A Leporati, G Mauri, AE Porreca, C Zandron Membrane Computing, 14th International Conference, CMC 2013, 249–264 |
2014 |

Flattening and simulation of asynchronous divisionless P systems with active membranes A Leporati, L Manzoni, AE Porreca Membrane Computing, 14th International Conference, CMC 2013, 238–248 |
2014 |

Improved universality results for parallel enzymatic numerical P systems A Leporati, AE Porreca, C Zandron, G Mauri International Journal of Unconventional Computing 9, 385–404 |
2013 |

Turing incompleteness of asynchronous P systems with active membranes A Leporati, L Manzoni, AE Porreca Proceedings of the Eleventh Brainstorming Week on Membrane Computing, 165–176 |
2013 |

Improving universality results on parallel enzymatic numerical P systems A Leporati, AE Porreca, C Zandron, G Mauri Proceedings of the Eleventh Brainstorming Week on Membrane Computing, 177–200 |
2013 |

Unconventional Computation and Natural Computation G Mauri, A Dennunzio, L Manzoni, AE Porreca Springer |
2013 |

Reaction systems made simple: A normal form and a classification theorem L Manzoni, AE Porreca Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013 |
2013 |

Sublinear-space P systems with active membranes AE Porreca, A Leporati, G Mauri, C Zandron Membrane Computing: 13th International Conference, CMC 2012, 342-357 |
2013 |

The time-space trade-off in membrane computing AE Porreca Ph.D. Thesis, Università degli Studi di Milano-Bicocca |
2012 |

Review of Algorithmic Adventures: From Knowledge to Magic, by Juraj Hromkovič AE Porreca SIGACT News 43 (3), 22-24 |
2012 |

Simulating EXPSPACE Turing machines using P systems with active membranes A Alhazov, A Leporati, G Mauri, AE Porreca, C Zandron 13th Italian Conference on Theoretical Computer Science, ICTCS 2012 |
2012 |

An optimal frontier of the efficiency of tissue P systems with cell division AE Porreca, N Murphy, MJ Pérez-Jiménez Tenth Brainstorming Week on Membrane Computing, Volume II, 141-166 |
2012 |

The computational power of exponential-space P systems with active membranes A Alhazov, A Leporati, G Mauri, AE Porreca, C Zandron Tenth Brainstorming Week on Membrane Computing, Volume I, 35-60 |
2012 |

P systems simulating oracle computations AE Porreca, A Leporati, G Mauri, C Zandron Membrane Computing: 12th International Conference, CMC 2011, 346-358 |
2012 |

P systems with active membranes: Trading time for space AE Porreca, A Leporati, G Mauri, C Zandron Natural Computing 10 (1), 167-182 |
2011 |

P systems with active membranes working in polynomial space AE Porreca, A Leporati, G Mauri, C Zandron International Journal of Foundations of Computer Science 22 (1), 65-73 |
2011 |

Elementary active membranes have the power of counting AE Porreca, A Leporati, G Mauri, C Zandron International Journal of Natural Computing Research 2 (3), 35-48 |
2011 |

P systems with elementary active membranes: Beyond NP and coNP AE Porreca, A Leporati, G Mauri, C Zandron Membrane Computing: 11th International Conference, CMC 2010, 338-347 |
2011 |

Non-confluence in divisionless P systems with active membranes AE Porreca, G Mauri, C Zandron Theoretical Computer Science 411 (6), 878-887 |
2010 |

Computational complexity aspects in membrane computing G Mauri, A Leporati, AE Porreca, C Zandron Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010 |
2010 |

Complete problems for a variant of P systems with active membranes AE Porreca, A Leporati, G Mauri, C Zandron Romanian Journal of Information Science and Technology 13 (2), 197-207 |
2010 |

First steps towards linking membrane depth and the Polynomial Hierarchy AE Porreca, N Murphy Eighth Brainstorming Week on Membrane Computing, 255-266 |
2010 |

An efficient simulation of polynomial-space Turing machines by P systems with active membranes A Valsecchi, AE Porreca, A Leporati, G Mauri, C Zandron Membrane Computing: 10th International Workshop, WMC 2009, 461-478 |
2010 |

On a powerful class of non-universal P systems with active membranes AE Porreca, A Leporati, C Zandron Developments in Language Theory: 14th International Conference, DLT 2010 |
2010 |

Introducing a space complexity measure for P systems AE Porreca, A Leporati, G Mauri, C Zandron International Journal of Computers, Communications & Control 4 (3), 301-310 |
2009 |

Computational Complexity Classes for Membrane Systems AE Porreca Master Degree Thesis, Università degli Studi di Milano-Bicocca |
2008 |

Complexity classes for membrane systems AE Porreca, G Mauri, C Zandron RAIRO-Theoretical Informatics and Applications 40 (02), 141-162 |
2006 |

Advertisements