Sergio Ramírez

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification

C. Rocha, M. Romero, F. Valencia, 2019, ArXiv.

Reasoning about distributed information with infinitely many agents

Santiago Quintero, Camilo Rueda, Michell Guzmán, 2021, J. Log. Algebraic Methods Program..

Equivariant cohomology for 2-torus actions and torus actions with compatible involutions

Sergio Ramírez, 2020 .

Counting and Computing Join-Endomorphisms in Lattices

Santiago Quintero, Sergio Ramírez, Camilo Rueda, 2020, RAMiCS.

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents

Santiago Quintero, Camilo Rueda, Michell Guzmán, 2019, CONCUR.