Resarch Papers and Tools

Articles 

• Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, y Christian G. Fermüller: Playing with Modalities. CSL'25. (2025).

• Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia. The Sound of Silence in Social Networks, arXiv:2410.19685. (2024). 

• Jesús Aranda, Joan S. Betancourt, Juan Fco. Díaz, Frank Valencia. Fairness and Consensus in Opinion Models. To appear in CONCUR-2024.

• Juan Paz, Camilo Rocha, Luis E. Tobón, Frank Valencia: Consensus in Models for Opinion Dynamics with Generalized-Bias. Accepted at 13th Conference on Complex Networks and their Application (2024).

• Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk: Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. PPDP 2024: 10:1-10:14. (2024). 

• Joan S. Betancourt, Jesús Aranda, Juan Fco. Díaz, Frank Valencia. Fairness and Consensus in a Gossip Model of Social Networks (2024). arXiv.  

• Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia. A Multi-Agent Model for Opinion Evolution under Cognitive Biases (2024). arXiv. 

• Robert Freiman, Carlos Olarte, Elaine Pimentel y Christian G. Fermüller. Reasoning About Group Polarization: From Semantic Games to Sequent Systems. (Artículo y herramienta disponibles aqui). 

• Carlos Olarte, Carlos Ramírez, Camilo Rocha and Frank Valencia. Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic (2024). arXiv. Implementación en Maude disponible en Github.

• Carlso A. Ramírez Restrepo, J. C. Jaramillo, J. A. Pérez. Session-based concurrency in Maude: Executable semantics and type checking. Journal of Logical and Algebraic Methods in Programming 133, 100872, (2023). 

• Carlos Olarte, Elaine Pimentel, Camilo Rocha: A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebraic Methods Program. 130: 100827 (2023)

• Bruno Xavier , Carlos Olarte and Elaine Pimentel: A linear logic framework for multimodal logics. Mathematical Structures in Computer Science (2023)

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

Tools

1. Polarizometro,  available at  https://polarizometro.lipn.univ-paris13.fr. User manual available  here.

2. Tool for comparing different polarization measures: Google colab and GitHub. 

3. Tool for computing the Esteban and Ray polarization measure (tool developped in GeoGebra, availanble here)

4. Jupyter Notebook used for processing the data of  this event. 

Disserations

David Gaona Medina 2025/02/11 (Master)

Towards a Model of Opinion Evolution Considering the Spiral of Silence.