Juan Benavides

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Scientific Computing

Computer Animation

Top Venues

Publications

Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan
An HPC Practitioner's Workbench for Formal Refinement Checking. LCPC (2022)
Mayra Carrión, Marco Santórum, Juan Benavides, José Aguilar, Yolanda Ortiz, María Pérez
Design and Evaluation of a Virtual Reality Serious Game. AHFE (17) (2020)