Journal of the ACM, Volume 62

Volume 62, Number 1, February 2015

Approximation Algorithms Computer-Aided Verification Distributed Computing Randomized Algorithms and Probabilistic Analysis Security and Cryptography Invited Articles Section Distributed Computing Economics and Computation Formal Methods

Volume 62, Number 2, May 2015

Algorithmic Economics Automata Theory Database Theory Learning Theory Real-Time Systems Verification for Security Invited Articles Section Complexity

Volume 62, Number 3, June 2015

Algorithmic Economics Computational Complexity, Logic, Algorithms, Constraint Satisfaction Complexity Theory Learning Theory Logic in Computer Science Proof Complexity Invited Articles Section Computational Geometry

Volume 62, Number 4, August 2015

Complexity Theory Computational Complexity Graph Algorithms Invited Articles Section Computer-Aided Verification Distributed Computing

Volume 62, Number 5, November 2015

Algorithmic Economics Analysis of Algorithms Approximation Algorithms Computational Geometry Distributed Computing Formal Languages Randomized Algorithms and Probabilistic Analysis Invited Articles Section Approximation Algorithms Relational Databases, Database Query Languages, and Economics

Volume 62, Number 6, December 2015

Computational Geometry Cryptography Distributed Computing Logic in Computer Science Quantum Cryptography Randomized Algorithms and Probabilistic Analysis Scientific Computing and High Performance Computing
a service of Schloss Dagstuhl - Leibniz Center for Informatics