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

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