Juan Benavides

According to our database, Juan Benavides authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An HPC Practitioner's Workbench for Formal Refinement Checking.

Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan

Proceedings of the Languages and Compilers for Parallel Computing, 2022

2020

Design and Evaluation of a Virtual Reality Serious Game.

Mayra Carrión, Marco Santórum, Juan Benavides, José Aguilar, Yolanda Ortiz, María Pérez

Proceedings of the Advances in Usability, User Experience, Wearable and Assistive Technology, 2020