According to our database1, Jaime Arias authored at least 14 papers between 2014 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
Proceedings of the Encyclopedia of Computer Graphics and Games., 2019
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
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
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
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014