Carlos Alberto Ramirez Restrepo

2019202020212022202320241 1 3 1

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Maria Constanza PabónProfesora Asociada, Pontificia Universidad Javeriana Cali, ORCID 0000-0002-2858-0276Verified email at javerianacali.edu.co
Andres M. CastilloEscuale de Ingeniería de Sistemas y Computación, Universidad del ValleVerified email at correounivalle.edu.co
Oscar CorchoOntology Engineering Group, Departamento de Inteligencia Artificial, UPMVerified email at fi.upm.es
JESUS A. ARANDA B.Lecturer, Universidad del ValleVerified email at correounivalle.edu.co

Carlos Alberto Ramirez Restrepo

Verified email at javerianacali.edu.co - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year