| 2025 | Coordination | A Constraint Opinion Model. | Fabio Gadducci, Carlos Olarte, Frank Valencia |
| 2025 | ICTAC | The Spiral of Silence in Multi-agent Models for Opinion Formation. | Jess Aranda, Juan Francisco Daz, David Gaona, Frank Valencia |
| 2024 | CONCUR | Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. | Jess Aranda, Sebastin Betancourt, Juan Francisco Daz, Frank Valencia |
| 2024 | FORTE | A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. | Mrio S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia |
| 2022 | AAAI | On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints. | Carlos Pinzn, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia |
| 2021 | FORTE | A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. | Mrio S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia |
| 2019 | CONCUR | Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. | Michell Guzmn, Sophia Knight, Santiago Quintero, Sergio Ramrez, Camilo Rueda, Frank Valencia |
| 2015 | ICLP | Opinions and Beliefs as constraint system operators. | Salim Perchy, Frank Valencia |
| 2007 | ICLP | Declarative Diagnosis of Temporal Concurrent Constraint Programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2007 | ICLP | Universal Timed Concurrent Constraint Programming. | Carlos Olarte, Catuscia Palamidessi, Frank Valencia |