Journal of the ACM, Volume 66

Volume 66, Number 1, January 2019

Computer-aided Verification Concurrent Programming Complexity theory Graph Algorithms Computational Geometry Randomized Algorithms and Probabilistic Analysis Approximation Algorithm
maintained by Schloss Dagstuhl LZI, founded at University of Trier