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

Automatic generation of efficient oracles: The less-than case

Sanchez-Rivero, Javier; Talaván, Daniel; Garcia-Alonso, Jose ; Ruiz-Cortés, Antonio; Murillo, Juan Manuel

Tipo: Artículo
Año de Publicación: 2025
Volumen: 219
Número de artículo: 112203
Acceso abierto: Vía híbrida
Fuente Nº Citas Fecha Actualización
scopus012-10-2024
wos012-10-2024
Dimensions
PlumX
Altmetric

Año: 2023

Journal Impact Factor (JIF): 3.70

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE25/143Q1T1D2
COMPUTER SCIENCE, SOFTWARE ENGINEERINGSCIE28/131Q1T1D3

Año: 2023

Journal Citation Indicator (JCI): 1,020

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, SOFTWARE ENGINEERING26/131Q1T1D280,53
COMPUTER SCIENCE, THEORY & METHODS26/143Q1T1D282,17

Año:

2023

CiteScore:

8,600

CategoríaPosiciónCuartilTercilDecil
Hardware and Architecture33/177Q1T1D2
Information Systems72/394Q1T1D2
Software75/407Q1T1D2

SJR año:

2023

Factor de Impacto:

1,160

CategoríaPosiciónCuartilTercilDecil
Hardware and Architecture31/165Q1T1D2
Information Systems72/386Q1T1D2
Software81/377Q1T1D3
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
Department of Economy and Infrastructure of the Government of Extremadura, SpainGR21133
European Union through the Recovery, Transformation and Resilience Plan-NextGenerationEU-
Ministry of Economic Affairs and Digital Transformation of the Spanish Government, Spain through the QUANTUM ENIA project call-Quantum Spain project-
Regional Ministry of Economy, Science and Digital Agenda, Spain-
Spanish Ministry of Science and InnovationPID2021-124054OB-C31; RED2022-134148-T
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Sanchez-Rivero, JavierUniversidad de Sevilla (Spain)
2Talaván, DanielCOMPUTAEX (Spain)
3Garcia-Alonso, Jose Universidad de Extremadura (Spain)
4Ruiz-Cortés, AntonioUniversidad de Sevilla (Spain)
5Murillo, Juan ManuelUniversidad de Extremadura; COMPUTAEX (Spain)