Journal of the ACM, Volume 64

Volume 64, Number 1, March 2017

Computational Geometry Network Algorthims, Network Resources Allocation Computational Geometry Approximation Algorithms Randomized Algorithms 8 Probabilistic Analysis Invited Article Formal Methods: Computer-aided Verification

Volume 64, Number 2, June 2017

Design 8 Analysis of Algorithms and/or Randomness Numerical Algorithms Cryptography Coding Theory, Property Testing Randomized Algorithms and Probabilistic Analysis Invited Articles Logic in Computer Science; Computer-aided Verification Computer-aided Verification, Logic in Computer Science

Volume 64, Number 3, June 2017

Distributed Computing Logic, Algorithms & Complexity Graph Algorithms Computational Complexity Economics & Computation Property Testing Invited Article Distributed Computing

Volume 64, Number 4, September 2017

Computational Molecular Biology Computer-aided Verification Logic, Algorithms 8 Complexity Labeling Schemes Graph Algorithms Invited Article Computational Complexity
maintained by Schloss Dagstuhl LZI at University of Trier