Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
CARLOS ALBERTO RAMÍREZ RESTREPO
Universidad del Valle
Seccional Tulua
Vicerrectoria de Regionalizacion
Grupo de Investigación en Ambientes Visuales de Programación Aplicativa - Avispa
Pontificia Universidad Javeriana
Perfil externo:
Citaciones:
7
Productos:
7
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
Cargando información...
7 Productos
Más citado
CSV
API
SPARQL2Flink: Evaluation of SPARQL Queries on Apache Flink
Ver producto
Acceso Abierto
Fuente: Applied Sciences
Oscar Orlando Ceballos Argote
CARLOS ALBERTO RAMÍREZ RESTREPO
Maria Constanza Pabon Burbano
ANDRES MAURICIO CASTILLO ROBLES
Oscar Corcho
Tópico:
Semantic Web and Ontologies
Publicado: 2021
Citaciones:
5
Altmétricas:
0
Artículo de revista
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Ver producto
Acceso Abierto
ID Minciencias: ART-0000353639-41
Ranking: ART-ART_D
Fuente: arXiv (Cornell University)
CARLOS ALBERTO RAMÍREZ RESTREPO
Jorge Andres Perez Parra
JESUS ALEXANDER ARANDA BUENO
JUAN FRANCISCO DIAZ FRIAS
Tópico:
Distributed and Parallel Computing Systems
Publicado: 2014
Citaciones:
1
Altmétricas:
0
Artículo de revista
Session-based concurrency in Maude: Executable semantics and type checking
Ver producto
Acceso Abierto
Fuente: Journal of Logical and Algebraic Methods in Programming
CARLOS ALBERTO RAMÍREZ RESTREPO
Juan Jaramillo Londono
Jorge Andres Perez Parra
Tópico:
Logic, programming, and type systems
Publicado: 2023
Citaciones:
1
Altmétricas:
0
Artículo de revista
Executable Semantics and Type Checking for Session-Based Concurrency in Maude
Ver producto
Acceso Cerrado
Fuente: Lecture notes in computer science
CARLOS ALBERTO RAMÍREZ RESTREPO
Jorge Andres Perez Parra
Tópico:
Logic, programming, and type systems
Publicado: 2022
Citaciones:
0
Altmétricas:
0
Artículo de revista
Determinación del impacto familiar en pacientes con defectos del tubo neural
Ver producto
Acceso Cerrado
Fuente: DOAJ (DOAJ: Directory of Open Access Journals)
Yeinny Guatibonza M
Maria Agudelo Perez
Adriana Ordoñez
CARLOS ALBERTO RAMÍREZ RESTREPO
Ignacio Manuel Zarante Montoya
Fernando Suárez Obando
Tópico:
Aging, Health, and Disability
Publicado: 2010
Citaciones:
0
Resultado de conferencia
Static RDF Datasets and RDF Streams Processing Over Big Data Technologies
Ver producto
Maria Constanza Pabon Burbano
ANDRES MAURICIO CASTILLO ROBLES
CARLOS ALBERTO RAMÍREZ RESTREPO
Oscar Orlando Ceballos Argote
Publicado: 2021
Citaciones:
0
Docencia
Traducción de modelos en Event-B a programas correctos en C++
Ver producto
CARLOS ALBERTO RAMÍREZ RESTREPO
Publicado: 2022
Citaciones:
0
Docencia
1
NaN
