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

Volume 64, Number 5, October 2017

Decision Theory Automata Theory Computational Complexity Graphic Games Formal Languages and Automata Theory Invited Articles Circuit Complexity Database Systems and Theory
maintained by Schloss Dagstuhl LZI at University of Trier