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

Efficient execution in an automated reasoning environment

Greve, David A. ; Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother; Ray, Sandip; Ruiz-Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew

Tipo: Artículo
Año de Publicación: 2008
Volumen: 18
Número: 1
Páginas: 15 - 46
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus2329-10-2024
wos1729-10-2024
Dimensions
PlumX
Altmetric

Año: 2008

Journal Impact Factor (JIF): 0.9760

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, SOFTWARE ENGINEERINGSCIE51/86Q3T2D6

Año: 2017

Journal Citation Indicator (JCI): 0,410

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, SOFTWARE ENGINEERING102/125Q4T3D918,80

Año:

2011

CiteScore:

3,500

CategoríaPosiciónCuartilTercilDecil
Software105/357Q2T1D3

SJR año:

2008

Factor de Impacto:

0,688

CategoríaPosiciónCuartilTercilDecil
Software95/296Q2T1D4
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Greve, David A. Rockwell Collins (United States)
2Kaufmann, MattThe University of Texas at Austin (United States)
3Manolios, PanagiotisGeorgia Institute of Technology (United States)
4Moore, J. StrotherThe University of Texas at Austin (United States)
5Ray, SandipThe University of Texas at Austin (United States)
6Ruiz-Reina, José LuisUniversidad de Sevilla (Spain)
7Sumners, RobAdvanced Micro Devices, Inc. (United States)
8Vroon, DaronGeorgia Institute of Technology (United States)
9Wilding, MatthewRockwell Collins Advanced Technology Center (United States)