Mauricio Toro -
Mauricio Toro -
Full Professor at Eafit University
Verified email at - Homepage
Cited by
Cited by
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.
A Philippou, M Toro, M Antonaki
Scientific Annals of Computer Science 23 (1), 2013
Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
M Toro, M Desainte-Catherine, C Rueda
Journal of Mathematics and Music 8 (1), 93-112, 2014
Concurrent constraint conditional branching interactive scores
M Toro, M Desainte-Catherine
Proc. of SMC 10, 18, 2010
NTCCRT: A concurrent constraint framework for music interaction
M Toro, C Rueda, C Agón, G Assayag
Proceedings of the ICMC 2009, 2009
Process ordering in a process calculus for spatially-explicit ecological models
A Philippou, M Toro
International Conference on Software Engineering and Formal Methods, 345-361, 2013
Concurrent constraints models of music interaction
M Toro, C Rueda, F Valencia, G Sarria, C Olarte
Constraint Programming in Music, 133, 2011
A Model For Interactive Scores with Temporal Constraints and Conditional Branching
M Toro, M Desainte-Catherine, P Baltazar
Journées d'Informatique musicale, 31-38, 2010
Modeling Temporal Constraints for a System of Interactive Scores
A Allombert, M Desainte-Catherine, M Toro
Constraint Programming in Music,, 1-24, 2011
Synchronous parallel composition in a process calculus for ecological models
M Toro, A Philippou, C Kassara, S Sfenthourakis
International Colloquium on Theoretical Aspects of Computing, 424-441, 2014
Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation
M Toro
Iberoamerican Journal of Artificial Intelligence 19 (57), 37 - 73, 2016
Structured interactive musical scores
M Toro
In Proceedings of ICLP Doctoral Consortium 2010, 1, 2010
A systematic literature review on the use of machine learning in precision livestock farming
R Garcia, J Aguilar, M Toro, A Pinto, P Rodriguez
Computers and Electronics in Agriculture 179, 105826, 2020
Exploring the possibilities and limitations of concurrent programming for multimedia interaction and graphical representations to solve musical csp’s
M Toro
Technical report 2008-3, Ircam, Paris.(FRANCE), 2008.(Cited on page 117.), 2008
Towards Non-Threaded Concurrent Constraint Programming for Implementing Multimedia Interaction Systems
M Toro
International Journal of Advancements in Computing Technology (IJACT) 8 (3), 35, 2016
An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls
M Toro, M Desainte-Catherine, J Castet
European Journal of Scientific Research 137 (4), 396-409, 2016
Structured Interactive Scores: From a simple structural description of a multimedia scenario to a real-time capable implementation with formal semantics
M Toro
PhD thesis, Univeristé de Bordeaux 1, France, 2012
An overview of FORCES: an INRIA project on declarative formalisms for emergent systems
J Aranda, G Assayag, C Olarte, JA Pérez, C Rueda, M Toro, FD Valencia
International Conference on Logic Programming, 509-513, 2009
Structured interactive music scores
M Toro
arXiv preprint arXiv:1508.05559, 2015
Gelisp: A framework to represent musical constraint satisfaction problems and search strategies
M Toro, C Rueda, C Agón, G Assayag
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
M Toro, A Phillippou, S Arboleda, M Puerta, CM Vélez S.
Electronic Proceedings in Theoretical Computer Science 204, 79-94, 2016
The system can't perform the operation now. Try again later.
Articles 1–20