Frank D. Valencia

According to our database, Frank D. Valencia authored at least 80 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Multi-Agent Model for Opinion Evolution under Cognitive Biases.

Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia

CoRR, 2024

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.

Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia

CoRR, 2024

2023

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

Fairness and Consensus in a Gossip Model of Social Networks.

Joan S. Betancourt, Jesús Aranda, Juan Fco. Díaz, Frank Valencia

CoRR, 2023

2022

Counting and Computing Join-Endomorphisms in Lattices (Revisited).

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

CoRR, 2022

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

On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints.

Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

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 impossibility of non-trivial accuracy under fairness constraints.

Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia

CoRR, 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

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge.

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

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Catuscia Palamidessi: a journey from logic and concurrency to security and privacy.

Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia

ACM SIGLOG News, 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

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

Counting and Computing Join-Endomorphisms in Lattices.

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

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Preface to special issue: ICTAC 2015.

Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Math. Struct. Comput. Sci., 2019

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification.

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

CoRR, 2019

Semantic Structures for Spatially-Distributed Multi-Agent Systems.

Frank Valencia

Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.

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

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Make Puzzles Great Again.

Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Toward a Formal Model for Group Polarization in Social Networks.

Mário S. Alvim, Sophia Knight, Frank Valencia

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Characterizing right inverses for spatial constraint systems with applications to modal logic.

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia

Theor. Comput. Sci., 2018

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming.

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

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

2017

Belief, knowledge, lies and other utterances in an algebra for space and extrusion.

Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia

J. Log. Algebraic Methods Program., 2017

Observational and behavioural equivalences for soft concurrent constraint programming.

Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia

J. Log. Algebraic Methods Program., 2017

Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach.

Stefan Haar, Salim Perchy, Frank Valencia

Int. J. Semantic Comput., 2017

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information.

Stefan Haar, Salim Perchy, Frank D. Valencia

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

2016

Preface to special issue: EXPRESS 2011.

Bas Luttik, Frank D. Valencia

Math. Struct. Comput. Sci., 2016

Preface to special issue: EXPRESS 2010.

Sibylle B. Fröschle, Frank D. Valencia

Math. Struct. Comput. Sci., 2016

Deriving Inverse Operators for Modal Logic.

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

On the Expressiveness of Spatial Constraint Systems.

Michell Guzmán, Frank D. Valencia

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Weak CCP bisimilarity with strong procedures.

Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia

Sci. Comput. Program., 2015

Efficient algorithms for program equivalence for confluent concurrent constraint programming.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Sci. Comput. Program., 2015

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic.

Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Opinions and Beliefs as constraint system operators.

Salim Perchy, Frank Valencia

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

A Labelled Semantics for Soft Concurrent Constraint Programming.

Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia

Proceedings of the Coordination Models and Languages, 2015

2014

A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Models and emerging trends of concurrent constraint programming.

Carlos Olarte, Camilo Rueda, Frank D. Valencia

Constraints An Int. J., 2013

Efficient computation of program equivalence for confluent concurrent constraint programming.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Reducing Weak to Strong Bisimilarity in CCP

Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Hide and New in the Pi-Calculus

Marco Giunti, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Partition refinement for bisimilarity in CCP.

Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino

Proceedings of the ACM Symposium on Applied Computing, 2012

Spatial and Epistemic Modalities in Constraint-Based Process Calculi.

Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.

Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia

Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011

Deriving Labels and Bisimilarity for Concurrent Constraint Programming.

Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia

Proceedings of the Foundations of Software Science and Computational Structures, 2011

2010

Concurrent and Reactive Constraint Programming.

Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Foreword: Festschrift for Mogens Nielsen's 60th birthday.

Marco Carbone, Pawel Sobocinski, Frank D. Valencia

Theor. Comput. Sci., 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.

Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia

Proceedings of the Logic Programming, 25th International Conference, 2009

On the Expressive Power of Restriction and Priorities in CCS with Replication.

Jesús Aranda, Frank D. Valencia, Cristian Versari

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

Universal concurrent constraint programing: symbolic semantics and applications to security.

Carlos Olarte, Frank D. Valencia

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.

Carlos Olarte, Frank D. Valencia

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.

Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the Logic Programming, 24th International Conference, 2008

On the Asynchronous Nature of the Asynchronous pi-Calculus.

Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the Concurrency, 2008

2007

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.

Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

Universal Timed Concurrent Constraint Programming.

Carlos Olarte, Catuscia Palamidessi, Frank Valencia

Proceedings of the Logic Programming, 23rd International Conference, 2007

Declarative Diagnosis of Temporal Concurrent Constraint Programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia

Proceedings of the Logic Programming, 23rd International Conference, 2007

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.

Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Preface.

Catuscia Palamidessi, Frank D. Valencia

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Timed Concurrent Constraint Programming for Analysing Biological Systems.

Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

Languages for Concurrency.

Catuscia Palamidessi, Frank D. Valencia

Bull. EATCS, 2006

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.

Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

A Declarative Framework for Security: Secure Concurrent Constraint Programming.

Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the Logic Programming, 22nd International Conference, 2006

On Recursion, Replication and Scope Mechanisms in Process Calculi.

Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

Decidability of infinite-state timed CCP processes and first-order LTL.

Frank D. Valencia

Theor. Comput. Sci., 2005

Recursion vs Replication in Process Calculi: Expressiveness.

Catuscia Palamidessi, Frank D. Valencia

Bull. EATCS, 2005

On the computational limits of infinite satisfaction.

Stefan S. Dantchev, Frank D. Valencia

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

On validity in modelization of musical problems by CCP.

Camilo Rueda, Frank D. Valencia

Soft Comput., 2004

Non-viability Deductions in Arc-Consistency Computation.

Camilo Rueda, Frank D. Valencia

Proceedings of the Logic Programming, 20th International Conference, 2004

On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.

Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL.

Frank D. Valencia

Proceedings of the Logic Programming, 19th International Conference, 2003

Concurrency, Time, and Constraints.

Frank D. Valencia

Proceedings of the Logic Programming, 19th International Conference, 2003

Notes on Timed Concurrent Constraint Programming.

Mogens Nielsen, Frank D. Valencia

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications.

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia

Nord. J. Comput., 2002

On the expressive power of temporal concurrent constraint programming languages.

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Proving Musical Properties using a temporal Concurrent Constraint Calculus.

Camilo Rueda, Frank Valencia

Proceedings of the 2002 International Computer Music Conference, 2002

Temporal Concurrent Constraint Programming: Applications and Behavior.

Mogens Nielsen, Frank D. Valencia

Proceedings of the Formal and Natural Computing, 2002

2001

Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language.

Camilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag

Constraints An Int. J., 2001

Temporal Concurrent Constraint Programming.

Frank D. Valencia

Proceedings of the Principles and Practice of Constraint Programming, 2001

A Temporal Concurrent Constraint Programming Calculus.

Catuscia Palamidessi, Frank D. Valencia

Proceedings of the Principles and Practice of Constraint Programming, 2001

1998

Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.

Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia

CLEI Electron. J., 1998