Frank Valencia

41 papers A* 1B 4C 6Journal 19Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Unified opinion formation analysis in rewriting logic. J. Log. Algebraic Methods Program. Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
2025	C	`conf`	A Constraint Opinion Model. COORDINATION Fabio Gadducci, Carlos Olarte, Frank Valencia
2025	J	`jnl`	A Constraint Opinion Model. CoRR Fabio Gadducci, Carlos Olarte, Frank Valencia
2025	C	`conf`	The Spiral of Silence in Multi-agent Models for Opinion Formation. ICTAC Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia
2024	J	`jnl`	A Multi-Agent Model for Opinion Evolution under Cognitive Biases. CoRR Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
2024	C	`conf`	A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. FORTE Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
2024	J	`jnl`	Consensus in Models for Opinion Dynamics with Generalized-Bias. CoRR Juan Paz, Camilo Rocha, Luis E. Tobón, Frank Valencia
2024	B	`conf`	Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. CONCUR Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia
2024	J	`jnl`	On the incompatibility of accuracy and equal opportunity. Mach. Learn. Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
2024	J	`jnl`	The Sound of Silence in Social Networks. CoRR Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia
2024	—	`conf`	Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
2024	J	`jnl`	Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. CoRR Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
2023	J	`jnl`	A Formal Model for Polarization under Confirmation Bias in Social Networks. Log. Methods Comput. Sci. Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2023	J	`jnl`	Fairness and Consensus in a Gossip Model of Social Networks. CoRR Joan S. Betancourt, Jesús Aranda, Juan Francisco Díaz, Frank Valencia
2022	J	`jnl`	Counting and Computing Join-Endomorphisms in Lattices (Revisited). CoRR Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2022	J	`jnl`	On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge. CoRR Santiago Quintero, Carlos Pinzón, Sergio Ramírez, Frank Valencia
2022	A*	`conf`	On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints. AAAI Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
2021	J	`jnl`	A Formal Model for Polarization under Confirmation Bias in Social Networks. CoRR Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021	J	`jnl`	A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks. CoRR Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021	C	`conf`	A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. FORTE Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021	C	`conf`	Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. RAMiCS Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia
2021	J	`jnl`	On the impossibility of non-trivial accuracy under fairness constraints. CoRR Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
2021	J	`jnl`	Reasoning about distributed information with infinitely many agents. J. Log. Algebraic Methods Program. Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2020	J	`jnl`	Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. CoRR Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2020	C	`conf`	Counting and Computing Join-Endomorphisms in Lattices. RAMiCS Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2020	J	`jnl`	Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. CoRR Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2019	J	`jnl`	A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. CoRR Miguel Romero, Sergio Ramírez, Camilo Rocha, Frank Valencia
2019	—	`conf`	Make Puzzles Great Again. The Art of Modelling Computational Systems Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia
2019	B	`conf`	Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2019	—	`conf`	Semantic Structures for Spatially-Distributed Multi-Agent Systems. EXPRESS/SOS Frank Valencia
2019	—	`ed.`	The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday The Art of Modelling Computational Systems Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
2019	—	`conf`	Toward a Formal Model for Group Polarization in Social Networks. The Art of Modelling Computational Systems Mário S. Alvim, Sophia Knight, Frank Valencia
2018	—	`conf`	Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia
2017	J	`jnl`	Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach. Int. J. Semantic Comput. Stefan Haar, Salim Perchy, Frank Valencia
2015	—	`conf`	Opinions and Beliefs as constraint system operators. ICLP (Technical Communications) Salim Perchy, Frank Valencia
2012	—	`conf`	Reducing Weak to Strong Bisimilarity in CCP ICE Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia
2011	—	`ed.`	Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. EXPRESS Bas Luttik, Frank Valencia
2008	—	`ed.`	Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006 LIX Catuscia Palamidessi, Frank Valencia
2007	B	`conf`	Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
2007	B	`conf`	Universal Timed Concurrent Constraint Programming. ICLP Carlos Olarte, Catuscia Palamidessi, Frank Valencia
2002	—	`conf`	Proving Musical Properties using a temporal Concurrent Constraint Calculus. ICMC Camilo Rueda, Frank Valencia