Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. - Juan Francisco Díaz; Camilo Rueda; Frank D. Valencia (CLEI Electron. J., 1998)

A Temporal Concurrent Constraint Programming Calculus. - Catuscia Palamidessi; Frank D. Valencia (CP, 2001)

Temporal Concurrent Constraint Programming. - Frank D. Valencia (CP, 2001)

Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. - Camilo Rueda; Gloria Alvarez; Luis Quesada 001; Gabriel Tamura; Frank D. Valencia; Juan Francisco Díaz; Gérard Assayag (Constraints An Int. J., 2001)

Temporal Concurrent Constraint Programming: Applications and Behavior. - Mogens Nielsen; Frank D. Valencia (Formal and Natural Computing, 2002)

Proving Musical Properties using a temporal Concurrent Constraint Calculus. - Camilo Rueda; Frank Valencia (ICMC, 2002)

On the expressive power of temporal concurrent constraint programming languages. - Mogens Nielsen; Catuscia Palamidessi; Frank D. Valencia (PPDP, 2002)

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. - Mogens Nielsen; Catuscia Palamidessi; Frank D. Valencia (Nord. J. Comput., 2002)

Notes on Timed Concurrent Constraint Programming. - Mogens Nielsen; Frank D. Valencia (Lectures on Concurrency and Petri Nets, 2003)

Concurrency, Time, and Constraints. - Frank D. Valencia (ICLP, 2003)

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. - Frank D. Valencia (ICLP, 2003)

On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. - Pablo Giambiagi; Gerardo Schneider; Frank D. Valencia (FoSSaCS, 2004)

Non-viability Deductions in Arc-Consistency Computation. - Camilo Rueda; Frank D. Valencia (ICLP, 2004)

On validity in modelization of musical problems by CCP. - Camilo Rueda; Frank D. Valencia (Soft Comput., 2004)

On the computational limits of infinite satisfaction. - Stefan S. Dantchev; Frank D. Valencia (SAC, 2005)

Recursion vs Replication in Process Calculi: Expressiveness. - Catuscia Palamidessi; Frank D. Valencia (Bull. EATCS, 2005)

Decidability of infinite-state timed CCP processes and first-order LTL. - Frank D. Valencia (Theor. Comput. Sci., 2005)

On Recursion, Replication and Scope Mechanisms in Process Calculi. - Jesús Aranda; Cinzia Di Giusto; Catuscia Palamidessi; Frank D. Valencia (FMCO, 2006)

A Declarative Framework for Security: Secure Concurrent Constraint Programming. - Hugo A. López 001; Catuscia Palamidessi; Jorge Andrés Pérez; Camilo Rueda; Frank D. Valencia (ICLP, 2006)

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. - Catuscia Palamidessi; Vijay A. Saraswat; Frank D. Valencia; Björn Victor (LICS, 2006)

Languages for Concurrency. - Catuscia Palamidessi; Frank D. Valencia (Bull. EATCS, 2006)

Timed Concurrent Constraint Programming for Analysing Biological Systems. - Julian Gutierrez 001; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (MeCBIC@ICALP, 2006)

Preface. - Catuscia Palamidessi; Frank D. Valencia (LIX, 2006)

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. - Jesús Aranda; Cinzia Di Giusto; Mogens Nielsen; Frank D. Valencia (APLAS, 2007)

Declarative Diagnosis of Temporal Concurrent Constraint Programs. - Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi; Frank Valencia (ICLP, 2007)

Universal Timed Concurrent Constraint Programming. - Carlos Olarte; Catuscia Palamidessi; Frank Valencia (ICLP, 2007)

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. - Diletta Cacciagrano; Flavio Corradini; Jesús Aranda; Frank D. Valencia (EXPRESS, 2007)

On the Asynchronous Nature of the Asynchronous pi-Calculus. - Romain Beauxis; Catuscia Palamidessi; Frank D. Valencia (Concurrency, Graphs and Models, 2008)

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. - Jesús Aranda; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (ICLP, 2008)

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. - Carlos Olarte; Frank D. Valencia (PPDP, 2008)

Universal concurrent constraint programing: symbolic semantics and applications to security. - Carlos Olarte; Frank D. Valencia (SAC, 2008)

On the Expressive Power of Restriction and Priorities in CCS with Replication. - Jesús Aranda; Frank D. Valencia; Cristian Versari (FoSSaCS, 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 001; Camilo Rueda; Mauricio Toro; Frank D. Valencia (ICLP, 2009)

Foreword: Festschrift for Mogens Nielsen's 60th birthday. - Marco Carbone; Pawel Sobocinski 001; Frank D. Valencia (Theor. Comput. Sci., 2009)

Concurrent and Reactive Constraint Programming. - Maurizio Gabbrielli; Catuscia Palamidessi; Frank D. Valencia (25 Years GULP, 2010)

Deriving Labels and Bisimilarity for Concurrent Constraint Programming. - Andrés Aristizábal; Filippo Bonchi; Catuscia Palamidessi; Luis Fernando Pino; Frank D. Valencia (FoSSaCS, 2011)

Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. - Diana Hermith; Carlos Olarte; Camilo Rueda; Frank D. Valencia (PACBB, 2011)

Spatial and Epistemic Modalities in Constraint-Based Process Calculi. - Sophia Knight; Catuscia Palamidessi; Prakash Panangaden; Frank D. Valencia (CONCUR, 2012)

Partition refinement for bisimilarity in CCP. - Andrés Aristizábal; Filippo Bonchi; Frank D. Valencia; Luis Fernando Pino (SAC, 2012)

Hide and New in the Pi-Calculus - Marco Giunti; Catuscia Palamidessi; Frank D. Valencia (EXPRESS/SOS, 2012)

Reducing Weak to Strong Bisimilarity in CCP - Andrés Aristizábal; Filippo Bonchi; Luis Fernando Pino; Frank Valencia (ICE, 2012)

Efficient computation of program equivalence for confluent concurrent constraint programming. - Luis Fernando Pino; Filippo Bonchi; Frank D. Valencia (PPDP, 2013)

Models and emerging trends of concurrent constraint programming. - Carlos Olarte; Camilo Rueda; Frank D. Valencia (Constraints An Int. J., 2013)

A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. - Luis Fernando Pino; Filippo Bonchi; Frank D. Valencia (ICTAC, 2014)

A Labelled Semantics for Soft Concurrent Constraint Programming. - Fabio Gadducci; Francesco Santini 001; Luis Fernando Pino; Frank D. Valencia (COORDINATION, 2015)

Opinions and Beliefs as constraint system operators. - Salim Perchy; Frank Valencia (ICLP (Technical Communications), 2015)

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. - Stefan Haar; Salim Perchy; Camilo Rueda; Frank D. Valencia (PPDP, 2015)

Efficient algorithms for program equivalence for confluent concurrent constraint programming. - Luis Fernando Pino; Filippo Bonchi; Frank D. Valencia (Sci. Comput. Program., 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)

On the Expressiveness of Spatial Constraint Systems. - Michell Guzmán; Frank D. Valencia (ICLP (Technical Communications), 2016)

Deriving Inverse Operators for Modal Logic. - Michell Guzmán; Salim Perchy; Camilo Rueda; Frank D. Valencia (ICTAC, 2016)

Preface to special issue: EXPRESS 2010. - Sibylle B. Fröschle; Frank D. Valencia (Math. Struct. Comput. Sci., 2016)

Preface to special issue: EXPRESS 2011. - Bas Luttik; Frank D. Valencia (Math. Struct. Comput. Sci., 2016)

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. - Stefan Haar; Salim Perchy; Frank D. Valencia (ICSC, 2017)

Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach. - Stefan Haar; Salim Perchy; Frank Valencia (Int. J. Semantic Comput., 2017)

Observational and behavioural equivalences for soft concurrent constraint programming. - Fabio Gadducci; Francesco Santini 001; Luis Fernando Pino; Frank D. Valencia (J. Log. Algebraic Methods Program., 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)

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. - Sergio Ramírez; Miguel Romero 005; Camilo Rocha; Frank Valencia (WRLA@ETAPS, 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)

Toward a Formal Model for Group Polarization in Social Networks. - Mário S. Alvim; Sophia Knight; Frank Valencia (The Art of Modelling Computational Systems, 2019)

Make Puzzles Great Again. - Nicolás Aristizabal; Carlos Pinzón; Camilo Rueda; Frank Valencia (The Art of Modelling Computational Systems, 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 (CONCUR, 2019)

Semantic Structures for Spatially-Distributed Multi-Agent Systems. - Frank Valencia (EXPRESS/SOS, 2019)

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. - Miguel Romero 005; Sergio Ramírez; Camilo Rocha; Frank Valencia (CoRR, 2019)

Preface to special issue: ICTAC 2015. - Martin Leucker; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (Math. Struct. Comput. Sci., 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)

Catuscia Palamidessi: a journey from logic and concurrency to security and privacy. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Carlos Olarte; Frank D. Valencia (ACM SIGLOG News, 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)

On the impossibility of non-trivial accuracy under fairness constraints. - Carlos Pinzón; Catuscia Palamidessi; Pablo Piantanida; Frank Valencia (CoRR, 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 in Presence of Fairness Constraints. - Carlos Pinzón; Catuscia Palamidessi; Pablo Piantanida; Frank Valencia (AAAI, 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)

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

Fairness and Consensus in a Gossip Model of Social Networks. - Joan S. Betancourt; Jesús Aranda; Juan Francisco Díaz; Frank Valencia (CoRR, 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 an Asynchronous Opinion Model for Social Networks. - Jesús Aranda; Sebastián Betancourt; Juan Francisco Díaz; Frank Valencia (CONCUR, 2024)

A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. - Mário S. Alvim; Artur Gaspar da Silva; Sophia Knight; Frank Valencia (FORTE, 2024)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. - Carlos Olarte; Carlos Ramírez 002; Camilo Rocha; Frank Valencia (WRLA, 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)

Consensus in Models for Opinion Dynamics with Generalized-Bias. - Juan Paz; Camilo Rocha; Luis E. Tobón; Frank Valencia (CoRR, 2024)

The Sound of Silence in Social Networks. - Jesús Aranda; Juan Francisco Díaz; David Gaona; Frank Valencia (CoRR, 2024)

On the incompatibility of accuracy and equal opportunity. - Carlos Pinzón; Catuscia Palamidessi; Pablo Piantanida; Frank Valencia (Mach. Learn., 2024)

A Constraint Opinion Model. - Fabio Gadducci; Carlos Olarte; Frank Valencia (COORDINATION, 2025)