| 2016 | ICLP | On the Expressiveness of Spatial Constraint Systems. | Michell Guzmn, Frank D. Valencia |
| 2016 | ICTAC | Deriving Inverse Operators for Modal Logic. | Michell Guzmn, Salim Perchy, Camilo Rueda, Frank D. Valencia |
| 2015 | Coordination | A Labelled Semantics for Soft Concurrent Constraint Programming. | Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia |
| 2015 | PPDP | An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. | Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia |
| 2014 | ICTAC | A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2013 | PPDP | Efficient computation of program equivalence for confluent concurrent constraint programming. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2012 | CONCUR | Spatial and Epistemic Modalities in Constraint-Based Process Calculi. | Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia |
| 2012 | SAC | Partition refinement for bisimilarity in CCP. | Andrs Aristizbal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino |
| 2011 | FOSSACS | Deriving Labels and Bisimilarity for Concurrent Constraint Programming. | Andrs Aristizbal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia |
| 2011 | PACBB | Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. | Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia |
| 2009 | FOSSACS | On the Expressive Power of Restriction and Priorities in CCS with Replication. | Jess Aranda, Frank D. Valencia, Cristian Versari |
| 2009 | ICLP | An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. | Jess Aranda, Grard Assayag, Carlos Olarte, Jorge A. Prez, Camilo Rueda, Mauricio Toro, Frank D. Valencia |
| 2008 | ICLP | Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. | Jess Aranda, Jorge A. Prez, Camilo Rueda, Frank D. Valencia |
| 2008 | PPDP | The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. | Carlos Olarte, Frank D. Valencia |
| 2008 | SAC | Universal concurrent constraint programing: symbolic semantics and applications to security. | Carlos Olarte, Frank D. Valencia |
| 2007 | APLAS | CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. | Jess Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |
| 2006 | ICLP | A Declarative Framework for Security: Secure Concurrent Constraint Programming. | Hugo A. Lpez, Catuscia Palamidessi, Jorge Andrs Prez, Camilo Rueda, Frank D. Valencia |
| 2006 | LICS | On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. | Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Bjrn Victor |
| 2005 | SAC | On the computational limits of infinite satisfaction. | Stefan S. Dantchev, Frank D. Valencia |
| 2004 | FOSSACS | On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
| 2004 | ICLP | Non-viability Deductions in Arc-Consistency Computation. | Camilo Rueda, Frank D. Valencia |
| 2003 | ICLP | Concurrency, Time, and Constraints. | Frank D. Valencia |
| 2003 | ICLP | Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. | Frank D. Valencia |
| 2002 | PPDP | On the expressive power of temporal concurrent constraint programming languages. | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
| 2001 | CP | A Temporal Concurrent Constraint Programming Calculus. | Catuscia Palamidessi, Frank D. Valencia |
| 2001 | CP | Temporal Concurrent Constraint Programming. | Frank D. Valencia |