Camilo Rueda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Make Puzzles Great Again	2024-03-14	Paper
scientific article; zbMATH DE number 7649937 (Why is no real title available?)	2023-02-03	Paper
Counting and Computing Join-Endomorphisms in Lattices (Revisited)	2022-11-01	Paper
Counting and Computing Join-Endomorphisms in Lattices Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
Session-based concurrency, declaratively Acta Informatica	2022-04-01	Paper
Reasoning about distributed information with infinitely many agents Journal of Logical and Algebraic Methods in Programming	2021-08-03	Paper
Characterizing right inverses for spatial constraint systems with applications to modal logic Theoretical Computer Science	2018-09-24	Paper
A concurrent constraint programming interpretation of access permissions Theory and Practice of Logic Programming	2018-05-31	Paper
Deriving inverse operators for modal logic Theoretical Aspects of Computing – ICTAC 2016	2016-12-21	Paper
Belief, knowledge, lies and other utterances in an algebra for space and extrusion Journal of Logical and Algebraic Methods in Programming	2016-11-30	Paper
Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios Journal of Mathematics and Music	2015-11-24	Paper
Foundations for reliable and flexible interactive multimedia scores Mathematics and Computation in Music	2015-08-20	Paper
Models and emerging trends of concurrent constraint programming Constraints	2015-06-15	Paper
Timed concurrent constraint programming for analysing biological systems Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Non-determinism and Probabilities in Timed Concurrent Constraint Programming Logic Programming	2009-01-22	Paper
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming Logic Programming	2009-01-22	Paper
A Declarative Framework for Security: Secure Concurrent Constraint Programming Logic Programming	2008-03-11	Paper
Logic Programming Lecture Notes in Computer Science	2005-08-26	Paper
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language Constraints	2003-02-20	Paper

Research outcomes over time

This page was built for person: Camilo Rueda