Folgen
Carlos Alberto Ramirez Restrepo
Carlos Alberto Ramirez Restrepo
Pontificia Universidad Javeriana Cali
Bestätigte E-Mail-Adresse bei javerianacali.edu.co - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5