Almost tight upper bounds for vertical decompositions in four dimensions | IEEE Conference Publication | IEEE Xplore