David Orellana-Martín

Available identifiers

zbMath Open orellana-martin.davidMaRDI QIDQ1643129

List of research outcomes

Publication	Date of Publication	Type
Towards a general methodology for formal verification on spiking neural P systems	2024-08-21	Paper
A new P-lingua toolkit for agile development in membrane computing	2024-02-16	Paper
Generating, computing and recognizing with virus machines	2023-09-07	Paper
Tissue P systems with evolutional communication rules with two objects in the left-hand side	2023-08-31	Paper
Membrane creation and symport/antiport rules solving QSAT	2023-08-29	Paper
The environment as a frontier of efficiency in tissue P systems with communication rules	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	2022-02-21	Paper
Seeking computational efficiency boundaries: the Păun's conjecture	2021-09-14	Paper
Division rules for tissue P systems inspired by space filling curves	2021-09-14	Paper
Proof techniques in membrane computing	2021-03-09	Paper
Cell-like P systems with evolutional symport/antiport rules and membrane creation	2020-12-15	Paper
From NP-completeness to DP-completeness: a membrane computing perspective	2020-10-21	Paper
Membrane Creation in Polarizationless P Systems with Active Membranes	2020-06-21	Paper
Cell-like P systems with polarizations and minimal rules	2020-03-20	Paper
P systems with proteins: a new frontier when membrane division disappears	2020-02-24	Paper
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems	2020-02-24	Paper
P systems with symport/antiport rules: when do the surroundings matter?	2020-01-08	Paper
When object production tunes the efficiency of membrane systems	2020-01-08	Paper
Design of specific P systems simulators on GPUs	2019-10-10	Paper
A path to computational efficiency through membrane computing	2019-06-18	Paper
Design patterns for efficient solutions to \(\mathrm{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	2018-06-18	Paper
Counting membrane systems	2018-05-16	Paper
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing	2018-01-19	Paper
Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes	2018-01-05	Paper
Fuzzy reasoning spiking neural P systems revisited: a formalization	2017-12-06	Paper
Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation	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	2015-06-26	Paper

Research outcomes over time

This page was built for person: David Orellana-Martín