Seguir
Carlos Alberto Ramirez Restrepo
Carlos Alberto Ramirez Restrepo
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
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
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
2023
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