GraphVR: A Virtual Reality Tool for the Exploration of Graphs with HTC Vive System. - Nicola Capece; Ugo Erra; Jari Grippa (IV, 2018)