Jaime Arias
Title
Cited by
Cited by
Year
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
132014
Executing hierarchical interactive scores in ReactiveML
J Arias, M Desainte-Catherine, S Salvati, C Rueda
102014
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
82015
Automatic construction of interactive machine improvisation scenarios from audio recordings
J Arias, M Desainte-Catherine, S Dubnov
62016
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
42015
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
32019
Session-based concurrency, reactively
M Cano, J Arias, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2017
32017
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
32017
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
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
In vitro Technical Aspects of Anti-Gene IGF-I Vaccines against Glioma
J Trojan, A Guzmán, A Ly, G Quintero, T Castillo, C Rojas, J Moreno, ...
Biomedical Research Open Access| Page 43, 43-48, 2019
12019
Towards A Practical Model of Reactive Communication-Centric Software.
J Arias, M Cano, JA Pérez
ICTCS, 227-233, 2016
12016
A reactive interpretation of session-based concurrency
J Arias, M Cano, JA Pérez
Proc. REBLS 16, 2016
12016
Timed Automata for Video Games and Interaction
J Arias, R Marczak, M Desainte-Catherine
Encyclopedia of Computer Graphics and Games, 2019
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
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
The system can't perform the operation now. Try again later.
Articles 1–20