![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Camilo Rueda
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j14]Mauricio Cano, Hugo A. López
, Jorge A. Pérez
, Camilo Rueda
:
Session-based concurrency, declaratively. Acta Informatica 59(1): 1-87 (2022) - [i6]Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia:
Counting and Computing Join-Endomorphisms in Lattices (Revisited). CoRR abs/2211.00781 (2022) - 2021
- [j13]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: 100674 (2021) - 2020
- [c35]Santiago Quintero
, Sergio Ramírez, Camilo Rueda, Frank Valencia:
Counting and Computing Join-Endomorphisms in Lattices. RAMiCS 2020: 253-269 - [i5]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 abs/2010.10667 (2020)
2010 – 2019
- 2019
- [j12]Martin Leucker
, Jorge A. Pérez, Camilo Rueda
, Frank D. Valencia:
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29(1): 1-2 (2019) - [c34]Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia:
Make Puzzles Great Again. The Art of Modelling Computational Systems 2019: 442-459 - [c33]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: 29:1-29:15 - 2018
- [j11]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: 56-77 (2018) - [j10]Carlos Olarte
, Elaine Pimentel
, Camilo Rueda
:
A concurrent constraint programming interpretation of access permissions. Theory Pract. Log. Program. 18(2): 252-295 (2018) - [i4]Carlos Olarte, Elaine Pimentel, Camilo Rueda:
A Concurrent Constraint Programming Interpretation of Access Permissions. CoRR abs/1802.04695 (2018) - 2017
- [j9]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): 107-133 (2017) - [j8]Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda
:
Code generation for Event-B. Int. J. Softw. Tools Technol. Transf. 19(1): 31-52 (2017) - 2016
- [c32]Michell Guzmán, Salim Perchy, Camilo Rueda
, Frank D. Valencia:
Deriving Inverse Operators for Modal Logic. ICTAC 2016: 214-232 - [c31]Carlos Olarte
, Camilo Rueda
:
Session types for communicating systems in event-B. SAC 2016: 1686-1693 - 2015
- [c30]Jaime Arias
, Myriam Desainte-Catherine, Camilo Rueda
:
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. ACSD 2015: 140-151 - [c29]Jaime Arias
, Myriam Desainte-Catherine, Carlos Olarte
, Camilo Rueda
:
Foundations for Reliable and Flexible Interactive Multimedia Scores. MCM 2015: 29-41 - [c28]Mauricio Cano, Camilo Rueda
, Hugo A. López
, Jorge A. Pérez
:
Declarative interpretations of session-based concurrency. PPDP 2015: 67-78 - [c27]Stefan Haar, Salim Perchy, Camilo Rueda
, Frank D. Valencia:
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. PPDP 2015: 161-172 - [e1]Martin Leucker, Camilo Rueda
, Frank D. Valencia:
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science 9399, Springer 2015, ISBN 978-3-319-25149-3 [contents] - [i3]Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag:
Gelisp: A Library to Represent Musical CSPs and Search Strategies. CoRR abs/1510.02828 (2015) - [i2]Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag:
NTCCRT: A concurrent constraint framework for real-time interaction (extended version). CoRR abs/1510.02834 (2015) - 2014
- [c26]Jaime Arias
, Myriam Desainte-Catherine, Camilo Rueda
:
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. ACSD 2014: 186-195 - 2013
- [j7]Carlos Olarte
, Camilo Rueda
, Frank D. Valencia:
Models and emerging trends of concurrent constraint programming. Constraints An Int. J. 18(4): 535-578 (2013) - [i1]Néstor Cataño, Camilo Rueda, Tim Wahls:
A Machine-Checked Proof for a Translation of Event-B Machines to JML. CoRR abs/1309.2339 (2013) - 2012
- [c25]Carlos Olarte
, Elaine Pimentel
, Camilo Rueda
, Néstor Cataño
:
A linear concurrent constraint approach for the automatic verification of access permissions. PPDP 2012: 207-216 - [c24]Néstor Cataño
, Tim Wahls, Camilo Rueda
, Víctor Rivera, Danni Yu:
Translating B machines to JML specifications. SAC 2012: 1271-1277 - [c23]Néstor Cataño
, Sorren Hanvey, Camilo Rueda
:
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. TOOLS (50) 2012: 9-16 - 2011
- [c22]Diana Hermith
, Carlos Olarte
, Camilo Rueda
, Frank D. Valencia:
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB 2011: 321-328 - 2010
- [c21]Néstor Cataño
, Camilo Rueda
:
Matelas: A Predicate Calculus Common Formal Definition for Social Networking. ASM 2010: 259-272
2000 – 2009
- 2009
- [c20]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: 509-513 - [c19]Mauricio Toro-Bermúdez, Camilo Rueda, Carlos Agón, Gérard Assayag:
Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction. ICMC 2009 - [c18]Néstor Cataño
, Camilo Rueda
:
Teaching Formal Methods for the Unconquered Territory. TFM 2009: 2-19 - 2008
- [c17]Jorge A. Pérez
, Camilo Rueda
:
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. ICLP 2008: 677-681 - [c16]Jesús Aranda
, Jorge A. Pérez
, Camilo Rueda
, Frank D. Valencia:
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP 2008: 682-686 - [c15]Néstor Cataño
, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda
:
A Case Study in JML-Assisted Software Development. SBMF 2008: 5-21 - 2006
- [j6]Carlos Olarte, Camilo Rueda:
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electron. J. 9(2) (2006) - [c14]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: 449-450 - [c13]Julian Gutierrez, Jorge A. Pérez
, Camilo Rueda
, Frank D. Valencia:
Timed Concurrent Constraint Programming for Analysing Biological Systems. MeCBIC@ICALP 2006: 117-137 - 2005
- [c12]Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda:
Implementing an Abstraction Framework for Soft Constraints. SARA 2005: 60-75 - [c11]Carlos Olarte
, Camilo Rueda
:
A stochastic non-deterministic temporal concurrent constraint calculus. SCCC 2005: 30-36 - 2004
- [j5]Camilo Rueda
, Frank D. Valencia:
On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004) - [c10]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: 813-814 - [c9]Camilo Rueda, Frank D. Valencia:
Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355 - [c8]Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda:
Implementing Semiring-Based Constraints Using Mozart. MOZ 2004: 224-236 - [c7]Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda:
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. MOZ 2004: 263-276 - [c6]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: 317-327 - 2002
- [c5]Camilo Rueda, Frank Valencia:
Proving Musical Properties using a temporal Concurrent Constraint Calculus. ICMC 2002 - 2001
- [j4]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): 21-52 (2001) - 2000
- [j3]Juan Francisco Díaz, Camilo Rueda:
Modelos para la Computación Móvil (Invited paper). Rev. Colomb. de Computación 1(1): 29-45 (2000)
1990 – 1999
- 1999
- [j2]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): 59-72 (1999) - 1998
- [j1]Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia:
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. CLEI Electron. J. 1(2) (1998) - [c4]Carlos Agón, Gérard Assayag, Olivier Delerue, Camilo Rueda:
Objects, Time and Constraints in OpenMusic. ICMC 1998 - 1994
- [c3]Carlos Agón, Gérard Assayag, Joshua Fineberg, Camilo Rueda:
Kant: a Critique of Pure Quantification. ICMC 1994 - 1993
- [c2]Gérard Assayag, Camilo Rueda:
The Music Representation Project at IRCAM. ICMC 1993
1980 – 1989
- 1986
- [c1]Lee Boynton, Pierre Lavoie, Yann Orlarey, Camilo Rueda, David Wessel:
MIDI-LISP: A LISP-Based Music Programming Environment for the Macintosh. ICMC 1986
Coauthor Index
aka: Carlos Alberto Olarte
aka: Jorge Andrés Pérez
aka: Frank Valencia
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint