745 | -- | 763 | Allan Borodin, Nathan Linial, Michael E. Saks. An Optimal On-Line Algorithm for Metrical Task System |
764 | -- | 782 | Amos Fiat, Moni Naor, Jeanette P. Schmidt, Alan Siegel. Nonoblivious Hashing |
783 | -- | 799 | Yishay Mansour, Baruch Schieber. The Intractability of Bounded Protocols for On-Line Sequence Transmission over Non-FIFO Channels |
800 | -- | 828 | Cynthia Dwork, Larry J. Stockmeyer. Finite State Verifiers I: The Power of Interaction |
829 | -- | 858 | Cynthia Dwork, Larry J. Stockmeyer. Finite State Verifiers II: Zero Knowledge |
859 | -- | 868 | Carsten Lund, Lance Fortnow, Howard J. Karloff, Noam Nisan. Algebraic Methods for Interactive Proof Systems |
869 | -- | 877 | Adi Shamir. IP = PSPACE |
878 | -- | 880 | A. Shen. IP = PSPACE: Simplified Proof |
881 | -- | 930 | Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl. On the Correctness of Orphan Management Algorithms |
931 | -- | 948 | Oliver Collins, Sam Dolinar, Robert J. McEliece, Fabrizio Pollara. A VLSI Decomposition of the deBruijn Graph |
949 | -- | 984 | Saumya K. Debray. Efficient Dataflow Analysis of Logic Programs |
985 | -- | 986 | Michael B. Dillencourt, Hanan Samet, Markku Tamminen. Corrigenda: A General Approach to Connected-Component Labelling for Arbitrary Image Representations |