E-LIB Suche - Ergebnisse für: Valencia-Cabrera, Luis

1

Towards a general methodology for formal verification on sp..:

Pérez-Jiménez, Mario J. ; Valencia-Cabrera, Luis ; Orellana-Martín, David.
Theoretical Computer Science. 1011 (2024) - p. 114705 , 2024

Link: https://doi.org/10.1016/..

2

Spiking neural P systems with mute rules:

Wu, Tingfang ; Valencia-Cabrera, Luis ; Pérez-Jiménez, Mario J..
Information and Computation. 299 (2024) - p. 105179 , 2024

Link: https://doi.org/10.1016/..

3

A review of computing models for studying population dynami..:

Duan, Yingying ; Rong, Haina ; Zhang, Gexiang...
Ecological Modelling. 487 (2024) - p. 110543 , 2024

Link: https://doi.org/10.1016/..

4

The environment as a frontier of efficiency in tissue P sys..:

Orellana-Martín, David ; Valencia-Cabrera, Luis ; Pérez-Jiménez, Mario J.
Theoretical Computer Science. 956 (2023) - p. 113812 , 2023

Link: https://doi.org/10.1016/..

5

P systems with evolutional symport and membrane creation ru..:

Orellana-Martín, David ; Valencia-Cabrera, Luis ; Pérez-Jiménez, Mario J.
Theoretical Computer Science. 908 (2022) - p. 56-63 , 2022

Link: https://doi.org/10.1016/..

6

Estimation of minimum viable population for giant panda eco..:

Duan, Yingying ; Rong, Haina ; Zhang, Gexiang...
Natural Computing. 22 (2022) 1 - p. 69-93 , 2022

Link: https://doi.org/10.1007/..

7

A new P-Lingua toolkit for agile development in membrane co..:

Pérez-Hurtado, Ignacio ; Orellana-Martín, David ; Martínez-del-Amor, Miguel A...
Information Sciences. 587 (2022) - p. 1-22 , 2022

Link: https://doi.org/10.1016/..

8

Tissue P systems with evolutional communication rules with ..:

Orellana-Martín, David ; Valencia-Cabrera, Luis ; Song, Bosheng..
Natural Computing. 22 (2022) 1 - p. 119-132 , 2022

Link: https://doi.org/10.1007/..

9

P Systems with Evolutional Communication and Separation Rul..:

, In: Lecture Notes in Computer Science; Machines, Computations, and Universality,

Orellana-Martín, David ; Valencia-Cabrera, Luis ; Pérez-Jiménez, Mario J. - p. 143-157 , 2022

Link: https://doi.org/10.1007/..

10

Membrane creation and symport/antiport rules solving QSAT:

Orellana-Martín, David ; Valencia-Cabrera, Luis ; Pérez-Jiménez, Mario J.
Journal of Membrane Computing. 4 (2022) 3 - p. 261-267 , 2022

Link: https://doi.org/10.1007/..

11

Bio-inspired modelling as a practical tool to manage giant ..:

Rong, Haina ; Duan, Yingying ; Valencia-Cabrera, Luis...
Natural Computing. 22 (2022) 1 - p. 133-147 , 2022

Link: https://doi.org/10.1007/..

12

From SAT to SAT-UNSAT using P systems with dissolution rule:

Riscos-Núñez, Agustín ; Valencia-Cabrera, Luis
Journal of Membrane Computing. 4 (2022) 2 - p. 97-106 , 2022

Link: https://doi.org/10.1007/..

13

Small universal improved spiking neural P systems with mult..:

Ning, Guimin ; Valencia-Cabrera, Luis ; Song, Xiaoxiao
Journal of Membrane Computing. 4 (2022) 2 - p. 153-165 , 2022

Link: https://doi.org/10.1007/..

14

Spiking neural P systems without duplication:

Sun, Zhang ; Valencia-Cabrera, Luis ; Ning, Guimin.
Information Sciences. 612 (2022) - p. 75-86 , 2022

Link: https://doi.org/10.1016/..

15

P Systems with Evolutional Communication and Division Rules:

Orellana-Martín, David ; Valencia-Cabrera, Luis ; Pérez-Jiménez, Mario J.
Axioms. 10 (2021) 4 - p. 327 , 2021

Link: https://doi.org/10.3390/..