Jaime Arias

According to our database1, Jaime Arias authored at least 9 papers between 2014 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Timed Automata for Video Games and Interaction.
Proceedings of the Encyclopedia of Computer Graphics and Games., 2019

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems.
CoRR, 2019

2017
Session-Based Concurrency, Reactively.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016
Towards A Practical Model of Reactive Communication-Centric Software.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

2015
Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices. (Sémantique Formelle et Vérification Automatique de Scénarios Hiérarchiques Multimédia avec des Choix Interactifs).
PhD thesis, 2015

Foundations for Reliable and Flexible Interactive Multimedia Scores.
Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014
A Symbolic Model for Timed Concurrent Constraint Programming.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014


  Loading...