| 1986 | A Parallel Statistical Cooling Algorithm. Emile H. L. Aarts, F. M. J. de Bont, J. H. A. Habers, Peter J. M. van Laarhoven |
| 1986 | A Time-Space Tradeoff for Element Distinctness. Allan Borodin, Faith E. Fich, Friedhelm Meyer auf der Heide, Eli Upfal, Avi Wigderson |
| 1986 | Abstract Implementations and Correctness Proofs. Gilles Bernot, Michel Bidoit, Christine Choppy |
| 1986 | Abstract Interpretation of Denotational Definions (A Survey). Flemming Nielson |
| 1986 | Algorithms for Visibility Representations of Planar Graphs. Roberto Tamassia, Ioannis G. Tollis |
| 1986 | Area-time Optimal Division for T=Omega(log n) Kurt Mehlhorn, Franco P. Preparata |
| 1986 | Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract). Chandra M. R. Kintala, Detlef Wotschke |
| 1986 | Décidabiité de l'égalité des Languages Algébriques Infinitaires Simples. Didier Caucal |
| 1986 | Décomposition de Fonctions Rationnelles. Christian Choffrut, Marcel Paul Schützenberger |
| 1986 | Efficient Algorithms for Finding Minimum Spanning Forests of Hierarchically Defined Graphs. Thomas Lengauer |
| 1986 | Equations in Free Partially Commutative Monoids. Christine Duboc |
| 1986 | Icons and Local Definitions in Logic Programming. M. A. Nait Abdallah |
| 1986 | Input Sensitive, Optimal Parallel Randomized Algorithms for Addition and Identification. Paul G. Spirakis |
| 1986 | Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines. Louis E. Rosier, Hsu-Chun Yen |
| 1986 | Long Unavoidable Patterns. Ursula Schmidt |
| 1986 | Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report). Harry B. Hunt III, Richard Edwin Stearns |
| 1986 | New Upperbounds for Decentralized Extrema-Finding in a Ring of Processors. Hans L. Bodlaender, Jan van Leeuwen |
| 1986 | On Generalized Kolmogorov Complexity. José L. Balcázar, Ronald V. Book |
| 1986 | On Sparse Oracles Separating Feasible Complexity Classes. Juris Hartmanis, Lane A. Hemachandra |
| 1986 | On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers. Oscar H. Ibarra, Bala Ravikumar |
| 1986 | Parallel Machines and their Communication Theoretical Limits. Rüdiger Reischuk |
| 1986 | Polynomial Time Algorithms for Finding Integer Relations Among Real Numbers. Johan Håstad, Bettina Helfrich, J. C. Lagarias, Claus-Peter Schnorr |
| 1986 | STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings Burkhard Monien, Guy Vidal-Naquet |
| 1986 | Separating and Testing. Philippe Darondeau |
| 1986 | Some Probabilistic Powerdomains in the Category SFP. David de Frutos-Escrig |
| 1986 | Speeding up Random Access Machines by Few Processors. Friedhelm Meyer auf der Heide |
| 1986 | Strictness and Serializability. Udo Kelter |
| 1986 | Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time. Andrzej Lingas |
| 1986 | Temporal Reasoning Under Generalized Fairness Constraints. E. Allen Emerson, Chin-Laung Lei |
| 1986 | Towards Specification and Proof of Asynchronous Systems. B. Gamatie |
| 1986 | Variétés de Semis Groupes et Mots Infinis. Jean-Pierre Pécuchet |