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
scopus020-07-2024
Dimensions
PlumX
Altmetric

Año: 2023

Journal Impact Factor (JIF): 0.90

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

Año: 2023

Journal Citation Indicator (JCI): 0,270

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS111/143Q4T3D822,73

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.
No exiten datos para esta publicación