Antonio E. Porreca

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 47

Top Topics

Dependency Graphs

Dynamical Systems

Polynomial Equations

Top Venues

Theor. Comput. Sci.

Int. Conf. on Membrane Computing

Fundam. Informaticae

Publications

Antonio E. Porreca
Unconventional complexity classes in unconventional computing (extended abstract). CoRR (2024)
François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
Decomposition and factorisation of transients in functional graphs. Theor. Comput. Sci. 999 (2024)
François Doré, Kévin Perrot, Antonio E. Porreca, Sara Riva, Marius Rolland
Roots in the Semiring of Finite Deterministic Dynamical Systems. AUTOMATA (2024)
François Doré, Kévin Perrot, Antonio E. Porreca, Sara Riva, Marius Rolland
Roots in the semiring of finite deterministic dynamical systems. CoRR (2024)
Oscar Defrain, Antonio E. Porreca, Ekaterina Timofeeva
Polynomial-delay generation of functional digraphs up to isomorphism. Discret. Appl. Math. 357 (2024)
Antonio E. Porreca, Ekaterina Timofeeva
Polynomial-delay generation of functional digraphs up to isomorphism. CoRR (2023)
François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
Algorithmic reconstruction of discrete dynamics. CoRR (2022)
Caroline Gaze-Maillot, Antonio E. Porreca
Profiles of dynamical systems and their algebra. CoRR (2020)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Subroutines in P systems and closure properties of their complexity classes. Theor. Comput. Sci. 805 (2020)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Simulating counting oracles with cooperation. J. Membr. Comput. 2 (4) (2020)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Shallow laconic P systems can count. J. Membr. Comput. 2 (1) (2020)
Luca Manzoni, Antonio E. Porreca, Grzegorz Rozenberg
Facilitation in reaction systems. J. Membr. Comput. 2 (3) (2020)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
A Turing machine simulation by P systems without charges. J. Membr. Comput. 2 (2) (2020)
Claudio Ferretti, Alberto Leporati, Luca Manzoni, Antonio E. Porreca
The Many Roads to the Simulation of Reaction Systems. Fundam. Informaticae 171 (1-4) (2020)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Characterizing PSPACE with shallow non-confluent P systems. CoRR (2019)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
A Turing machine simulation by P systems without charges. CoRR (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata. LATA (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
On the dynamical behaviour of linear higher-order cellular automata and its decidability. Inf. Sci. 486 (2019)
Claudio Ferretti, Alberto Leporati, Luca Manzoni, Antonio E. Porreca
The many roads to the simulation of reaction systems. CoRR (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
On the dynamical behaviour of linear higher-order cellular automata and its decidability. CoRR (2019)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Solving QSAT in sublinear depth. CoRR (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Complexity of the dynamics of reaction systems. CoRR (2019)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Characterizing PSPACE with shallow non-confluent P systems. J. Membr. Comput. 1 (2) (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Complexity of the dynamics of reaction systems. Inf. Comput. 267 (2019)
Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Polynomial Equations over Finite, Discrete-Time Dynamical Systems. ACRI (2018)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Solving QSAT in Sublinear Depth. Int. Conf. on Membrane Computing (2018)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Open Problems in Membrane Computing and How Not to Solve Them. Enjoying Natural Computing (2018)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Tissue P Systems with Small Cell Volume. Fundam. Informaticae 154 (1-4) (2017)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
Computational complexity of finite asynchronous cellular automata. Theor. Comput. Sci. 664 (2017)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Characterising the complexity of tissue P systems with fission rules. J. Comput. Syst. Sci. 90 (2017)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
A toolbox for simpler active membrane algorithms. Theor. Comput. Sci. 673 (2017)
Marco S. Nobile, Antonio E. Porreca, Simone Spolaor, Luca Manzoni, Paolo Cazzaniga, Giancarlo Mauri, Daniela Besozzi
Efficient Simulation of Reaction Systems on Graphics Processing Units. Fundam. Informaticae 154 (1-4) (2017)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution. Int. Conf. on Membrane Computing (2017)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
The counting power of P systems with antimatter. Theor. Comput. Sci. 701 (2017)
Luca Manzoni, Antonio E. Porreca, Hiroshi Umeo
The Firing Squad Synchronization Problem on Higher-Dimensional CA with Multiple Updating Cycles. CANDAR (2016)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
Complexity of model checking for reaction systems. Theor. Comput. Sci. 623 (2016)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Reachability in Resource-Bounded Reaction Systems. LATA (2016)
Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca, Claudio Zandron
Purely Catalytic P Systems over Integers and Their Generative Power. Int. Conf. on Membrane Computing (2016)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Monodirectional P systems. Nat. Comput. 15 (4) (2016)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Shallow Non-confluent P Systems. Int. Conf. on Membrane Computing (2016)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Preimage Problems for Reaction Systems. LATA (2015)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Ancestors, descendants, and gardens of Eden in reaction systems. Theor. Comput. Sci. 608 (2015)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Tissue P Systems Can be Simulated Efficiently with Counting Oracles. Int. Conf. on Membrane Computing (2015)
Enrico Formenti, Luca Manzoni, Antonio E. Porreca
On the complexity of occurrence and convergence problems in reaction systems. Nat. Comput. 14 (1) (2015)
Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron
Recent complexity-theoretic results on P systems with active membranes. J. Log. Comput. 25 (4) (2015)
Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron
Complexity Classes for Membrane Systems: A Survey. LATA (2015)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Membrane Division, Oracles, and the Counting Hierarchy. Fundam. Informaticae 138 (1-2) (2015)
Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
Preface. Int. J. Found. Comput. Sci. 25 (4) (2014)
Claudio Zandron, Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
P Systems with Active Membranes Working in Sublinear Space. Int. Conf. on Membrane Computing (2014)
Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
P Systems with Active Membranes Working in Logarithmic Space. J. Autom. Lang. Comb. 19 (1-4) (2014)
Artiom Alhazov, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Space complexity equivalence of P systems with active membranes and Turing machines. Theor. Comput. Sci. 529 (2014)
Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Fixed Points and Attractors of Reaction Systems. CiE (2014)
Luca Manzoni, Diogo Poças, Antonio E. Porreca
Simple reaction Systems and their Classification. Int. J. Found. Comput. Sci. 25 (4) (2014)
Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Cycles and Global Attractors of Reaction Systems. DCFS (2014)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Constant-Space P Systems with Active Membranes. Fundam. Informaticae 134 (1-2) (2014)
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Simulating Elementary Active Membranes - with an Application to the P Conjecture. Int. Conf. on Membrane Computing (2014)
Luca Manzoni, Antonio E. Porreca
Reaction Systems Made Simple - A Normal Form and a Classification Theorem. UCNC (2013)
Alberto Leporati, Luca Manzoni, Antonio E. Porreca
Flattening and Simulation of Asynchronous Divisionless P Systems with Active Membranes. Int. Conf. on Membrane Computing (2013)
Alberto Leporati, Antonio E. Porreca, Claudio Zandron, Giancarlo Mauri
Improved Universality Results for Parallel Enzymatic Numerical P Systems. Int. J. Unconv. Comput. 9 (5-6) (2013)
Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, Claudio Zandron
Flattening in (Tissue) P Systems. Int. Conf. on Membrane Computing (2013)
Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
Enzymatic Numerical P Systems Using Elementary Arithmetic Operations. Int. Conf. on Membrane Computing (2013)
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
Sublinear-Space P Systems with Active Membranes. Int. Conf. on Membrane Computing (2012)
Antonio E. Porreca
Review of algorithmic adventures: from knowledge to magic, by Juraj Hromković. SIGACT News 43 (3) (2012)
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
Elementary Active Membranes Have the Power of Counting. Int. J. Nat. Comput. Res. 2 (3) (2011)
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
P Systems Simulating Oracle Computations. Int. Conf. on Membrane Computing (2011)
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
P systems with active membranes: trading time for space. Nat. Comput. 10 (1) (2011)
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
P Systems with Active Membranes Working in Polynomial Space. Int. J. Found. Comput. Sci. 22 (1) (2011)
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
P Systems with Elementary Active Membranes: Beyond NP and coNP. Int. Conf. on Membrane Computing (2010)
Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron
Non-confluence in divisionless P systems with active membranes. Theor. Comput. Sci. 411 (6) (2010)
Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron
Computational Complexity Aspects in Membrane Computing. CiE (2010)
Antonio E. Porreca, Alberto Leporati, Claudio Zandron
On a Powerful Class of Non-universal P Systems with Active Membranes. Developments in Language Theory (2010)
Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes. Workshop on Membrane Computing (2009)
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
Introducing a Space Complexity Measure for P Systems. Int. J. Comput. Commun. Control 4 (3) (2009)
Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron
Complexity classes for membrane systems. RAIRO Theor. Informatics Appl. 40 (2) (2006)