Camilo Rueda

According to our database, Camilo Rueda authored at least 54 papers between 1986 and 2022.

Collaborative distances:

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

2022

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

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

CoRR, 2022

Session-based concurrency, declaratively.

Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda

Acta Informatica, 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

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

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

2018

A concurrent constraint programming interpretation of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda

Theory Pract. Log. Program., 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

2017

Code generation for Event-B.

Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda

Int. J. Softw. Tools Technol. Transf., 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

2016

Session types for communicating systems in event-B.

Carlos Olarte, Camilo Rueda

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 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

2015

NTCCRT: A concurrent constraint framework for real-time interaction (extended version).

Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag

CoRR, 2015

Gelisp: A Library to Represent Musical CSPs and Search Strategies.

Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag

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

Declarative interpretations of session-based concurrency.

Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez

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

Foundations for Reliable and Flexible Interactive Multimedia Scores.

Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda

Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios.

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets.

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

A Machine-Checked Proof for a Translation of Event-B Machines to JML.

Néstor Cataño, Camilo Rueda, Tim Wahls

CoRR, 2013

Models and emerging trends of concurrent constraint programming.

Carlos Olarte, Camilo Rueda, Frank D. Valencia

Constraints An Int. J., 2013

2012

Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies.

Néstor Cataño, Sorren Hanvey, Camilo Rueda

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Translating B machines to JML specifications.

Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu

Proceedings of the ACM Symposium on Applied Computing, 2012

A linear concurrent constraint approach for the automatic verification of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño

Proceedings of the Principles and Practice of Declarative Programming, 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

2010

Matelas: A Predicate Calculus Common Formal Definition for Social Networking.

Néstor Cataño, Camilo Rueda

Proceedings of the Abstract State Machines, 2010

2009

Teaching Formal Methods for the Unconquered Territory.

Néstor Cataño, Camilo Rueda

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction.

Mauricio Toro-Bermúdez, Camilo Rueda, Carlos Agón, Gérard Assayag

Proceedings of the 2009 International Computer Music Conference, 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

2008

A Case Study in JML-Assisted Software Development.

Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Non-determinism and Probabilities in Timed Concurrent Constraint Programming.

Jorge A. Pérez, Camilo Rueda

Proceedings of the Logic Programming, 24th International Conference, 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

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

A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems.

Carlos Olarte, Camilo Rueda

CLEI Electron. J., 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

2005

A stochastic non-deterministic temporal concurrent constraint calculus.

Carlos Olarte, Camilo Rueda

Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005

Implementing an Abstraction Framework for Soft Constraints.

Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda

Proceedings of the Abstraction, 2005

2004

On validity in modelization of musical problems by CCP.

Camilo Rueda, Frank D. Valencia

Soft Comput., 2004

Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.

Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 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

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Implementing Semiring-Based Constraints Using Mozart.

Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Non-viability Deductions in Arc-Consistency Computation.

Camilo Rueda, Frank D. Valencia

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

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

Proceedings of the Principles and Practice of Constraint Programming, 2004

2002

Proving Musical Properties using a temporal Concurrent Constraint Calculus.

Camilo Rueda, Frank Valencia

Proceedings of the 2002 International Computer Music Conference, 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

2000

Modelos para la Computación Móvil (Invited paper).

Juan Francisco Díaz, Camilo Rueda

Rev. Colomb. de Computación, 2000

1999

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

1998

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

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

CLEI Electron. J., 1998

Objects, Time and Constraints in OpenMusic.

Carlos Agón, Gérard Assayag, Olivier Delerue, Camilo Rueda

Proceedings of the 1998 International Computer Music Conference, 1998

1994

Kant: a Critique of Pure Quantification.

Carlos Agón, Gérard Assayag, Joshua Fineberg, Camilo Rueda

Proceedings of the 1994 International Computer Music Conference, 1994

1993

The Music Representation Project at IRCAM.

Gérard Assayag, Camilo Rueda

Proceedings of the Opening a New Horizon: Proceedings of the 1993 International Computer Music Conference, 1993

1986

MIDI-LISP: A LISP-Based Music Programming Environment for the Macintosh.

Lee Boynton, Pierre Lavoie, Yann Orlarey, Camilo Rueda, David Wessel

Proceedings of the 1986 International Computer Music Conference, 1986