Ver Publicación - Prisma - Unidad de Bibliometría

Towards a general methodology for formal verification on spiking neural P systems

Pérez-Jiménez, Mario J.; Valencia-Cabrera, Luis; Orellana-Martín, David ; Ramírez-de-Arellano, Antonio

Tipo: Artículo
Año de Publicación: 2024
Volumen: 1011
Número de artículo: 114705
Acceso abierto: Vía híbrida
Fuente Nº Citas Fecha Actualización
scopus123-08-2025
wos127-09-2025
Dimensions
PlumX
Altmetric

Año: 2024

Journal Impact Factor (JIF): 1.0

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE96/147Q3T2D7

Año: 2024

Journal Citation Indicator (JCI): 0,260

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS113/147Q4T3D823,47

Año:

2024

CiteScore:

2,500

CategoríaPosiciónCuartilTercilDecil
Computer Science (all)137/239Q3T2D6
Theoretical Computer Science76/136Q3T2D6

SJR año:

2024

Factor de Impacto:

0,494

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)129/358Q2T2D4
Theoretical Computer Science71/129Q3T2D6
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
Zhejiang Lab BioBit Program2022BCF05
Nota: los datos sobre financiación provienen de la WOS