| 513 | -- | 531 | Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber. An O(n³log n) deterministic and an O(n³) Las Vegs isomorphism test for trivalent graphs |
| 532 | -- | 543 | Robert W. Irving, Paul Leather, Dan Gusfield. An efficient algorithm for the optimal stable marriage |
| 544 | -- | 577 | Catriel Beeri, Michael Kifer. A theory of intersection anomalies in relational database schemes |
| 578 | -- | 595 | Anselm Blumer, J. Blumer, David Haussler, Ross M. McConnell, Andrzej Ehrenfeucht. Complete inverted files for efficient text retrieval and analysis |
| 596 | -- | 615 | Michael L. Fredman, Robert Endre Tarjan. Fibonacci heaps and their uses in improved network optimization algorithms |
| 616 | -- | 625 | Daniel S. Hirschberg, Lawrence L. Larmore. New applications of failure functions |
| 626 | -- | 645 | T. K. Srikanth, Sam Toueg. Optimal clock synchronization |
| 646 | -- | 660 | Stanley Cabay, Bart Domzy. Systems of linear equations with dense univariate polynomial coefficients |
| 661 | -- | 685 | Randolph D. Nelson. Stochastic catastrophe theory in computer performance modeling |
| 686 | -- | 717 | Rajan Suri. Infinitesimal perturbation analysis for general discrete event systems |
| 718 | -- | 730 | Ronald V. Book, Ding-Zhu Du. The existence and density of generalized complexity cores |
| 731 | -- | 760 | Michio Oyamaguchi. The equivalence problem for real-time DPDAs |