GraphVR: A Virtual Reality Tool for the Exploration of Graphs with HTC Vive System | IEEE Conference Publication | IEEE Xplore