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
122014
Executing hierarchical interactive scores in ReactiveML
J Arias, M Desainte-Catherine, S Salvati, C Rueda
Journées d'Informatique Musicale 2014, 2014
92014
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
72015
Hackers vs. security: attack-defence trees as asynchronous multi-agent systems
J Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M Stoelinga
International Conference on Formal Engineering Methods, 3-19, 2020
52020
Automatic construction of interactive machine improvisation scenarios from audio recordings
J Arias, M Desainte-Catherine, S Dubnov
MUME 2016-4th International Workshop on Musical Metacreation, 1-7, 2016
52016
Timed Automata for Video Games and Interaction
J Arias, R Marczak, M Desainte-Catherine
Encyclopedia of Computer Graphics and Games, 2019
42019
Session-based concurrency, reactively
M Cano, J Arias, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2017
42017
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
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
Université de Bordeaux, 2015
22015
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores
J Arias, M Desainte-Catherine, C Rueda
Journées d'Informatique Musicale 2015, 2015
22015
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
J Arias, Ł Maśko, W Penczek, L Petrucci, T Sidoruk
arXiv preprint arXiv:2101.06838, 2021
12021
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
ADT2AMAS: Managing Agents in Attack-Defence Scenarios
J Arias, W Penczek, L Petrucci, T Sidoruk
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
2021
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
É André, J Arias, L Petrucci, J van de Pol
Tools and Algorithms for the Construction and Analysis of Systems 12651, 311, 2021
2021
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
16th Python in Science Conference (SciPy 2017), 34-40, 2017
2017
Interpolations: écriture de contraintes réactives pour improvisations pianistiques (démo)
S Archipoff, J Arias, E Buger, D Janin
Journées d'Informatique Musicale (JIM), 2016
2016
Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
J Arias, M Desainte-Catherine, C Rueda
2016
The system can't perform the operation now. Try again later.
Articles 1–20