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

A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules

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

Tipo: Artículo
Año de Publicación: 2023
Fuente Nº Citas Fecha Actualización
scopus020-04-2024
wos020-04-2024
Dimensions
PlumX
Altmetric

Año: 2022

Journal Impact Factor (JIF): 0,8

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE95/111Q4T3D9

Año: 2022

Journal Citation Indicator (JCI): 0,180

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS128/145Q4T3D912,07

Año:

2022

CiteScore:

1,400

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)80/103Q4T3D8

SJR año:

2022

Factor de Impacto:

0,346

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)159/318Q3T2D5
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Orellana-Martín, David Universidad de Sevilla (Spain)
2Valencia-Cabrera, LuisUniversidad de Sevilla (Spain)
3Pérez-Jiménez, Mario J.Universidad de Sevilla (Spain)