A Rewriting Logic Semantics for the Analysis of P Programs
F. Durán, C. Ramírez, C. Rocha, N. Pozas. Journal of Logical and Algebraic Methods in Programming ISSN 2352-2208, 101048, 2025
Paper | Pre-print | Bibtex
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
C Olarte, C Ramírez, C Rocha, F Valencia. International Workshop on Rewriting Logic and its Applications (WRLA 2024), Luxembourg City, Luxembourg, 2024
Statistical Model Checking for P
F Durán, N Pozas, C Ramírez, C Rocha. International Conference on Formal Methods for Industrial Critical Systems, 2023
Session-based concurrency in Maude: Executable semantics and type checking
CA Ramírez Restrepo, JC Jaramillo, JA Pérez. Journal of Logical and Algebraic Methods in Programming 133, 100872, 2023
Executable Semantics and Type Checking for Session-Based Concurrency in Maude
CA Ramírez Restrepo, JA Pérez. 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022), Munich, April 2022
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
Towards formal interaction-based models of grid computing infrastructures.
CAR Restrepo, JA Pérez, J Aranda, JF Díaz-Frias. Electronic Proceedings in Theoretical Computer Science, 2014