Antonio E. Porreca

81 papers C 8Journal 49Unranked 21

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