( en | de | ru )

 

Disambiguation of "Arias, Jaime"

Author of the publication

copydeleteadd this publication to your clipboard
Foundations for Reliable and Flexible Interactive Multimedia Scores.

, , , and . MCM, volume 9110 of Lecture Notes in Computer Science, page 29-41. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yarúa Gabriela Jaimes Becerra

Elke Jaime

Oscar Jaimes

Carla Jaimes Betancourt

Dagoberto Arias Aguilar

 

Other publications of authors with the same name

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios., , and . ACSD, page 140-151. IEEE Computer Society, (2015)Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems., , , , , and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 3-19. Springer, (2020)Modular Analysis of Tree-Topology Models., , , and . ICFEM, volume 13478 of Lecture Notes in Computer Science, page 36-53. Springer, (2022)Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems., , , , and . CoRR, (2019)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).. University of Bordeaux, France, (2015)Timed Automata for Video Games and Interaction., , and . Encyclopedia of Computer Graphics and Games, Springer, Living reference work, snapshot April 2019.(2019)Foundations for Reliable and Flexible Interactive Multimedia Scores., , , and . MCM, volume 9110 of Lecture Notes in Computer Science, page 29-41. Springer, (2015)SOG-Based Multi-Core LTL Model Checking., , , and . ISPA/BDCloud/SocialCom/SustainCom, page 9-17. IEEE, (2020)Towards A Practical Model of Reactive Communication-Centric Software., , and . ICTCS, volume 1720 of CEUR Workshop Proceedings, page 227-233. CEUR-WS.org, (2016)Symbolic Observation Graph-Based Generation of Test Paths., , , , and . TAP, volume 14066 of Lecture Notes in Computer Science, page 127-146. Springer, (2023)