MIDI-LISP: A LISP-Based Music Programming Environment for the Macintosh. - Lee Boynton; Pierre Lavoie; Yann Orlarey; Camilo Rueda; David Wessel (ICMC, 1986)

The Music Representation Project at IRCAM. - Gérard Assayag; Camilo Rueda (ICMC, 1993)

Kant: a Critique of Pure Quantification. - Carlos Agón; Gérard Assayag; Joshua Fineberg; Camilo Rueda (ICMC, 1994)

Objects, Time and Constraints in OpenMusic. - Carlos Agón; Gérard Assayag; Olivier Delerue; Camilo Rueda (ICMC, 1998)

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

Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic. - Gérard Assayag; Camilo Rueda; Mikael Laurson; Carlos Agón; Olivier Delerue (Comput. Music. J., 1999)

Modelos para la Computación Móvil (Invited paper). - Juan Francisco Díaz; Camilo Rueda (Rev. Colomb. de Computación, 2000)

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)

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

CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. - Juan Francisco Díaz; Gustavo Gutierrez; Carlos Alberto Olarte; Camilo Rueda (CP, 2004)

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

Implementing Semiring-Based Constraints Using Mozart. - Alberto Delgado; Carlos Alberto Olarte; Jorge Andrés Pérez; Camilo Rueda (MOZ, 2004)

An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. - Alberto Delgado; Jorge Andrés Pérez; Gustavo Pabón; Rafael Jordan; Juan Francisco Díaz; Camilo Rueda (MOZ, 2004)

Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. - Juan Francisco Díaz; Gustavo Gutierrez; Carlos Alberto Olarte; Camilo Rueda (MOZ, 2004)

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

Implementing an Abstraction Framework for Soft Constraints. - Alberto Delgado; Jorge Andrés Pérez; Camilo Rueda (SARA, 2005)

A stochastic non-deterministic temporal concurrent constraint calculus. - Carlos Olarte; Camilo Rueda (SCCC, 2005)

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)

A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. - Carlos Olarte; Camilo Rueda (CLEI Electron. J., 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)

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)

Non-determinism and Probabilities in Timed Concurrent Constraint Programming. - Jorge A. Pérez 001; Camilo Rueda (ICLP, 2008)

A Case Study in JML-Assisted Software Development. - Néstor Cataño; Fernando Barraza; Daniel García; Pablo Ortega; Camilo Rueda (SBMF, 2008)

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)

Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction. - Mauricio Toro-Bermúdez; Camilo Rueda; Carlos Agón; Gérard Assayag (ICMC, 2009)

Teaching Formal Methods for the Unconquered Territory. - Néstor Cataño; Camilo Rueda (TFM, 2009)

Matelas: A Predicate Calculus Common Formal Definition for Social Networking. - Néstor Cataño; Camilo Rueda (ASM, 2010)

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

A linear concurrent constraint approach for the automatic verification of access permissions. - Carlos Olarte; Elaine Pimentel; Camilo Rueda; Néstor Cataño (PPDP, 2012)

Translating B machines to JML specifications. - Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu (SAC, 2012)

Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. - Néstor Cataño; Sorren Hanvey; Camilo Rueda (TOOLS (50), 2012)

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

A Machine-Checked Proof for a Translation of Event-B Machines to JML. - Néstor Cataño; Camilo Rueda; Tim Wahls (CoRR, 2013)

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. - Jaime Arias 001; Myriam Desainte-Catherine; Camilo Rueda (ACSD, 2014)

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. - Jaime Arias 001; Myriam Desainte-Catherine; Camilo Rueda (ACSD, 2015)

Foundations for Reliable and Flexible Interactive Multimedia Scores. - Jaime Arias 001; Myriam Desainte-Catherine; Carlos Olarte; Camilo Rueda (MCM, 2015)

Declarative interpretations of session-based concurrency. - Mauricio Cano; Camilo Rueda; Hugo A. López 001; Jorge A. Pérez 001 (PPDP, 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)

Gelisp: A Library to Represent Musical CSPs and Search Strategies. - Mauricio Toro; Camilo Rueda; Carlos Agón; Gérard Assayag (CoRR, 2015)

NTCCRT: A concurrent constraint framework for real-time interaction (extended version). - Mauricio Toro; Camilo Rueda; Carlos Agón; Gérard Assayag (CoRR, 2015)

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

Session types for communicating systems in event-B. - Carlos Olarte; Camilo Rueda (SAC, 2016)

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)

Code generation for Event-B. - Victor Rivera; Néstor Cataño; Tim Wahls; Camilo Rueda (Int. J. Softw. Tools Technol. Transf., 2017)

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)

A concurrent constraint programming interpretation of access permissions. - Carlos Olarte; Elaine Pimentel; Camilo Rueda (Theory Pract. Log. Program., 2018)

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)

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)

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)

Session-based concurrency, declaratively. - Mauricio Cano; Hugo A. López 001; Jorge A. Pérez 001; Camilo Rueda (Acta Informatica, 2022)

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