1. •A. Allombert, G. Assayag, M. Desainte-Catherine, and C. Rueda. Concurrent Constraint Models for Specifying Interactive Scores. In Proc. of the Third Sound and Music Computing Conference (SMC’06)., May 2006.
  2. •J. Gutierrez, J. A. Prez, C. Rueda and F. Valencia. Timed Concurrent Constraint Programming for Analyzing Biological Systems . In Proceedings of MeCBIC 2006 , Vol 171/2 pp 117-137 of Electronic Notes in Theoretical Computer Science, Elsevier.
  3. •C. Olarte, C. Rueda. A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. Clei Electronic Journal, vol 9 (2), October 2006.
  4. •H. Lopez, C. Palamidessi, J. A. Perez, C. Rueda and F. Valencia. A Declarative  Framework for Security: Secure Concurrent Constraint Programming (Short Abstract) In Proceedings of ICLP 2006 .
  5. •E. Monfroy, C. Olarte and C. Rueda. Exploring Process Calculi as a Mechanism to Define Dynamic Enumeration Strategies in Constraint Programming . In Proceedings of Latin American Informatics Conference CLEI 2006 , Santiago de Chile, 2006.
  6. •C. Rueda, G. Assayag, S. Dubnov. A Concurrent Constraints Factor Oracle Model for Music Improvisation . In Proceedings of Latin American Informatics Conference CLEI 2006 , Santiago de Chile, 2006.
  7. •A. Aristizabal, H. Lopez, C. Rueda and F. Valencia. Formally Reasoning About Security Issues in P2P Protocols: A Case Study. In Proceedings of TFIT 2006 , March 2006.
  8. •C. Rueda and F. Valencia. A temporal concurrent constraint calculus as an audio processing framework. In Proceedings of SMC 05 (Sound and Music Computing ’05) , Salerno (Italy), November 2005.
  9. •A. Delgado, J. A. Perez and C. Rueda. Implementing an Abstraction Scheme for Soft Constraints. In Proceedings of SARA 2005: Symposium on Abstraction, Reformulation and Approximation , Airth Castle, Scotland, 2005.
  10. •C. Olarte and C. Rueda. A Stochastic Non-deterministic Temporal Concurrent Constraint Calculus. In Proc. of International Conference of the Chilean Computer Science Society (SCCC 2005). IEEE-CS, 2005.
  11. •C. Rueda and F. D. Valencia. Non-viability deductions in arc-consistency computation. In Proc. of the International Conference on Logic Programming (ICLP 2004), volume 3132 of Lecture Notes in Computer Science, pages 343-355. Springer, 2004.
  12. •J. F. Diaz, G. Gutierrez, C. A. Olarte, and C. Rueda. Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. In P. Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Lecture Notes in Computer Science, 3389, pages 263-276. Springer, 2004.
  13. •C. Rueda and F. D. Valencia. On validity in modelization of musical problems by ccp. Soft Computing, 8(9):641-648, 2004.
  14. •G. Assayag ,  C. Agón,  O. Delerue and C. Rueda. Objects, time and constraints in openMusic In Proc. ICMC 98. San Francisco: international computer music association ICMA, 1998.
  15. •C. Rueda, F. Valencia, G. Assyag et al. Integrating constraints and concurrent objects in Musical applications: A calculus and its visual language. Constraints. Holanda. 2001.
  16. •C. Rueda and J. Díaz. Modelos para la computación móvil. Revista Colombiana de Computación.  2000.
  17. •G. Assayag , M. Laurson, C. Agón O. Delerue and C. Rueda. Computer assisted composition at IRCAM: From PatchWork to OpenMusic. Computer Music Journal. USA 1999.
  18. •C. Rueda and A. Bonnet. Un langage visuel basé sur les contraintes pour la composition musicale In: Recherches et applications en informatique musicale ed. París : Hermes, 1998,
  19. •F. Valencia, J. Díaz. C. Rueda. A Calculus for Concurrent Processes with Constraints. CLEI Electronic Journal. 1998.
  20. •G. Assayag, G.Alvarez, F. Valencia, L. Quesada, J. Díaz and C. Rueda. PiCO:A Calculus of Concurrent Constraint Objects for Musical Applications In: ECAI98 workshop on constraints techniques for artistic applications. Brighton. 1998
  21. •C. Agon, G. Assayag, J. Fineberg, and C. Rueda. Kant: a critique of pure quantification. In ICMC 94, 1994
  22.  
 
Publications