Camilo Rueda

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 15

Top Topics

Epistemic Logic

Constraint Programming

Coloured Petri Nets

Search Strategies

Top Venues

J. Log. Algebraic Methods Program.

Publications

Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
Session-based concurrency, declaratively. Acta Informatica 59 (1) (2022)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Counting and Computing Join-Endomorphisms in Lattices (Revisited). CoRR (2022)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning about distributed information with infinitely many agents. J. Log. Algebraic Methods Program. 121 (2021)
Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Counting and Computing Join-Endomorphisms in Lattices. RAMiCS (2020)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. CoRR (2020)
Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29 (1) (2019)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR (2019)
Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia
Make Puzzles Great Again. The Art of Modelling Computational Systems (2019)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Characterizing right inverses for spatial constraint systems with applications to modal logic. Theor. Comput. Sci. 744 (2018)
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A concurrent constraint programming interpretation of access permissions. Theory Pract. Log. Program. 18 (2) (2018)
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A Concurrent Constraint Programming Interpretation of Access Permissions. CoRR (2018)
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebraic Methods Program. 86 (1) (2017)
Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda
Code generation for Event-B. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Deriving Inverse Operators for Modal Logic. ICTAC (2016)
Carlos Olarte, Camilo Rueda
Session types for communicating systems in event-B. SAC (2016)
Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. PPDP (2015)
Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag
Gelisp: A Library to Represent Musical CSPs and Search Strategies. CoRR (2015)
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. ACSD (2015)
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda
Foundations for Reliable and Flexible Interactive Multimedia Scores. MCM (2015)
Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez
Declarative interpretations of session-based concurrency. PPDP (2015)
Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag
NTCCRT: A concurrent constraint framework for real-time interaction (extended version). CoRR (2015)
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. ACSD (2014)
Carlos Olarte, Camilo Rueda, Frank D. Valencia
Models and emerging trends of concurrent constraint programming. Constraints An Int. J. 18 (4) (2013)
Néstor Cataño, Camilo Rueda, Tim Wahls
A Machine-Checked Proof for a Translation of Event-B Machines to JML. CoRR (2013)
Néstor Cataño, Sorren Hanvey, Camilo Rueda
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. TOOLS (50) (2012)
Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu
Translating B machines to JML specifications. SAC (2012)
Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño
A linear concurrent constraint approach for the automatic verification of access permissions. PPDP (2012)
Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB (2011)
Néstor Cataño, Camilo Rueda
Matelas: A Predicate Calculus Common Formal Definition for Social Networking. ASM (2010)
Néstor Cataño, Camilo Rueda
Teaching Formal Methods for the Unconquered Territory. TFM (2009)
Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda
A Case Study in JML-Assisted Software Development. Electron. Notes Theor. Comput. Sci. 240 (2009)
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP (2009)
Mauricio Toro-Bermúdez, Camilo Rueda, Carlos Agón, Gérard Assayag
Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction. ICMC (2009)
Jorge A. Pérez, Camilo Rueda
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. ICLP (2008)
Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP (2008)
Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Timed Concurrent Constraint Programming for Analysing Biological Systems. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP (2006)
Carlos Olarte, Camilo Rueda
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electron. J. 9 (2) (2006)
Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda
Implementing an Abstraction Framework for Soft Constraints. SARA (2005)
Carlos Olarte, Camilo Rueda
A stochastic non-deterministic temporal concurrent constraint calculus. SCCC (2005)
Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda
CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. CP (2004)
Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. MOZ (2004)
Camilo Rueda, Frank D. Valencia
Non-viability Deductions in Arc-Consistency Computation. ICLP (2004)
Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
Implementing Semiring-Based Constraints Using Mozart. MOZ (2004)
Camilo Rueda, Frank D. Valencia
On validity in modelization of musical problems by CCP. Soft Comput. 8 (9) (2004)
Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. MOZ (2004)
Camilo Rueda, Frank Valencia
Proving Musical Properties using a temporal Concurrent Constraint Calculus. ICMC (2002)
Camilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. Constraints An Int. J. 6 (1) (2001)
Juan Francisco Díaz, Camilo Rueda
Modelos para la Computación Móvil (Invited paper). Rev. Colomb. de Computación 1 (1) (2000)
Gérard Assayag, Camilo Rueda, Mikael Laurson, Carlos Agón, Olivier Delerue
Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic. Comput. Music. J. 23 (3) (1999)
Carlos Agón, Gérard Assayag, Olivier Delerue, Camilo Rueda
Objects, Time and Constraints in OpenMusic. ICMC (1998)
Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. CLEI Electron. J. 1 (2) (1998)
Carlos Agón, Gérard Assayag, Joshua Fineberg, Camilo Rueda
Kant: a Critique of Pure Quantification. ICMC (1994)
Gérard Assayag, Camilo Rueda
The Music Representation Project at IRCAM. ICMC (1993)
Lee Boynton, Pierre Lavoie, Yann Orlarey, Camilo Rueda, David Wessel
MIDI-LISP: A LISP-Based Music Programming Environment for the Macintosh. ICMC (1986)