Antonio E. Porreca
Titel
Citeras av
Citeras av
År
Fixed points and attractors of reaction systems
E Formenti, L Manzoni, AE Porreca
Conference on Computability in Europe, 194-203, 2014
332014
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
332009
Complexity classes for membrane systems
AE Porreca, G Mauri, C Zandron
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2006
302006
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
292016
Complexity of model checking for reaction systems
S Azimi, C Gratie, S Ivanov, L Manzoni, I Petre, A PORRECA
FI 1122, 1-17, 2014
292014
Flattening in (tissue) P systems
R Freund, A Leporati, G Mauri, AE Porreca, S Verlan, C Zandron
International Conference on Membrane Computing, 173-188, 2013
282013
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 …, 2013
262013
An optimal frontier of the efficiency of tissue P systems with cell division
AE Porreca, N Murphy, MJ Pérez Jiménez
Proceedings of the Tenth Brainstorming Week on Membrane Computing,(2) 141 …, 2012
262012
Simulating elementary active membranes, with an application to the P conjecture
A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron
International Conference on Membrane Computing, 284-299, 2014
252014
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
242015
Ancestors, descendants, and gardens of Eden in reaction systems
A Dennunzio, E Formenti, L Manzoni, AE Porreca
Theoretical Computer Science 608, 16-26, 2015
222015
Cycles and global attractors of reaction systems
E Formenti, L Manzoni, AE Porreca
International Workshop on Descriptional Complexity of Formal Systems, 114-125, 2014
212014
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
202014
Sublinear-space P systems with active membranes
AE Porreca, A Leporati, G Mauri, C Zandron
International Conference on Membrane Computing, 342-357, 2012
202012
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 (01), 65-73, 2011
202011
On the complexity of occurrence and convergence problems in reaction systems
E Formenti, L Manzoni, AE Porreca
Natural Computing 14 (1), 185-191, 2015
192015
P systems with active membranes: trading time for space
AE Porreca, A Leporati, G Mauri, C Zandron
Natural Computing 10 (1), 167-182, 2011
192011
P systems with elementary active membranes: beyond NP and coNP
AE Porreca, A Leporati, G Mauri, C Zandron
International Conference on Membrane Computing, 338-347, 2010
172010
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 90, 115-128, 2017
162017
The counting power of P systems with antimatter
A Leporati, L Manzoni, G Mauri, AE Porreca, C Zandron
Theoretical Computer Science 701, 161-173, 2017
162017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20