Publications
1993. ADMS: a testbed for incremental access methods. IEEE Transactions on Knowledge and Data Engineering. 5(5):762-774.
1993. Advanced parallel prefix-sums, list ranking and connectivity. Synthesis of Parallel Algorithms. :215-257.
1993. Algorithms for fast vector quantization. Data Compression Conference, 1993. DCC '93.. :381-390.
1993. Alpha Slider: Searching Textual Lists with Sliders. Institute for Systems Research Technical Reports.
1993. Alphaslider: Development and Evaluation of Text Retrieval Methods Using Sliders. Ninth Symposium on Human Interface. :91-94.
1993. Analyzing concurrent systems using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning. :129-144.
1993. Applying the CHAOS/PARTI library to irregular problems in computational chemistry and computational aerodynamics. Scalable Parallel Libraries Conference, 1993., Proceedings of the. :45-56.
1993. Approximate nearest neighbor queries in fixed dimensions. Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms. :271-280.
1993. Approximate nearest neighbor searching. Proceedings of 4th Annual ACMSIAM Symposium on Discrete Algorithms (SODA’93). :271-280.
1993. Approximate parallel prefix computation and its applications. Parallel Processing Symposium, 1993., Proceedings of Seventh International. :318-325.
1993. Beyond the graphical user interface (abstract). Proceedings of the 1993 ACM conference on Computer science. :510–-510–.
1993. Browsing Unix directories with dynamic queries: An analytical and experimental evaluation. Proc. Ninth Japanese Symp. Human Interface. :95-98.
1993. Building HCI partnerships and infrastructure. Behaviour & Information Technology. 12(2):130-135.
1993. A case for the PRAM as a standard programmer's model. Parallel Architectures and their Efficient Use. :11-19.
1993. Chernoff-Hoeffding bounds for applications with limited independence. Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms. :331-340.
1993. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
1993. A connectionist approach to diagnostic problem solving using causal networks. Information sciences. 70(1-2):27-48.
1993. Control and design of the spherical pointing motor. , 1993 IEEE International Conference on Robotics and Automation, 1993. Proceedings. :630-636vol.2-630-636vol.2.