ACM Computing Surveys, Volume 33

Volume 33, Number 1, March 2001

• Russell Greiner, Christian Darken, N. Iwan Santoso:
  Efficient reasoning. 1-30
  Electronic Edition (ACM DL) BibTeX
• Gonzalo Navarro:
  A guided tour to approximate string matching. 31-88
  Electronic Edition (ACM DL) BibTeX
• Karsten Weihe:
  A software engineering perspective on algorithmics. 89-134
  Electronic Edition (ACM DL) BibTeX

Volume 33, Number 2, June 2001

• Pierpaolo Degano, Corrado Priami:
  Enhanced operational semantics. 135-176
  Electronic Edition (ACM DL) BibTeX
• Bev Littlewood, Peter T. Popov, Lorenzo Strigini:
  Modeling software design diversity. 177-208
  Electronic Edition (ACM DL) BibTeX
• Jeffrey Scott Vitter:
  External memory algorithms and data structures. 209-271
  Electronic Edition (ACM DL) BibTeX

Volume 33, Number 3, September 2001

• Edgar Chávez, Gonzalo Navarro, Ricardo A. Baeza-Yates, José L. Marroquín:
  Searching in metric spaces. 273-321
  Electronic Edition (ACM DL) BibTeX
• Christian Böhm, Stefan Berchtold, Daniel A. Keim:
  Searching in high-dimensional spaces: Index structures for improving the performance of multimedia databases. 322-373
  Electronic Edition (ACM DL) BibTeX
• Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov:
  Complexity and expressive power of logic programming. 374-425
  Electronic Edition (ACM DL) BibTeX

Volume 33, Number 4, December 2001

• Gregory Chockler, Idit Keidar, Roman Vitenberg:
  Group communication specifications: a comprehensive study. 427-469
  Electronic Edition (ACM DL) BibTeX
• Melody Y. Ivory, Marti A. Hearst:
  The state of the art in automating usability evaluation of user interfaces. 470-516
  Electronic Edition (ACM DL) BibTeX
• Pieter H. Hartel, Luc Moreau:
  Formalizing the safety of Java, the Java virtual machine, and Java card. 517-558
  Electronic Edition (ACM DL) BibTeX