| Publication | Date of Publication | Type |
|---|
| On P colonies and virus machines | 2026-01-08 | Paper |
Towards a general methodology for formal verification on spiking neural P systems
Theoretical Computer Science | 2024-08-21 | Paper |
| Satellite and Celestial Data for Machine Learning (SCD-ML) | 2024-07-23 | Dataset |
Spiking neural P systems with mute rules
Information and Computation | 2024-06-21 | Paper |
Spiking neural P systems without duplication
Information Sciences | 2024-04-11 | Paper |
A new P-lingua toolkit for agile development in membrane computing
Information Sciences | 2024-02-16 | Paper |
| [Supplementary material Machine Learning-driven Testing of Web APIs] | 2023-11-24 | Dataset |
Spiking neural P systems with autapses
Information Sciences | 2023-11-23 | Paper |
Tissue P systems with evolutional communication rules with two objects in the left-hand side
Natural Computing | 2023-08-31 | Paper |
Membrane creation and symport/antiport rules solving QSAT
Journal of Membrane Computing | 2023-08-29 | Paper |
From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules
Journal of Membrane Computing | 2023-08-26 | Paper |
Small universal improved spiking neural P systems with multiple channels and autapses
Journal of Membrane Computing | 2023-08-26 | Paper |
The environment as a frontier of efficiency in tissue P systems with communication rules
Theoretical Computer Science | 2023-04-26 | Paper |
| P systems with evolutional communication and separation rules | 2022-12-09 | Paper |
P systems with evolutional symport and membrane creation rules solving QSAT
Theoretical Computer Science | 2022-02-21 | Paper |
Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework
Journal of Membrane Computing | 2021-09-14 | Paper |
The computational power of cell-like P systems with one protein on membrane
Journal of Membrane Computing | 2021-09-14 | Paper |
Simulation challenges in membrane computing
Journal of Membrane Computing | 2021-09-14 | Paper |
A novel solution for GCP based on an OLMS membrane algorithm with dynamic operators
Journal of Membrane Computing | 2021-09-14 | Paper |
Proof techniques in membrane computing
Theoretical Computer Science | 2021-03-09 | Paper |
Cell-like P systems with evolutional symport/antiport rules and membrane creation
Information and Computation | 2020-12-15 | Paper |
From NP-completeness to DP-completeness: a membrane computing perspective
Complexity | 2020-10-21 | Paper |
Membrane creation in polarizationless P systems with active membranes
Fundamenta Informaticae | 2020-06-21 | Paper |
P systems with proteins: a new frontier when membrane division disappears
Journal of Membrane Computing | 2020-02-24 | Paper |
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
Journal of Membrane Computing | 2020-02-24 | Paper |
P systems with symport/antiport rules: when do the surroundings matter?
Theoretical Computer Science | 2020-01-08 | Paper |
When object production tunes the efficiency of membrane systems
Theoretical Computer Science | 2020-01-08 | Paper |
| Design of specific P systems simulators on GPUs | 2019-10-10 | Paper |
Parallel simulation of population dynamics P systems: updates and roadmap
Natural Computing | 2019-07-10 | Paper |
A path to computational efficiency through membrane computing
Theoretical Computer Science | 2019-06-18 | Paper |
The computational complexity of tissue P systems with evolutional symport/antiport rules
Complexity | 2019-02-18 | Paper |
| A simulation workflow for membrane computing: from MeCoSim to PMCGPU through P-Lingua | 2019-01-15 | Paper |
From distribution to replication in cooperative systems with active membranes: a frontier of the efficiency
Theoretical Computer Science | 2018-06-18 | Paper |
| Counting membrane systems | 2018-05-16 | Paper |
Cooperation in transport of chemical substances: a complexity approach within membrane computing
Fundamenta Informaticae | 2018-01-19 | Paper |
Computational efficiency of minimal cooperation and distribution in polarizationless P systems with active membranes
Fundamenta Informaticae | 2018-01-05 | Paper |
Fuzzy reasoning spiking neural P systems revisited: a formalization
Theoretical Computer Science | 2017-12-06 | Paper |
Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation
Theoretical Computer Science | 2017-12-06 | Paper |
| Polarizationless P systems with active membranes: computational complexity aspects | 2016-12-20 | Paper |
| The role of the direction in tissue P systems with cell separation | 2016-12-16 | Paper |
Simulating P systems on GPU devices: a survey
Fundamenta Informaticae | 2016-05-13 | Paper |
A P-Lingua based simulator for P systems with symport/antiport rules
Fundamenta Informaticae | 2016-05-11 | Paper |
Computing with viruses
Theoretical Computer Science | 2016-03-31 | Paper |
Computing partial recursive functions by virus machines
Membrane Computing | 2016-02-26 | Paper |
Membrane fission versus cell division: when membrane proliferation is not enough
Theoretical Computer Science | 2015-12-10 | Paper |
Sevilla carpets revisited: enriching the membrane computing toolbox
Fundamenta Informaticae | 2015-06-26 | Paper |
The relevance of the environment on the efficiency of tissue P systems
Membrane Computing | 2014-03-28 | Paper |
3-Col problem modelling using simple kernel P systems
International Journal of Computer Mathematics | 2013-10-08 | Paper |
The efficiency of tissue P systems with cell separation relies on the environment
Membrane Computing | 2013-04-16 | Paper |
DCBA: simulating population dynamics P systems with proportional object distribution
Membrane Computing | 2013-04-16 | Paper |
