Camilo Rueda

Available identifiers

zbMath Open rueda.camiloMaRDI QIDQ347366

List of research outcomes

Publication	Date of Publication	Type
Make Puzzles Great Again	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q5875391	2023-02-03	Paper
Counting and Computing Join-Endomorphisms in Lattices (Revisited)	2022-11-01	Paper
Counting and Computing Join-Endomorphisms in Lattices	2022-08-30	Paper
Session-based concurrency, declaratively	2022-04-01	Paper
Reasoning about distributed information with infinitely many agents	2021-08-03	Paper
Characterizing right inverses for spatial constraint systems with applications to modal logic	2018-09-24	Paper
A concurrent constraint programming interpretation of access permissions	2018-05-31	Paper
Deriving Inverse Operators for Modal Logic	2016-12-21	Paper
Belief, knowledge, lies and other utterances in an algebra for space and extrusion	2016-11-30	Paper
Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios	2015-11-24	Paper
Foundations for Reliable and Flexible Interactive Multimedia Scores	2015-08-20	Paper
Models and emerging trends of concurrent constraint programming	2015-06-15	Paper
Timed concurrent constraint programming for analysing biological systems	2013-12-06	Paper
Non-determinism and Probabilities in Timed Concurrent Constraint Programming	2009-01-22	Paper
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming	2009-01-22	Paper
A Declarative Framework for Security: Secure Concurrent Constraint Programming	2008-03-11	Paper
Logic Programming	2005-08-26	Paper
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language	2003-02-20	Paper

Research outcomes over time

This page was built for person: Camilo Rueda