Mauricio Toro Bermudez

español                                   english                                   francais

Publications

Book Chapters

- A. Allombert, M. Desainte-Catherine, and M. Toro. Modeling temporal constraints for a system of interactive scores. In G. Assayag and C. Truchet, editors, Constraint Programming in Music, chapter 1, pages 1-23. Wiley, Hoboken, NJ, USA., 2011.

- C. Olarte, C. Rueda, G. Sarria, M. Toro, and F. Valencia. Concurrent constraints models of music interaction. In G. Assayag and C. Truchet, editors, Constraint Programming in Music, chapter 6, pages 133-153. Wiley, Hoboken, NJ, USA., 2011.

Conferences

- M. Toro-Bermúdez and M. Desainte-Catherine. Concurrent Constraints Conditional-Branching Timed Interactive Scores. In Proceedings of SMC 2010, Barcelona, Spain. July, 2010. Download

- M. Toro-Bermúdez. Structured Interactive Musical Scores. In Proceedings of ICLP Doctoral Consortium 2010, Edinburgh, Scotland. July, 2010. Download

- M. Toro-Bermúdez, M. Desainte-Catherine, P. Baltazar. A Model for Interactive Scores with Temporal Constraints and Conditional Branching. In Proceedings of JIM 2010, Rennes, France. May, 2010. Download

- M. Toro-Bermúdez, C. Rueda, G. Assayag, C. Agón. Ntccrt: A Concurrent Constraint Framework for Real-time Interaction. In Proceedings of ICMC 2009, Montreal, Canada. August, 2009. Download

- J. Aranda, C. Olarte, J. Pérez, C. Rueda, M. Toro-Bermúdez, F. Valencia. An Overview of FORCES: An INRIA Project on Declarative Formalism for Emergent Systems. Proc. of the 25th International Conference on Logic Programming (ICLP 2009), volume 5649 of Lecture Notes in Computer Science, pages 509-513, Springer, July 2009. Download

Thesis

- M. Toro-Bermúdez. Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation. B.Sc thesis. PUJC (COLOMBIA). 2009. Download

Technical reports

- M. Toro-Bermúdez and C. Rueda. Model Checking for NTCC: Past, Present and Future. Tech. Report, University of Bordeaux and Pontificia Universidad Javeriana, June, 2010. Download

- M. Toro-Bermúdez, J. Pérez and C. Rueda. Towards a correct and efficient implementation of simulation and verification tools for Probabilistic ntcc. Tech. Report, AVISPA and Pontificia Universidad Javeriana, August 2009. Download

- M. Toro-Bermúdez, C. Rueda, G. Assayag, C. Agón. GELISP: A library to represent musical CSPs and search strategies. Tech. Report. 2009. Download

- M. Toro-Bermúdez. Exploring the possibilities and limitations of concurrent programming for multimedia interaction and graphical representations to solve musical CSP's. Ircam, Paris (FRANCE). Tech. Report. 2008-3. 2008. Download

Software

- Model checker for NTCC. PUJC and Labri. 2011.
- Interpreter for a probabilistic extension to NTCC (PNTCC). PUJC. 2009. Download
- Verification tool for PNTCC. More Information
- Real-time interpreter for the Non-deterministic timed concurrent constraint (NTCC) calculus and interfaces to OpenMusic, Pure Data and Max/Msp. 2008. Download .
- Wrapper for GECODE library to Common Lisp (Gelisp). 2008. Download .

Some Talk's Slides

- What are Interactive Scores? June, 2011. Annual workshop of Scrime. Bordeaux, France. Download

- What are Interactive Scores? May, 2011. Internal workshop of the Sound and Music Team at Labri. Bordeaux, France. Download

- Concurrent Constraints Conditional-Branching Timed Interactive Scores. July, 2010. Sound and Music Conference (SMC) 2010. Barcelona, Spain. Download

- Structured Interactive Musical Scores: Towards a Computational Modeling of a Heterogeneous System. July, 2010. ICLP Doctoral Consortium 2010. Edinburgh, Scotland. Download

- Concurrent Constraints Conditional-Branching Timed Interactive Scores. July, 2010. Annual workshop of Scrime. Bordeaux, France. Download

- A Model for Interactive Scores with Temporal Constraints and Conditional Branching. May, 2010. Journees d'Informatique Musical. Rennes, France. Download

- Towards a Computational Modeling of an Heterogeneous System for Interactive Scores. February, 2010. Internal workshop of the Modeling and Verification Team at LABRI. Bordeaux, France. Download

- A Model for Interactive Scores with Temporal Constraints and Conditional Branching. February, 2010. Internal workshop of the Sound and Music Team at LABRI. Bordeaux, France. Download

- Ntccrt: A Concurrent Constraint Framework for Real-time Interaction. 2009. International Computer Music Conference (ICMC) 2009. Montreal, Canada. Download

- Verification and Simulation Tools for NTCC and PNTCC . 2009. Internal workshop of the Avispa's research group. Cali, Colombia. Download

- A Probabilistic Extension to the Concurrent Constraints Factor Oracle Model for Music Improvisation. 2009. Presentation of my B.Sc. thesis. Cali, Colombia.

-Exploring the possibilities and limitations of Concurrent Programming for Multimedia Interaction and Visual Programming for Musical CSP's. 2008. Internship final presentation. Paris, France. Download

- Ntccrt: A Concurrent Constraint Framework for Signal Processing Languages. Seminar of mathematics, music and its relation with other disciplines: MaMux. Paris, France.2008. Download

Non-technical publications

- M. Toro-Bermúdez. AVISPA: Traspasa fronteras y abre caminos para la Javeriana y Colombia en el mundo. Revista Xaveriana. 2009. Download

- M. Toro-Bermúdez. Entrevista radial sobre los proyectos de AVISPA. Emisora Javeriana Stereo. 2009. Download

- M. Toro-Bermúdez. AVISPA: A research group who have no doubt that research in Computer Science is possible in Colombia (draft). To be published. Download