Search ACM DL

Search Issue

enter search term and/or author name

**An optimal on-line algorithm for metrical task system**

Allan Borodin, Nathan Linial, Michael E. Saks

Pages: 745-763

DOI: 10.1145/146585.146588

**Nonoblivious hashing**

Amos Fiat, Moni Naor, Jeanette P. Schmidt, Alan Siegel

Pages: 764-782

DOI: 10.1145/146585.146591

**The intractability of bounded protocols for on-line sequence transmission over non-FIFO channels**

Yishay Mansour, Baruch Schieber

Pages: 783-799

DOI: 10.1145/146585.146596

**Finite state verifiers I**: the power of interaction

Cynthia Dwork, Larry Stockmeyer

Pages: 800-828

DOI: 10.1145/146585.146599

**Finite state verifiers II**: zero knowledge

Cynthia Dwork, Larry Stockmeyer

Pages: 829-858

DOI: 10.1145/146585.146601

**Algebraic methods for interactive proof systems**

Carsten Lund, Lance Fortnow, Howard Karloff, Noam Nisan

Pages: 859-868

DOI: 10.1145/146585.146605

**IP = PSPACE**

Adi Shamir

Pages: 869-877

DOI: 10.1145/146585.146609

**IP = SPACE**: simplified proof

A. Shen

Pages: 878-880

DOI: 10.1145/146585.146613

**On the correctness of orphan management algorithms**

Maurice Herlihy, Nancy Lynch, Michael Merritt, William Weihl

Pages: 881-930

DOI: 10.1145/146585.146616

**A VLSI decomposition of the deBruijn graph**

Oliver Collins, Sam Dolinar, Robert McEliece, Fabrizio Pollara

Pages: 931-948

DOI: 10.1145/146585.146620

**Efficient dataflow analysis of logic programs**

Saumya K. Debray

Pages: 949-984

DOI: 10.1145/146585.146624

**Corrigenda: M. B. Dillencourt, H. Samet, and M. Tamminen,**

M. B. Dillencourt, H. Samet, M. Tamminen

Page: 985

DOI: 10.1145/146585.1189955