Volume 33, Number 1, March 2001

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

Volume 33, Number 2, June 2001

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

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
• 
  Christian Böhm, Stefan Berchtold, Daniel A. Keim: Searching in high-dimensional spaces: Index structures for improving the performance of multimedia databases. 322-373
• 
  Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming. 374-425

Volume 33, Number 4, December 2001

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

last updated on Sun May 26 04:43:36 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page