Camilo Rueda

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