Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (CONCUR, 2019)

Counting and Computing Join-Endomorphisms in Lattices. - Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (RAMiCS, 2020)

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (CoRR, 2020)

Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. - Mário S. Alvim; Bernardo Amorim; Sophia Knight; Santiago Quintero; Frank Valencia (CoRR, 2020)

Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. - Carlos Pinzón; Santiago Quintero; Sergio Ramírez; Frank Valencia (RAMiCS, 2021)

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. - Mário S. Alvim; Bernardo Amorim; Sophia Knight; Santiago Quintero; Frank Valencia (FORTE, 2021)

Reasoning about distributed information with infinitely many agents. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (J. Log. Algebraic Methods Program., 2021)

On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge. - Santiago Quintero; Carlos Pinzón; Sergio Ramírez; Frank Valencia (CoRR, 2022)

Counting and Computing Join-Endomorphisms in Lattices (Revisited). - Carlos Pinzón; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (CoRR, 2022)

A Formal Model for Polarization under Confirmation Bias in Social Networks. - Mário S. Alvim; Bernardo Amorim; Sophia Knight; Santiago Quintero; Frank Valencia (Log. Methods Comput. Sci., 2023)