Luis Valencia-Cabrera

79 papers C 1Journal 62Unranked 16

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