| 2019 | CONCUR | Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. | Michell Guzmn, Sophia Knight, Santiago Quintero, Sergio Ramrez, Camilo Rueda, Frank Valencia |
| 2016 | ICTAC | Deriving Inverse Operators for Modal Logic. | Michell Guzmn, Salim Perchy, Camilo Rueda, Frank D. Valencia |
| 2016 | SAC | Session types for communicating systems in event-B. | Carlos Olarte, Camilo Rueda |
| 2015 | PPDP | Declarative interpretations of session-based concurrency. | Mauricio Cano, Camilo Rueda, Hugo A. Lpez, Jorge A. Prez |
| 2015 | PPDP | An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. | Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia |
| 2012 | PPDP | A linear concurrent constraint approach for the automatic verification of access permissions. | Carlos Olarte, Elaine Pimentel, Camilo Rueda, Nstor Catao |
| 2012 | SAC | Translating B machines to JML specifications. | Nstor Catao, Tim Wahls, Camilo Rueda, Vctor Rivera, Danni Yu |
| 2011 | PACBB | Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. | Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia |
| 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 | ICLP | Non-determinism and Probabilities in Timed Concurrent Constraint Programming. | Jorge A. Prez, Camilo Rueda |
| 2006 | ICLP | A Declarative Framework for Security: Secure Concurrent Constraint Programming. | Hugo A. Lpez, Catuscia Palamidessi, Jorge Andrs Prez, Camilo Rueda, Frank D. Valencia |
| 2004 | CP | CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. | Juan Francisco Daz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda |
| 2004 | ICLP | Non-viability Deductions in Arc-Consistency Computation. | Camilo Rueda, Frank D. Valencia |