Camilo Rueda

According to our database1, Camilo Rueda authored at least 49 papers between 1986 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Preface to special issue: ICTAC 2015.
Mathematical Structures in Computer Science, 2019

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

Make Puzzles Great Again.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018
Characterizing right inverses for spatial constraint systems with applications to modal logic.
Theor. Comput. Sci., 2018

A Concurrent Constraint Programming Interpretation of Access Permissions.
CoRR, 2018

2017
Code generation for Event-B.
STTT, 2017

Belief, knowledge, lies and other utterances in an algebra for space and extrusion.
J. Log. Algebr. Meth. Program., 2017

2016
Session types for communicating systems in event-B.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Deriving Inverse Operators for Modal Logic.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

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

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

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Declarative interpretations of session-based concurrency.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Foundations for Reliable and Flexible Interactive Multimedia Scores.
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.
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.
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.
CoRR, 2013

Models and emerging trends of concurrent constraint programming.
Constraints, 2013

2012
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Translating B machines to JML specifications.
Proceedings of the ACM Symposium on Applied Computing, 2012

A linear concurrent constraint approach for the automatic verification of access permissions.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.
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.
Proceedings of the Abstract State Machines, 2010

2009
A Case Study in JML-Assisted Software Development.
Electr. Notes Theor. Comput. Sci., 2009

Teaching Formal Methods for the Unconquered Territory.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction.
Proceedings of the 2009 International Computer Music Conference, 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Non-determinism and Probabilities in Timed Concurrent Constraint Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

2007
Timed Concurrent Constraint Programming for Analysing Biological Systems.
Electr. Notes Theor. Comput. Sci., 2007

2006
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems.
CLEI Electron. J., 2006

A Declarative Framework for Security: Secure Concurrent Constraint Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
A stochastic non-deterministic temporal concurrent constraint calculus.
Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005

Implementing an Abstraction Framework for Soft Constraints.
Proceedings of the Abstraction, 2005

2004
On validity in modelization of musical problems by CCP.
Soft Comput., 2004

Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.
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.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Implementing Semiring-Based Constraints Using Mozart.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Non-viability Deductions in Arc-Consistency Computation.
Proceedings of the Logic Programming, 20th International Conference, 2004

CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2002
Proving Musical Properties using a temporal Concurrent Constraint Calculus.
Proceedings of the 2002 International Computer Music Conference, 2002

2001
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language.
Constraints, 2001

2000
Modelos para la Computación Móvil (Invited paper).
Revista Colombiana de Computación, 2000

1999
Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic.
Computer Music Journal, 1999

1998
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.
CLEI Electron. J., 1998

Objects, Time and Constraints in OpenMusic.
Proceedings of the 1998 International Computer Music Conference, 1998

1994
Kant: a Critique of Pure Quantification.
Proceedings of the 1994 International Computer Music Conference, 1994

1993
The Music Representation Project at IRCAM.
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.
Proceedings of the 1986 International Computer Music Conference, 1986


  Loading...