Efficient Partitioning and Query Processing of Spatio-Temporal Graphs with Trillion Edges | IEEE Conference Publication | IEEE Xplore