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
scopus030-11-2024
wos001-12-2024
Dimensions
PlumX
Altmetric

Año: 2023

Journal Impact Factor (JIF): 0.90

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE93/144Q3T2D7

Año: 2023

Journal Citation Indicator (JCI): 0,280

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS111/144Q4T3D823,26

Año:

2023

CiteScore:

2,600

CategoríaPosiciónCuartilTercilDecil
Computer Science (all)124/232Q3T2D6
Theoretical Computer Science73/130Q3T2D6

SJR año:

2023

Factor de Impacto:

0,570

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)106/334Q2T1D4
Theoretical Computer Science64/125Q2T2D6
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