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
scopus015-06-2024
wos015-06-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:

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)