Talks

2017

Jaime Arias. Git in practice. Presented as a workshop for the Inria Team Mistis in Montbonnot, France, 2017.
PDF

2016

Jaime Arias. Creating static sites with pelican. Presented as a workshop for the Inria Team Mistis in Montbonnot, France, 2016.
PDF
Jaime Arias. Factor oracle for machine improvisation. Presented as a workshop for the Inria Team PoSET in Bordeaux, France, 2016.
PDF
Jaime Arias and Shlomo Dubnov. Automatic construction of interactive machine improvisation scenarios from audio recordings. Presented at the Workshop on Dynamics of Creative Improvisation in Bordeaux, France, 2016.
PDF
Jaime Arias and Shlomo Dubnov. Automatic construction of interactive machine improvisation scenarios from audio recordings. Presented at the 4th International Workshop on Musical Metacreation (MUME 2016) in Paris, France, 2016.
PDF
Jaime Arias and Shlomo Dubnov. Automatic construction of interactive machine improvisation scenarios from audio recordings. Presented at the Cycles Arts et Sciences du SCRIME in Bordeaux, France, 2016.
PDF
Jaime Arias. Automatic verification of interactive multimedia scenarios with branching behavior. Presented at the Colloquium of Computer Science of the University of Groningen in Groningen, the Netherlands, 2016.
PDF

2015

Jaime Arias. Formal semantcs and automatic verification of hierarchical multimedia scenarios with interactive choice. Doctoral Thesis Defese at University of Bordeaux, 2015.
PDF
Jaime Arias. Foundations for reliable and flexible interactive multimedia scores. Presented at the 5th Conference on Mathematics and Computation in Music (MCM 2015) in London, UK, 2015.
PDF
Jaime Arias. A framework for composition, verification and real-time performance of multimedia interactive scenarios. Presented at the 15th International Conference on Application of Concurrency to System Design (ACSD 2015) in Brussels, Belgium, 2015.
PDF
Jaime Arias. Verification of i-score using timed automata. Presented at the Seminar of the PoSET team in Bordeaux, France, 2015.
PDF
Jaime Arias. Exploiting parallelism in fpgas for the real-time interpretation of interactive multimedia scores. Presented at the Journées d'Informatique Musical (JIM 2015) in Montreal, Canada, 2015.
PDF
Jaime Arias. Écriture et exécution des partitions multimédias interactives fiables sur fpgas. Presented at the Cycles Arts et Sciences du SCRIME in Bordeaux, France, 2015.
PDF
Jaime Arias. Towards an automatic verification of interactive scores and their real-time performance. Presented at the Journées INEDIT in Bordeaux, France, 2015.
PDF
Jaime Arias. Interactive scores meet timed automata. Presented at the Seminar of the PoSET team in Bordeaux, France, 2015.
PDF

2014

Jaime Arias. A tree-based operational semantics for interactive multimedia scores. Presented at the kick-off meeting of the MUSICAL project in Cali, Colombia, 2014.
PDF
Jaime Arias. Formal models to compose and execute multimedia interactive scores. Presented at the research seminar of the Javeriana University in Cali, Colombia, 2014.
PDF
Jaime Arias and Carlos Olarte. A symbolic model for timed concurrent constraint programming. Presented at the 9th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014) in Brasilía, Brazil, 2014.
PDF
Jaime Arias. À la recherche de modèles formels pour l'écriture et l'exécution de scénarios interactifs ouverts. Presented at the Cycles Arts et Sciences du SCRIME in Bordeaux, France, 2014.
PDF
Jaime Arias. Modelling data processing for interactive scores using coloured petri nets. Presented at the 14th International Conference on Application of Concurrency to System Design (ACSD 2014) in Tunis, Tunisia, 2014.
PDF
Jaime Arias. Executing hierarchical interactive scores in reactiveml. Presented at the Journées d'Informatique Musical (JIM 2014) in Bourges, France, 2014.
PDF
Jaime Arias. Execution of interactive scores using reactiveml. Presented at the Seminar of SCRIME in Bordeaux, France, 2014.
PDF

2013

Jaime Arias. Partituras interactivas - planificación incremental y en tiempo real de flujo multimedia. Presented at the Permanent Colloquium in Computer Science (PeCeS) at Javeriana University in Cali, Colombia, 2013.
PDF
Jaime Arias. Model checking for tcc calculus. Undergraduate Thesis Defese at Javeriana University, 2013.
PDF