Reachability and time-based path queries in temporal graphs | IEEE Conference Publication | IEEE Xplore