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 | 3 | 2021 |
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 | 2 | 2014 |
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 | 1 | 2022 |
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 | | |