| 1986 | Comparison of Algorithms Controlling Concurrent Access to a Database: A Combinatorial Approach. | Didier Arqus, Jean Franon, M. T. Guichet, P. Guichet |
| 1986 | Characterizations on PUNC and Precomputation (Extended Abstract). | Eric Allender |
| 1985 | Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. | Job Zwiers, Willem P. de Roever, Peter van Emde Boas |
| 1985 | Optimal Parallel Pattern Matching in Strings (Extended Summary). | Uzi Vishkin |
| 1985 | On Matrix Multiplication Using Array Processors. | Peter J. Varman, I. V. Ramakrishnan |
| 1985 | A Complete Compositional Model Proof System for a Subset of CCS. | Colin Stirling |
| 1985 | The Complementation Problem for Bchi Automata with Applications to Temporal Logic (Extended Abstract). | A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper |
| 1985 | On the Use of Relational Expressions in the Design of Efficient Algorithms (Extended Abstract). | Seppo Sippu, Eljas Soisalon-Soininen |
| 1985 | Linear and Branching Structures in the Semantics and Logics of Reactive Systems. | Amir Pnueli |
| 1985 | Finite Group Topology and p-Adic Topology for Free Monoids. | Jean-Eric Pin |
| 1985 | Polynomial Levelability and Maximal Complexity Cores. | Pekka Orponen, David A. Russo, Uwe Schning |
| 1985 | Dynamic Interpolation Search. | Kurt Mehlhorn, Athanasios K. Tsakalidis |
| 1985 | Special Relations in Automated Deduction. | Zohar Manna, Richard J. Waldinger |
| 1985 | Applications of an Infinite Squarefree CO-CFL. | Michael G. Main, Walter Bucher, David Haussler |
| 1985 | A Bidirectional Shortest-Path Algorithm With Good Average-Case Behavior (Preliminary Version). | Michael Luby, Prabhakar Ragde |
| 1985 | Vertex Packing Algorithms. | Lszl Lovsz |
| 1985 | Lower Bounds by Kolmogorov-Complexity (Extended Abstract). | Ming Li |
| 1985 | A Context Dependent Equivalence between Processes. | Kim Guldstrand Larsen |
| 1985 | Distributed Algorithms in Synchronous Broadcasting Networks (Extended Abstract). | Gad M. Landau, Mordechai M. Yung, Zvi Galil |
| 1985 | A Probabilistic Distributed Algorithm for Set Intersection and Its Analysis (Preliminary Version). | Thomas G. Kurtz, Udi Manber |
| 1985 | Every Commutative Quasirational Language is Regular. | Juha Kortelainen |
| 1985 | On k-Repetition Free Words Generated by Length Uniform Morphisms Over a Binary Alphabet. | Veikko Kernen |
| 1985 | Routing Through a Generalized Switchbox. | Michael Kaufmann, Kurt Mehlhorn |
| 1985 | The Nearest Neighbor Problem on Bounded Domains. | Rolf G. Karlsson, J. Ian Munro, Edward L. Robertson |
| 1985 | On Probabilistic Time and Space. | Hermann Jung |