Jaime Arias
TitleCited byYear
Modelling data processing for interactive scores using coloured petri nets
J Arias, M Desainte-Catherine, C Rueda
2014 14th International Conference on Application of Concurrency to System …, 2014
102014
Executing hierarchical interactive scores in ReactiveML
J Arias, M Desainte-Catherine, S Salvati, C Rueda
82014
A framework for composition, verification and real-time performance of multimedia interactive scenarios
J Arias, M Desainte-Catherine, C Rueda
2015 15th International Conference on Application of Concurrency to System …, 2015
62015
Automatic construction of interactive machine improvisation scenarios from audio recordings
J Arias, M Desainte-Catherine, S Dubnov
42016
Foundations for reliable and flexible interactive multimedia scores
J Arias, M Desainte-Catherine, C Olarte, C Rueda
International Conference on Mathematics and Computation in Music, 29-41, 2015
32015
A symbolic model for timed concurrent constraint programming
J Arias, M Guzmán, C Olarte
Electronic Notes in Theoretical Computer Science 312, 161-177, 2015
32015
Authoring and automatic verification of interactive multimedia scores
J Arias, JM Celerier, M Desainte-Catherine
Journal of New Music Research 46 (1), 15-33, 2017
22017
Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices
JEA Almeida
22015
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores
J Arias, M Desainte-Catherine, C Rueda
22015
Session-based concurrency, reactively
M Cano, J Arias, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2017
12017
A Reactive Interpretation of Session-Based Concurrency
J Arias, M Cano, JA Pérez
12015
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
J Arias, CE Budde, W Penczek, L Petrucci, M Stoelinga
arXiv preprint arXiv:1906.05283, 2019
2019
Timed Automata for Video Games and Interaction
J Arias, R Marczak, M Desainte-Catherine
2019
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function
J Arias, P Ciuciu, M Dojat, F Forbes, A Frau-Pascual, T Perret, J Warnking
2017
Interpolations: écriture de contraintes réactives pour improvisations pianistiques (démo)
S Archipoff, J Arias, E Buger, D Janin
2016
Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
J Arias, M Desainte-Catherine, C Rueda
2016
Towards A Practical Model of Reactive Communication-Centric Software.
J Arias, M Cano, JA Pérez
ICTCS, 227-233, 2016
2016
Le séquenceur interactif multimédia i-score
J Arias, JM Celerier
2015
Formal Models to Compose and Execute Interactive Multimedia Scores in Real-Time
J Arias, M Desainte-Catherine, C Rueda
2014
Poster session I Thursday 9 December 2010, 08: 30-12: 30
VA Kuznetsov, AO Kozhurina, AV Plusnin, M Szulik, B Sredniawa, ...
European Journal of Echocardiography 11 (suppl_2), ii12-ii41, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20