Seguir
Carlos Alberto Ramirez Restrepo
Carlos Alberto Ramirez Restrepo
Pontificia Universidad Javeriana Cali
Dirección de correo verificada de javerianacali.edu.co - Página principal
Título
Citado por
Citado por
Año
SPARQL2Flink: Evaluation of SPARQL Queries on Apache Flink
O Ceballos, CA Ramírez Restrepo, MC Pabón, AM Castillo, O Corcho
Applied Sciences 11 (15), 7033, 2021
32021
Towards formal interaction-based models of grid computing infrastructures
CAR Restrepo, JA Pérez, J Aranda, JF Díaz-Frias
arXiv preprint arXiv:1404.0085, 2014
22014
Session-based concurrency in Maude: Executable semantics and type checking
CAR Restrepo, JC Jaramillo, JA Pérez
Journal of Logical and Algebraic Methods in Programming 133, 100872, 2023
12023
Executable semantics and type checking for session-based concurrency in Maude
CA Ramírez Restrepo, JA Pérez
International Workshop on Rewriting Logic and its Applications, 230-250, 2022
12022
An Approach to formal Modeling of grid Computing.
CA Ramírez Restrepo
Universidad del Valle, 0
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5