Antonio E. Porreca

Orcid: 0000-0003-1544-028X

According to our database¹, Antonio E. Porreca authored at least 64 papers between 2006 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Polynomial-delay generation of functional digraphs up to isomorphism.

[BibT_eX]

[DOI]

Antonio E. Porreca

Ekaterina Timofeeva

CoRR, 2023

2022

Algorithmic reconstruction of discrete dynamics.

[BibT_eX]

[DOI]

CoRR, 2022

2020

Subroutines in P systems and closure properties of their complexity classes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Facilitation in reaction systems.

[BibT_eX]

[DOI]

Luca Manzoni

Antonio E. Porreca

Grzegorz Rozenberg

J. Membr. Comput., 2020

Simulating counting oracles with cooperation.

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

A Turing machine simulation by P systems without charges.

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

Shallow laconic P systems can count.

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

The Many Roads to the Simulation of Reaction Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Profiles of dynamical systems and their algebra.

[BibT_eX]

[DOI]

Caroline Gaze-Maillot

Antonio E. Porreca

CoRR, 2020

2019

Characterizing PSPACE with shallow non-confluent P systems.

[BibT_eX]

[DOI]

J. Membr. Comput., 2019

On the dynamical behaviour of linear higher-order cellular automata and its decidability.

[BibT_eX]

[DOI]

Inf. Sci., 2019

Complexity of the dynamics of reaction systems.

[BibT_eX]

[DOI]

Inf. Comput., 2019

Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2019

2018

Solving QSAT in Sublinear Depth.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2018

Open Problems in Membrane Computing and How Not to Solve Them.

[BibT_eX]

[DOI]

Proceedings of the Enjoying Natural Computing, 2018

Polynomial Equations over Finite, Discrete-Time Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2018

2017

The counting power of P systems with antimatter.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

A toolbox for simpler active membrane algorithms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Computational complexity of finite asynchronous cellular automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Characterising the complexity of tissue P systems with fission rules.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2017

Efficient Simulation of Reaction Systems on Graphics Processing Units.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Tissue P Systems with Small Cell Volume.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2017

2016

Complexity of model checking for reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Monodirectional P systems.

[BibT_eX]

[DOI]

Nat. Comput., 2016

Shallow Non-confluent P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Purely Catalytic P Systems over Integers and Their Generative Power.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Reachability in Resource-Bounded Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

The Firing Squad Synchronization Problem on Higher-Dimensional CA with Multiple Updating Cycles.

[BibT_eX]

[DOI]

Luca Manzoni

Antonio E. Porreca

Hiroshi Umeo

Proceedings of the Fourth International Symposium on Computing and Networking, 2016

2015

Ancestors, descendants, and gardens of Eden in reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

On the complexity of occurrence and convergence problems in reaction systems.

[BibT_eX]

[DOI]

Enrico Formenti

Luca Manzoni

Antonio E. Porreca

Nat. Comput., 2015

Recent complexity-theoretic results on P systems with active membranes.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

Membrane Division, Oracles, and the Counting Hierarchy.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Tissue P Systems Can be Simulated Efficiently with Counting Oracles.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

Complexity Classes for Membrane Systems: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

Preimage Problems for Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

2014

Space complexity equivalence of P systems with active membranes and Turing machines.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

P Systems with Active Membranes Working in Logarithmic Space.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2014

Simple reaction Systems and their Classification.

[BibT_eX]

[DOI]

Luca Manzoni

Diogo Poças

Antonio E. Porreca

Int. J. Found. Comput. Sci., 2014

Preface.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2014

Constant-Space P Systems with Active Membranes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

P Systems with Active Membranes Working in Sublinear Space.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2014

Simulating Elementary Active Membranes - with an Application to the P Conjecture.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2014

Cycles and Global Attractors of Reaction Systems.

[BibT_eX]

[DOI]

Enrico Formenti

Luca Manzoni

Antonio E. Porreca

Proceedings of the Descriptional Complexity of Formal Systems, 2014

Fixed Points and Attractors of Reaction Systems.

[BibT_eX]

[DOI]

Enrico Formenti

Luca Manzoni

Antonio E. Porreca

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

Improved Universality Results for Parallel Enzymatic Numerical P Systems.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2013

Reaction Systems Made Simple - A Normal Form and a Classification Theorem.

[BibT_eX]

[DOI]

Luca Manzoni

Antonio E. Porreca

Proceedings of the Unconventional Computation and Natural Computation, 2013

Enzymatic Numerical P Systems Using Elementary Arithmetic Operations.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

Flattening and Simulation of Asynchronous Divisionless P Systems with Active Membranes.

[BibT_eX]

[DOI]

Alberto Leporati

Luca Manzoni

Antonio E. Porreca

Proceedings of the Membrane Computing, 2013

Flattening in (Tissue) P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

2012

The time-space trade-off in membrane computing.

[BibT_eX]

[DOI]

Antonio E. Porreca

PhD thesis, 2012

Review of algorithmic adventures: from knowledge to magic, by Juraj Hromković.

[BibT_eX]

[DOI]

Antonio E. Porreca

SIGACT News, 2012

Sublinear-Space P Systems with Active Membranes.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2012

2011

P systems with active membranes: trading time for space.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Elementary Active Membranes Have the Power of Counting.

[BibT_eX]

[DOI]

Int. J. Nat. Comput. Res., 2011

P Systems with Active Membranes Working in Polynomial Space.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

P Systems Simulating Oracle Computations.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2011

2010

Non-confluence in divisionless P systems with active membranes.

[BibT_eX]

[DOI]

Antonio E. Porreca

Giancarlo Mauri

Claudio Zandron

Theor. Comput. Sci., 2010

P Systems with Elementary Active Membranes: Beyond NP and coNP.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

On a Powerful Class of Non-universal P Systems with Active Membranes.

[BibT_eX]

[DOI]

Antonio E. Porreca

Alberto Leporati

Claudio Zandron

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

Computational Complexity Aspects in Membrane Computing.

[BibT_eX]

[DOI]

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Introducing a Space Complexity Measure for P Systems.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2009

An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

2006

Complexity classes for membrane systems.

[BibT_eX]

[DOI]

Antonio E. Porreca

Giancarlo Mauri

Claudio Zandron

RAIRO Theor. Informatics Appl., 2006

Antonio E. Porreca

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...