| Publication | Date of Publication | Type |
|---|
Towards a general methodology for formal verification on spiking neural P systems
Theoretical Computer Science | 2024-08-21 | Paper |
A new P-lingua toolkit for agile development in membrane computing
Information Sciences | 2024-02-16 | Paper |
Generating, computing and recognizing with virus machines
Theoretical Computer Science | 2023-09-07 | 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 |
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 |
Seeking computational efficiency boundaries: the Păun's conjecture
Journal of Membrane Computing | 2021-09-14 | Paper |
Division rules for tissue P systems inspired by space filling curves
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 |
Cell-like P systems with polarizations and minimal rules
Theoretical Computer Science | 2020-03-20 | 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 |
A path to computational efficiency through membrane computing
Theoretical Computer Science | 2019-06-18 | Paper |
| Design patterns for efficient solutions to NP-complete problems in membrane computing | 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 |
Sevilla carpets revisited: enriching the membrane computing toolbox
Fundamenta Informaticae | 2015-06-26 | Paper |
