フォロー
Carlos Alberto Ramirez Restrepo
Carlos Alberto Ramirez Restrepo
Pontificia Universidad Javeriana Cali
確認したメール アドレス: javerianacali.edu.co - ホームページ
タイトル
引用先
引用先
年
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–5