Concepedia

Camilo Rueda

CR

21

Publications

632

Citations

16

H-Index

1986

Active since

Affiliations

Pontificia Universidad Javeriana(Current)

Laboratoire d'Informatique de l'École Polytechnique

Institut de Recherche et Coordination Acoustique Musique

École Polytechnique

Centre National de la Recherche Scientifique

Camilo Rueda is an author at Pontificia Universidad Javeriana specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningMusicFormal VerificationSoftware DesignSystem SoftwareProgram AnalysisSoftware Analysis

Publications per year

1986–2016

21

Publications

21

Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic

Gérard Assayag, Camilo Rueda, Mikael Laurson et al. · Computer Music Journal · 1999 · 208 citations

Music, Engineering, Visual Programming Language +18

Code generation for Event-B

Víctor Rivera, Néstor Cataño, Tim Wahls et al. · International Journal on Software Tools for Technology Transfer · 2015 · 49 citations

Event Processing, Engineering, Program Analysis +10

Models and emerging trends of concurrent constraint programming

Carlos Olarte, Camilo Rueda, Frank Valencia · Constraints · 2013 · 40 citations · Full text

Mathematical Programming, Concurrent Constraint Programming, Constraint Solving +8

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios

Mauricio Toro, Myriam Desainte‐Catherine, Camilo Rueda · Journal of Mathematics and Music · 2014 · 32 citations · Full text

Music, Computational Musicology, Engineering +28

Concurrent constraints models of music interaction

Mauricio Toro, Camilo Rueda, Frank Valencia et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 26 citations · Full text

Rows per page

1–5 of 21