Luis Valencia-Cabrera

Orcid: 0000-0002-6576-9529

According to our database1, Luis Valencia-Cabrera authored at least 75 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Towards a general methodology for formal verification on spiking neural P systems.
Theor. Comput. Sci., 2024

Spiking neural P systems with mute rules.
Inf. Comput., 2024

2023
The environment as a frontier of efficiency in tissue P systems with communication rules.
Theor. Comput. Sci., May, 2023

Bio-inspired modelling as a practical tool to manage giant panda population dynamics in captivity.
Nat. Comput., March, 2023

Tissue P systems with evolutional communication rules with two objects in the left-hand side.
Nat. Comput., March, 2023

Estimation of minimum viable population for giant panda ecosystems with membrane computing models.
Nat. Comput., March, 2023

2022
P systems with evolutional symport and membrane creation rules solving QSAT.
Theor. Comput. Sci., 2022

From SAT to SAT-UNSAT using P systems with dissolution rules.
J. Membr. Comput., 2022

Membrane creation and symport/antiport rules solving QSAT.
J. Membr. Comput., 2022

Small universal improved spiking neural P systems with multiple channels and autapses.
J. Membr. Comput., 2022

A novel fault diagnosis method of smart grids based on memory spiking neural P systems considering measurement tampering attacks.
Inf. Sci., 2022

Spiking neural P systems without duplication.
Inf. Sci., 2022

A new P-Lingua toolkit for agile development in membrane computing.
Inf. Sci., 2022

P Systems with Evolutional Communication and Separation Rules.
Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

2021
Proof techniques in Membrane Computing.
Theor. Comput. Sci., 2021

Spiking neural P systems with autapses.
Inf. Sci., 2021

Spiking Neural P Systems with Delay on Synapses.
Int. J. Neural Syst., 2021

Dendrite P Systems Toolbox: Representation, Algorithms and Simulators.
Int. J. Neural Syst., 2021

An Overview of Hardware Implementation of Membrane Computing Models.
ACM Comput. Surv., 2021

Tuning Frontiers of Efficiency in Tissue P Systems with Evolutional Communication Rules.
Complex., 2021

A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems.
Complex., 2021

A membrane computing framework for social navigation in robotics.
Comput. Electr. Eng., 2021

P Systems with Evolutional Communication and Division Rules.
Axioms, 2021

Deep Learning-Based Prediction of Test Input Validity for RESTful APIs.
Proceedings of the 3rd IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2021

2020
When object production tunes the efficiency of membrane systems.
Theor. Comput. Sci., 2020

P systems with symport/antiport rules: When do the surroundings matter?
Theor. Comput. Sci., 2020

Spiking neural P systems with inhibitory rules.
Knowl. Based Syst., 2020

Simulation challenges in membrane computing.
J. Membr. Comput., 2020

Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework.
J. Membr. Comput., 2020

The computational power of cell-like P systems with one protein on membrane.
J. Membr. Comput., 2020

A novel solution for GCP based on an OLMS membrane algorithm with dynamic operators.
J. Membr. Comput., 2020

Cell-like P systems with evolutional symport/antiport rules and membrane creation.
Inf. Comput., 2020

Membrane Creation in Polarizationless P Systems with Active Membranes.
Fundam. Informaticae, 2020

A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies.
Eng. Appl. Artif. Intell., 2020

From NP-Completeness to DP-Completeness: A Membrane Computing Perspective.
Complex., 2020

A Review of Membrane Computing Models for Complex Ecosystems and a Case Study on a Complex Giant Panda System.
Complex., 2020

2019
A path to computational efficiency through membrane computing.
Theor. Comput. Sci., 2019

An interactive timeline of simulators in membrane computing.
J. Membr. Comput., 2019

Modelling complex market interactions using PDP systems.
J. Membr. Comput., 2019

Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems.
J. Membr. Comput., 2019

P systems with proteins: a new frontier when membrane division disappears.
J. Membr. Comput., 2019

Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids.
Complex., 2019

Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration.
IEEE Access, 2019

2018
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency.
Theor. Comput. Sci., 2018

Preface.
Theor. Comput. Sci., 2018

The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules.
Complex., 2018

Design of Specific P Systems Simulators on GPUs.
Proceedings of the Membrane Computing, 2018

A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua.
Proceedings of the Enjoying Natural Computing, 2018

2017
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation.
Theor. Comput. Sci., 2017

Fuzzy reasoning spiking neural P systems revisited: A formalization.
Theor. Comput. Sci., 2017

Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing.
Fundam. Informaticae, 2017

Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes.
Fundam. Informaticae, 2017

Counting Membrane Systems.
Proceedings of the Membrane Computing, 2017

2016
Computing with viruses.
Theor. Comput. Sci., 2016

Parallel simulation of Population Dynamics P systems: updates and roadmap.
Nat. Comput., 2016

Polarizationless P Systems with Active Membranes: Computational Complexity Aspects.
J. Autom. Lang. Comb., 2016

Membrane fission: A computational complexity perspective.
Complex., 2016

2015
Membrane fission versus cell division: When membrane proliferation is not enough.
Theor. Comput. Sci., 2015

Simulating P Systems on GPU Devices: A Survey.
Fundam. Informaticae, 2015

A P_Lingua Based Simulator for P Systems with Symport/Antiport Rules.
Fundam. Informaticae, 2015

Computing Partial Recursive Functions by Virus Machines.
Proceedings of the Membrane Computing, 2015

Generating Diophantine Sets by Virus Machines.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2015

2014
The Role of the Direction in Tissue P Systems with Cell Separation.
J. Autom. Lang. Comb., 2014

Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox.
Fundam. Informaticae, 2014

Unconventional Approaches to Tackle the P <i>Versus</i> NP Problem.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

Accelerated Simulation of P Systems on the GPU: A Survey.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

2013
Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems.
Int. J. Unconv. Comput., 2013

3-Col problem modelling using simple kernel P systems.
Int. J. Comput. Math., 2013

The Relevance of the Environment on the Efficiency of Tissue P Systems.
Proceedings of the Membrane Computing, 2013

Kernel P Systems: Applications and Implementations.
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012

The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment.
Proceedings of the Membrane Computing, 2012

2011
A P-Lingua Based Simulator for Spiking Neural P Systems.
Proceedings of the Membrane Computing, 2011

2010
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems.
Proceedings of the Membrane Computing, 2010

MeCoSim: A general purpose software tool for simulating biological phenomena by means of P systems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010


  Loading...