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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/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...
7 Productos
Más citado
CSV
API
SPARQL2Flink: Evaluation of SPARQL Queries on Apache Flink
Acceso Abierto
Fuente: Applied Sciences
Oscar Orlando Ceballos Argote
CARLOS ALBERTO RAMÍREZ RESTREPO
Maria Constanza Pabon Burbano
ANDRES MAURICIO CASTILLO ROBLES
Oscar Corcho
Temas:
Computer science
SPARK (programming language)
SPARQL
Correctness
Database
Big data
License
RDF
Information retrieval
Programming language
Operating system
Semantic Web
Publicado: 2021
Citaciones:
5
Altmétricas:
0
Artículo de revista
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Acceso Abierto
ART-ART_D
ID Minciencias: ART-0000353639-41
Fuente: arXiv (Cornell University)
CARLOS ALBERTO RAMÍREZ RESTREPO
Jorge Andres Perez Parra
JESUS ALEXANDER ARANDA BUENO
JUAN FRANCISCO DIAZ FRIAS
Temas:
Computer science
Concurrency
Grid computing
Distributed computing
Grid
Shared resource
Process calculus
Resource (disambiguation)
Process (computing)
Software engineering
Formal methods
Programming language
Operating system
Computer network
Geometry
Mathematics
Publicado: 2014
Citaciones:
1
Altmétricas:
0
Artículo de revista
Session-based concurrency in Maude: Executable semantics and type checking
Acceso Abierto
Fuente: Journal of Logical and Algebraic Methods in Programming
CARLOS ALBERTO RAMÍREZ RESTREPO
Juan Jaramillo Londono
Jorge Andres Perez Parra
Temas:
Executable
Computer science
Programming language
Concurrency
Correctness
Session (web analytics)
Process calculus
Operational semantics
Semantics (computer science)
Reachability
Theoretical computer science
World Wide Web
Publicado: 2023
Citaciones:
1
Altmétricas:
0
Artículo de revista
Executable Semantics and Type Checking for Session-Based Concurrency in Maude
Acceso Cerrado
Fuente: Lecture notes in computer science
CARLOS ALBERTO RAMÍREZ RESTREPO
Jorge Andres Perez Parra
Temas:
Computer science
Executable
Programming language
Concurrency
Correctness
Semantics (computer science)
Operational semantics
Session (web analytics)
Reachability
Theoretical computer science
World Wide Web
Publicado: 2022
Citaciones:
0
Altmétricas:
0
Artículo de revista
Determinación del impacto familiar en pacientes con defectos del tubo neural
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
Temas:
Medicine
Humanities
Gynecology
Psychology
Art
Publicado: 2010
Citaciones:
0
Resultado de conferencia
Static RDF Datasets and RDF Streams Processing Over Big Data Technologies
Maria Constanza Pabon Burbano
(Asesor)
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++
CARLOS ALBERTO RAMÍREZ RESTREPO
(Asesor)
Publicado: 2022
Citaciones:
0
Docencia
1
NaN
