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

The maude system

Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.; Quesada, J. F.

Tipo: Ponencia
Año de Publicación: 1999
Volumen: 1631
Páginas: 240 - 243
Fuente Nº Citas Fecha Actualización
scopus4613-04-2024
Dimensions
PlumX
Altmetric

Año: 1999

Journal Impact Factor (JIF): 0,53

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE29/63Q2T2D5
COMPUTER SCIENCE, THEORY & METHODSSCIE13/61Q1T1D3

Año:

2011

CiteScore:

1,300

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

SJR año:

1999

Factor de Impacto:

0,299

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)31/76Q2T2D5
Theoretical Computer Science39/76Q3T2D6
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Clavel, M.Universidad de Navarra (Spain)
2Durán, F.SRI International (United States)
3Eker, S.SRI International (United States)
4Lincoln, P.SRI International (United States)
5Martí-Oliet, N.Universidad Complutense de Madrid (Spain)
6Meseguer, J.SRI International (United States)
7Quesada, J. F.Centro Informático Cientifico de Andalucia (Spain)