Publications

Reasoning about distributed information with infinitely many agents. Journal of Logical and Algebraic Methods in Programming (JLAMP) 2021

DOI:10.1016/j.jlamp.2021.100674

Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia:

Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. RAMiCS 2021: 413-432

DOI: 10.1007/978-3-030-88701-8_25

Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia:

Counting and Computing Join-Endomorphisms in Lattices. RAMiCS 2020: 253-269

DOI: 10.1007/978-3-030-43520-2_16

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia:

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR 2019: 29:1-29:15

DOI: 10.4230/LIPIcs.CONCUR.2019.29

Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia:

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA@ETAPS 2018: 226-244

DOI: 10.1007/978-3-319-99840-4_13

Sergio Ramírez, Camilo Rocha:

Formal verification of safety properties for a cache coherence protocol. 10th Computing Colombian Conference (10CCC), Bogota, 2015, pp. 9-16.

DOI: 10.1109/ColumbianCC.2015.7333399

A Theory to Reason About Distributed Information. 2021

Local copy