John Muñoz Cardona

John Muñoz Cardona
Research Assistant
Publications: 
2016
Muñoz, C., T. Paulino, H. Vasanth, and K. Baras, "PhysioVR: A Novel Mobile Virtual Reality Framework for Physiological Computing", IEEE International Conference on e-Health Networking, Applications and Services (Healthcom), 18th, Munich, IEEE, pp. 1-6, 2016.
2015
2010
Cataño, N., and R. Siminiceanu, "A machine-checked proof of a state-space construction algorithm", Second NASA Formal Methods Symposium (NFM 2010), vol. NASA/CP-2010-216215, NASA Langley Research Center, Hampton VA 23681-2199, USA, 04/2010.