Luis Valencia-Cabrera

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 57

Top Topics

Formal Verification

Easily Interpretable

Arabidopsis Thaliana

Top Venues

Theor. Comput. Sci.

J. Membr. Comput.

Fundam. Informaticae

Publications

Mario J. Pérez-Jiménez, Luis Valencia-Cabrera, David Orellana-Martín, Antonio Ramírez-de-Arellano
Towards a general methodology for formal verification on spiking neural P systems. Theor. Comput. Sci. 1011 (2024)
Tingfang Wu, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez, Linqiang Pan
Spiking neural P systems with mute rules. Inf. Comput. 299 (2024)
David Orellana-Martín, Luis Valencia-Cabrera, Bosheng Song, Linqiang Pan, Mario J. Pérez-Jiménez
Tissue P systems with evolutional communication rules with two objects in the left-hand side. Nat. Comput. 22 (1) (2023)
Haina Rong, Yingying Duan, Luis Valencia-Cabrera, Gexiang Zhang, Dunwu Qi, Mario J. Pérez-Jiménez
Bio-inspired modelling as a practical tool to manage giant panda population dynamics in captivity. Nat. Comput. 22 (1) (2023)
David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
The environment as a frontier of efficiency in tissue P systems with communication rules. Theor. Comput. Sci. 956 (2023)
Yingying Duan, Haina Rong, Gexiang Zhang, Dunwu Qi, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
Estimation of minimum viable population for giant panda ecosystems with membrane computing models. Nat. Comput. 22 (1) (2023)
David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
Membrane creation and symport/antiport rules solving QSAT. J. Membr. Comput. 4 (3) (2022)
David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
P Systems with Evolutional Communication and Separation Rules. MCU (2022)
Ignacio Pérez-Hurtado, David Orellana-Martín, Miguel A. Martínez-del-Amor, Luis Valencia-Cabrera, Agustín Riscos-Núñez
A new P-Lingua toolkit for agile development in membrane computing. Inf. Sci. 587 (2022)
David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
P systems with evolutional symport and membrane creation rules solving QSAT. Theor. Comput. Sci. 908 (2022)
Agustín Riscos-Núñez, Luis Valencia-Cabrera
From SAT to SAT-UNSAT using P systems with dissolution rules. J. Membr. Comput. 4 (2) (2022)
Tao Wang, Wei Liu, Luis Valencia-Cabrera, Peng Wang, Xiaoguang Wei, Tianlei Zang
A novel fault diagnosis method of smart grids based on memory spiking neural P systems considering measurement tampering attacks. Inf. Sci. 596 (2022)
Guimin Ning, Luis Valencia-Cabrera, Xiaoxiao Song
Small universal improved spiking neural P systems with multiple channels and autapses. J. Membr. Comput. 4 (2) (2022)
Zhang Sun, Luis Valencia-Cabrera, Guimin Ning, Xiaoxiao Song
Spiking neural P systems without duplication. Inf. Sci. 612 (2022)
A. Giuliano Mirabella, Alberto Martin-Lopez, Sergio Segura, Luis Valencia-Cabrera, Antonio Ruiz-Cortés
Deep Learning-Based Prediction of Test Input Validity for RESTful APIs. DeepTest@ICSE (2021)
David Orellana-Martín, Miguel A. Martínez-del-Amor, Luis Valencia-Cabrera, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
Dendrite P Systems Toolbox: Representation, Algorithms and Simulators. Int. J. Neural Syst. 31 (1) (2021)
Xiaoxiao Song, Luis Valencia-Cabrera, Hong Peng, Jun Wang
Spiking neural P systems with autapses. Inf. Sci. 570 (2021)
Ignacio Pérez-Hurtado, David Orellana-Martín, Miguel Ángel Martínez-del-Amor, Luis Valencia-Cabrera
A membrane computing framework for social navigation in robotics. Comput. Electr. Eng. 95 (2021)
Zhu Huang, Tao Wang, Wei Liu, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez, Pengpeng Li
A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems. Complex. 2021 (2021)
David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
P Systems with Evolutional Communication and Division Rules. Axioms 10 (4) (2021)
David Orellana-Martín, Luis Valencia-Cabrera, Bosheng Song, Linqiang Pan, Mario J. Pérez-Jiménez
Tuning Frontiers of Efficiency in Tissue P Systems with Evolutional Communication Rules. Complex. 2021 (2021)
David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
Proof techniques in Membrane Computing. Theor. Comput. Sci. 862 (2021)
Xiaoxiao Song, Luis Valencia-Cabrera, Hong Peng, Jun Wang, Mario J. Pérez-Jiménez
Spiking Neural P Systems with Delay on Synapses. Int. J. Neural Syst. 31 (1) (2021)
Bosheng Song, Kenli Li, David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
Cell-like P systems with evolutional symport/antiport rules and membrane creation. Inf. Comput. 275 (2020)
Tao Wang, Xiaoguang Wei, Jun Wang, Tao Huang, Hong Peng, Xiaoxiao Song, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies. Eng. Appl. Artif. Intell. 92 (2020)
Yingying Duan, Haina Rong, Dunwu Qi, Luis Valencia-Cabrera, Gexiang Zhang, Mario J. Pérez-Jiménez
A Review of Membrane Computing Models for Complex Ecosystems and a Case Study on a Complex Giant Panda System. Complex. 2020 (2020)
David Orellana-Martín, Miguel Ángel Martínez-del-Amor, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
When object production tunes the efficiency of membrane systems. Theor. Comput. Sci. 805 (2020)
Bosheng Song, Xiaoyan Luo, Luis Valencia-Cabrera, Xiangxiang Zeng
The computational power of cell-like P systems with one protein on membrane. J. Membr. Comput. 2 (4) (2020)
Luis Valencia-Cabrera, David Orellana-Martín, Miguel Ángel Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez
From NP-Completeness to DP-Completeness: A Membrane Computing Perspective. Complex. 2020 (2020)
Hong Peng, Bo Li, Jun Wang, Xiaoxiao Song, Tao Wang, Luis Valencia-Cabrera, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
Spiking neural P systems with inhibitory rules. Knowl. Based Syst. 188 (2020)
David Orellana-Martín, Miguel Ángel Martínez-del-Amor, Luis Valencia-Cabrera, Bosheng Song, Linqiang Pan, Mario J. Pérez-Jiménez
P systems with symport/antiport rules: When do the surroundings matter? Theor. Comput. Sci. 805 (2020)
David Orellana-Martín, Luis Valencia-Cabrera, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
Membrane Creation in Polarizationless P Systems with Active Membranes. Fundam. Informaticae 171 (1-4) (2020)
Gexiang Zhang, Zeyi Shang, Sergey Verlan, Miguel Ángel Martínez-del-Amor, Chengxun Yuan, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
An Overview of Hardware Implementation of Membrane Computing Models. ACM Comput. Surv. 53 (4) (2020)
Luis Valencia-Cabrera, Bosheng Song
Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework. J. Membr. Comput. 2 (2) (2020)
José Antonio Andreu-Guzmán, Luis Valencia-Cabrera
A novel solution for GCP based on an OLMS membrane algorithm with dynamic operators. J. Membr. Comput. 2 (1) (2020)
Luis Valencia-Cabrera, Ignacio Pérez-Hurtado, Miguel A. Martínez-del-Amor
Simulation challenges in membrane computing. J. Membr. Comput. 2 (4) (2020)
David Orellana-Martín, Luis Valencia-Cabrera, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems. J. Membr. Comput. 1 (2) (2019)
Tao Wang, Xiaoguang Wei, Tao Huang, Jun Wang, Luis Valencia-Cabrera, Zhen-Nan Fan, Mario J. Pérez-Jiménez
Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids. Complex. 2019 (2019)
David Orellana-Martín, Luis Valencia-Cabrera, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
P systems with proteins: a new frontier when membrane division disappears. J. Membr. Comput. 1 (1) (2019)
David Orellana-Martín, Luis Valencia-Cabrera, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
A path to computational efficiency through membrane computing. Theor. Comput. Sci. 777 (2019)
Eduardo Sánchez-Karhunen, Luis Valencia-Cabrera
Modelling complex market interactions using PDP systems. J. Membr. Comput. 1 (1) (2019)
Luis Valencia-Cabrera, David Orellana-Martín, Miguel Ángel Martínez-del-Amor, Mario J. Pérez-Jiménez
An interactive timeline of simulators in membrane computing. J. Membr. Comput. 1 (3) (2019)
Tao Wang, Xiaoguang Wei, Tao Huang, Jun Wang, Hong Peng, Mario J. Pérez-Jiménez, Luis Valencia-Cabrera
Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration. IEEE Access 7 (2019)
Miguel A. Martínez-del-Amor, David Orellana-Martín, Ignacio Pérez-Hurtado, Luis Valencia-Cabrera, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
Design of Specific P Systems Simulators on GPUs. Int. Conf. on Membrane Computing (2018)
Miguel A. Martínez-del-Amor, Agustín Riscos-Núñez, Luis Valencia-Cabrera
Preface. Theor. Comput. Sci. 724 (2018)
Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency. Theor. Comput. Sci. 736 (2018)
Luis Valencia-Cabrera, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado
A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua. Enjoying Natural Computing (2018)
Linqiang Pan, Bosheng Song, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules. Complex. 2018 (2018)
Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez
Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes. Fundam. Informaticae 153 (1-2) (2017)
Luis Valencia-Cabrera, David Orellana-Martín, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
Counting Membrane Systems. Int. Conf. on Membrane Computing (2017)
Mario J. Pérez-Jiménez, Carmen Graciani Díaz, David Orellana-Martín, Agustin Riscos-Núñez, Álvaro Romero Jiménez, Luis Valencia-Cabrera
Fuzzy reasoning spiking neural P systems revisited: A formalization. Theor. Comput. Sci. 701 (2017)
Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing. Fundam. Informaticae 154 (1-4) (2017)
Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation. Theor. Comput. Sci. 701 (2017)
Luis F. Macías-Ramos, Bosheng Song, Luis Valencia-Cabrera, Linqiang Pan, Mario J. Pérez-Jiménez
Membrane fission: A computational complexity perspective. Complex. 21 (6) (2016)
Xu Chen, Mario J. Pérez-Jiménez, Luis Valencia-Cabrera, Beizhan Wang, Xiangxiang Zeng
Computing with viruses. Theor. Comput. Sci. 623 (2016)
Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez
Polarizationless P Systems with Active Membranes: Computational Complexity Aspects. J. Autom. Lang. Comb. 21 (1-2) (2016)
Miguel A. Martínez-del-Amor, Luis F. Macías-Ramos, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
Parallel simulation of Population Dynamics P systems: updates and roadmap. Nat. Comput. 15 (4) (2016)
Álvaro Romero Jiménez, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
Generating Diophantine Sets by Virus Machines. BIC-TA (2015)
Luis F. Macías-Ramos, Luis Valencia-Cabrera, Bosheng Song, Tao Song, Linqiang Pan, Mario J. Pérez-Jiménez
A P_Lingua Based Simulator for P Systems with Symport/Antiport Rules. Fundam. Informaticae 139 (2) (2015)
Álvaro Romero Jiménez, Luis Valencia-Cabrera, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez
Computing Partial Recursive Functions by Virus Machines. Int. Conf. on Membrane Computing (2015)
Luis F. Macías-Ramos, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Luis Valencia-Cabrera
Membrane fission versus cell division: When membrane proliferation is not enough. Theor. Comput. Sci. 608 (2015)
Miguel A. Martínez-del-Amor, Manuel García-Quismondo, Luis F. Macías-Ramos, Luis Valencia-Cabrera, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez
Simulating P Systems on GPU Devices: A Survey. Fundam. Informaticae 136 (3) (2015)
Miguel A. Martínez-del-Amor, Luis F. Macías-Ramos, Luis Valencia-Cabrera, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez
Accelerated Simulation of P Systems on the GPU: A Survey. BIC-TA (2014)
Luis F. Macías-Ramos, Miguel A. Martínez-del-Amor, Mario de J. Pérez-Jiménez, Agustin Riscos-Núñez, Luis Valencia-Cabrera
The Role of the Direction in Tissue P Systems with Cell Separation. J. Autom. Lang. Comb. 19 (1-4) (2014)
Luis F. Macías-Ramos, Miguel A. Martínez-del-Amor, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Luis Valencia-Cabrera
NP Problem. Discrete Mathematics and Computer Science (2014)
David Orellana-Martín, Carmen Graciani Díaz, Luis-Felipe Macías-Ramos, Miguel Ángel Martínez-del-Amor, Agustin Riscos-Núñez, Álvaro Romero Jiménez, Luis Valencia-Cabrera
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. Fundam. Informaticae 134 (1-2) (2014)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla
3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90 (4) (2013)
Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Miquel Rius-Font, Luis Valencia-Cabrera
The Relevance of the Environment on the Efficiency of Tissue P Systems. Int. Conf. on Membrane Computing (2013)
Luis Valencia-Cabrera, Manuel García-Quismondo, Mario de J. Pérez-Jiménez, Yansen Su, Hui Yu, Linqiang Pan
Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems. Int. J. Unconv. Comput. 9 (5-6) (2013)
Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe
Kernel P Systems: Applications and Implementations. BIC-TA (2013)
Luis F. Macías-Ramos, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Miquel Rius-Font, Luis Valencia-Cabrera
The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment. Int. Conf. on Membrane Computing (2012)
Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Manuel García-Quismondo, Luis F. Macías-Ramos, Luis Valencia-Cabrera, Álvaro Romero Jiménez, Carmen Graciani Díaz, Agustin Riscos-Núñez, Maria Angels Colomer, Mario J. Pérez-Jiménez
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. Int. Conf. on Membrane Computing (2012)
Luis F. Macías-Ramos, Ignacio Pérez-Hurtado, Manuel García-Quismondo, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez
A P-Lingua Based Simulator for Spiking Neural P Systems. Int. Conf. on Membrane Computing (2011)
Ignacio Pérez-Hurtado, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez, Maria Angels Colomer, Agustin Riscos-Núñez
MeCoSim: A general purpose software tool for simulating biological phenomena by means of P systems. BIC-TA (2010)
Maria Angels Colomer, Santiago Lavín, Ignasi Marco, Antoni Margalida, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Delfí Sanuy, Emmanuel Serrano, Luis Valencia-Cabrera
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems. Int. Conf. on Membrane Computing (2010)