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

Volume 66, Number 2, April 2019

Exact Algorithms via Monotone Local Search Randomized Algorithms and Probabilistic Analysis of Algorithms Algorithms Pseudorandomness Logic and Computation Approximation Algorithm

Volume 66, Number 3, June 2019

Theory of Computation Algorithms and Data Structures Distributed Computing Randomized Algorithm Computer-aided Verification Invited Articles Foreword Computational Geometry Computer-aided Verification Computational Logic

Volume 66, Number 4, August 2019

Networking Computational Complexity Design and Analysis of Algorithms Real Computation Algorithms Online Algorithms Computer-aided Verification

Volume 66, Number 5, September 2019

Distributed Computing Algorithms and Data Structures Algorithms Scientific Computing Derandomizing Algorithms Online Algorithms Algorithmic Information Theory
a service of Schloss Dagstuhl - Leibniz Center for Informatics