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
scopus013-11-2024
wos029-10-2024
Dimensions
PlumX
Altmetric

Año: 2023

Journal Impact Factor (JIF): 0.60

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE117/144Q4T3D9

Año: 2023

Journal Citation Indicator (JCI): 0,200

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS124/144Q4T3D914,24

Año:

2023

CiteScore:

1,600

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)97/133Q3T3D8

SJR año:

2023

Factor de Impacto:

0,373

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)163/334Q2T2D5
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
European Social Fund-
FEDER/Junta de AndaluciaP20_00486
Junta de Andalucia-
Nota: los datos sobre financiación provienen de la WOS
# 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)