Complexity classes for membrane systems. - Antonio E. Porreca; Giancarlo Mauri; Claudio Zandron (RAIRO Theor. Informatics Appl., 2006)

An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes. - Andrea Valsecchi; Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Workshop on Membrane Computing, 2009)

Introducing a Space Complexity Measure for P Systems. - Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Int. J. Comput. Commun. Control, 2009)

Computational Complexity Aspects in Membrane Computing. - Giancarlo Mauri; Alberto Leporati; Antonio E. Porreca; Claudio Zandron (CiE, 2010)

On a Powerful Class of Non-universal P Systems with Active Membranes. - Antonio E. Porreca; Alberto Leporati; Claudio Zandron (Developments in Language Theory, 2010)

P Systems with Elementary Active Membranes: Beyond NP and coNP. - Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Int. Conf. on Membrane Computing, 2010)

Non-confluence in divisionless P systems with active membranes. - Antonio E. Porreca; Giancarlo Mauri; Claudio Zandron (Theor. Comput. Sci., 2010)

P Systems Simulating Oracle Computations. - Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Int. Conf. on Membrane Computing, 2011)

P Systems with Active Membranes Working in Polynomial Space. - Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Int. J. Found. Comput. Sci., 2011)

Elementary Active Membranes Have the Power of Counting. - Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Int. J. Nat. Comput. Res., 2011)

P systems with active membranes: trading time for space. - Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Nat. Comput., 2011)

Sublinear-Space P Systems with Active Membranes. - Antonio E. Porreca; Alberto Leporati; Giancarlo Mauri; Claudio Zandron (Int. Conf. on Membrane Computing, 2012)

Review of algorithmic adventures: from knowledge to magic, by Juraj Hromković. - Antonio E. Porreca (SIGACT News, 2012)

The time-space trade-off in membrane computing. - Antonio E. Porreca (2012)

Flattening in (Tissue) P Systems. - Rudolf Freund; Alberto Leporati; Giancarlo Mauri; Antonio E. Porreca; Sergey Verlan; Claudio Zandron (Int. Conf. on Membrane Computing, 2013)

Flattening and Simulation of Asynchronous Divisionless P Systems with Active Membranes. - Alberto Leporati; Luca Manzoni; Antonio E. Porreca (Int. Conf. on Membrane Computing, 2013)

Enzymatic Numerical P Systems Using Elementary Arithmetic Operations. - Alberto Leporati; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2013)

Reaction Systems Made Simple - A Normal Form and a Classification Theorem. - Luca Manzoni; Antonio E. Porreca (UCNC, 2013)

Improved Universality Results for Parallel Enzymatic Numerical P Systems. - Alberto Leporati; Antonio E. Porreca; Claudio Zandron; Giancarlo Mauri (Int. J. Unconv. Comput., 2013)

Fixed Points and Attractors of Reaction Systems. - Enrico Formenti; Luca Manzoni; Antonio E. Porreca (CiE, 2014)

Cycles and Global Attractors of Reaction Systems. - Enrico Formenti; Luca Manzoni; Antonio E. Porreca (DCFS, 2014)

Simulating Elementary Active Membranes - with an Application to the P Conjecture. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2014)

P Systems with Active Membranes Working in Sublinear Space. - Claudio Zandron; Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca (Int. Conf. on Membrane Computing, 2014)

Constant-Space P Systems with Active Membranes. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Fundam. Informaticae, 2014)

Preface. - Alberto Dennunzio; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca (Int. J. Found. Comput. Sci., 2014)

Simple reaction Systems and their Classification. - Luca Manzoni; Diogo Poças; Antonio E. Porreca (Int. J. Found. Comput. Sci., 2014)

P Systems with Active Membranes Working in Logarithmic Space. - Alberto Leporati; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (J. Autom. Lang. Comb., 2014)

Space complexity equivalence of P systems with active membranes and Turing machines. - Artiom Alhazov; Alberto Leporati; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Theor. Comput. Sci., 2014)

Preimage Problems for Reaction Systems. - Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Antonio E. Porreca (LATA, 2015)

Complexity Classes for Membrane Systems: A Survey. - Giancarlo Mauri; Alberto Leporati; Luca Manzoni; Antonio E. Porreca; Claudio Zandron (LATA, 2015)

Tissue P Systems Can be Simulated Efficiently with Counting Oracles. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2015)

Membrane Division, Oracles, and the Counting Hierarchy. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Fundam. Informaticae, 2015)

Recent complexity-theoretic results on P systems with active membranes. - Giancarlo Mauri; Alberto Leporati; Antonio E. Porreca; Claudio Zandron (J. Log. Comput., 2015)

On the complexity of occurrence and convergence problems in reaction systems. - Enrico Formenti; Luca Manzoni; Antonio E. Porreca (Nat. Comput., 2015)

Ancestors, descendants, and gardens of Eden in reaction systems. - Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Antonio E. Porreca (Theor. Comput. Sci., 2015)

The Firing Squad Synchronization Problem on Higher-Dimensional CA with Multiple Updating Cycles. - Luca Manzoni; Antonio E. Porreca; Hiroshi Umeo (CANDAR, 2016)

Reachability in Resource-Bounded Reaction Systems. - Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Antonio E. Porreca (LATA, 2016)

Purely Catalytic P Systems over Integers and Their Generative Power. - Artiom Alhazov; Omar Belingheri; Rudolf Freund; Sergiu Ivanov 001; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2016)

Shallow Non-confluent P Systems. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2016)

Monodirectional P systems. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Nat. Comput., 2016)

Complexity of model checking for reaction systems. - Sepinoud Azimi; Cristian Gratie; Sergiu Ivanov 001; Luca Manzoni; Ion Petre; Antonio E. Porreca (Theor. Comput. Sci., 2016)

Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2017)

Tissue P Systems with Small Cell Volume. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Fundam. Informaticae, 2017)

Efficient Simulation of Reaction Systems on Graphics Processing Units. - Marco S. Nobile; Antonio E. Porreca; Simone Spolaor; Luca Manzoni; Paolo Cazzaniga; Giancarlo Mauri; Daniela Besozzi (Fundam. Informaticae, 2017)

Characterising the complexity of tissue P systems with fission rules. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (J. Comput. Syst. Sci., 2017)

Computational complexity of finite asynchronous cellular automata. - Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca (Theor. Comput. Sci., 2017)

A toolbox for simpler active membrane algorithms. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Theor. Comput. Sci., 2017)

The counting power of P systems with antimatter. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Theor. Comput. Sci., 2017)

Polynomial Equations over Finite, Discrete-Time Dynamical Systems. - Alberto Dennunzio; Valentina Dorigatti; Enrico Formenti; Luca Manzoni; Antonio E. Porreca (ACRI, 2018)

Open Problems in Membrane Computing and How Not to Solve Them. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Enjoying Natural Computing, 2018)

Solving QSAT in Sublinear Depth. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2018)

Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata. - Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Luciano Margara; Antonio E. Porreca (LATA, 2019)

Complexity of the dynamics of reaction systems. - Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Antonio E. Porreca (Inf. Comput., 2019)

On the dynamical behaviour of linear higher-order cellular automata and its decidability. - Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Luciano Margara; Antonio E. Porreca (Inf. Sci., 2019)

Characterizing PSPACE with shallow non-confluent P systems. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (J. Membr. Comput., 2019)

Profiles of dynamical systems and their algebra. - Caroline Gaze-Maillot; Antonio E. Porreca (CoRR, 2020)

The Many Roads to the Simulation of Reaction Systems. - Claudio Ferretti; Alberto Leporati; Luca Manzoni; Antonio E. Porreca (Fundam. Informaticae, 2020)

Shallow laconic P systems can count. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (J. Membr. Comput., 2020)

A Turing machine simulation by P systems without charges. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (J. Membr. Comput., 2020)

Simulating counting oracles with cooperation. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (J. Membr. Comput., 2020)

Facilitation in reaction systems. - Luca Manzoni; Antonio E. Porreca; Grzegorz Rozenberg (J. Membr. Comput., 2020)

Subroutines in P systems and closure properties of their complexity classes. - Alberto Leporati; Luca Manzoni; Giancarlo Mauri; Antonio E. Porreca; Claudio Zandron (Theor. Comput. Sci., 2020)

Algorithmic reconstruction of discrete dynamics. - François Doré; Enrico Formenti; Antonio E. Porreca; Sara Riva (CoRR, 2022)

Polynomial-delay generation of functional digraphs up to isomorphism. - Antonio E. Porreca; Ekaterina Timofeeva (CoRR, 2023)

Roots in the Semiring of Finite Deterministic Dynamical Systems. - François Doré; Kévin Perrot; Antonio E. Porreca; Sara Riva; Marius Rolland (AUTOMATA, 2024)

Unconventional complexity classes in unconventional computing (extended abstract). - Antonio E. Porreca (CoRR, 2024)

Polynomial-delay generation of functional digraphs up to isomorphism. - Oscar Defrain; Antonio E. Porreca; Ekaterina Timofeeva (Discret. Appl. Math., 2024)

Decomposition and factorisation of transients in functional graphs. - François Doré; Enrico Formenti; Antonio E. Porreca; Sara Riva (Theor. Comput. Sci., 2024)

Injectivity of Polynomials over Finite Discrete Dynamical Systems. - Antonio E. Porreca; Marius Rolland (CiE, 2025)

Solving "pseudo-injective" polynomial equations over finite dynamical systems. - Antonio E. Porreca; Marius Rolland (CoRR, 2025)