Towards Formal Interaction-Based Models of Grid Computing Infrastructures. - Carlos Alberto Ramírez Restrepo; Jorge A. Pérez 001; Jesús Aranda; Juan Francisco Díaz (DCM, 2013)

Executable Semantics and Type Checking for Session-Based Concurrency in Maude. - Carlos Alberto Ramírez Restrepo; Jorge A. Pérez 001 (WRLA@ETAPS, 2022)

Statistical Model Checking for sf P. - Francisco Durán 001; Nicolás Pozas; Carlos Ramírez 002; Camilo Rocha (FMICS, 2023)

Session-based concurrency in Maude: Executable semantics and type checking. - Carlos Alberto Ramírez Restrepo; Juan C. Jaramillo; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2023)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. - Carlos Olarte; Carlos Ramírez 002; Camilo Rocha; Frank Valencia (WRLA, 2024)

Algorithmic Analysis of Event-B in Rewriting Logic. - Carlos Olarte; Daniel Osorio; Carlos Ramírez 002; Camilo Rocha (NFM, 2025)

A rewriting logic semantics for the analysis of P programs. - Francisco Durán 001; Carlos Ramírez 002; Camilo Rocha; Nicolás Pozas (J. Log. Algebraic Methods Program., 2025)