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

Using maude

Clavel, Manuel; Durán, Fransisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, Jose; Quesada, Jose F.

Tipo: Ponencia
Año de Publicación: 2000
Volumen: 1783
Páginas: 371 - 374
Fuente Nº Citas Fecha Actualización
scopus721-12-2024

Año: 2000

Journal Impact Factor (JIF): 0.2530

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE56/71Q4T3D8
COMPUTER SCIENCE, THEORY & METHODSSCIE47/67Q3T3D8

Año:

2011

CiteScore:

1,300

CategoríaPosiciónCuartilTercilDecil
General Computer Science79/176Q2T2D5
Theoretical Computer Science85/115Q3T3D8

SJR año:

2000

Factor de Impacto:

0,309

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)31/78Q2T2D4
Theoretical Computer Science48/76Q3T2D7
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Clavel, ManuelUniversidad de Navarra (Spain)
2Durán, FransiscoSRI International (United States)
3Eker, StevenSRI International (United States)
4Lincoln, PatrickSRI International (United States)
5Martí-Oliet, NarcisoUniversidad Complutense de Madrid (Spain)
6Meseguer, JoseSRI International (United States)
7Quesada, Jose F.Centro Informático Cientifico de Andalucia (Spain)