| 1985 | Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. | Louis E. Rosier, Hsu-Chun Yen |
| 1985 | A Dynamization of the All Pairs Least Cost Path Problem. | Hans Rohnert |
| 1985 | Distributed Termination in CSP: Symmetric Solutions with Minimal Storage. | Jean-Luc Richier |
| 1985 | Fairness in Context-Free Grammars under Canonical Derivations. | Sara Porat, Nissim Francez |
| 1985 | Shortest Paths on Polyhedral Surfaces. | Joseph O'Rourke, Subhash Suri, Heather Booth |
| 1985 | Planar Circuits Have Short Specifications. | William F. McColl |
| 1985 | On the Planar Monotone Computation of Threshold Functions. | William F. McColl |
| 1985 | On the Complexity of Deadlock Recovery. | Joseph Y.-T. Leung, Burkhard Monien |
| 1985 | An O(N^(1.5+epsilon)) Expected Time Algorithm for Canonization and Isomorphism Testing of Trivalent Garphs. | Ludek Kucera |
| 1985 | Proximity of a Grid. | Rolf G. Karlsson, J. Ian Munro |
| 1985 | Base non finie de varietes. | Christine Irastorza |
| 1985 | An Algorithm to Construct Minkowski-Reduced Lattice-Bases. | Bettina Helfrich |
| 1985 | New Algorithms for Special Cases of the Hidden Line Elimination Problem. | Ralf Hartmut Gting, Thomas Ottmann |
| 1985 | An Algorithm for Two-Layer Channel Routing. | Shaodi Gao |
| 1985 | A Single Source Shortest Path Algorithm for a Planar Distributed Network. | Greg N. Frederickson |
| 1985 | Structure of Relations Satisfying Certain Families of Dependencies. | Patrick C. Fischer, Dirk Van Gucht |
| 1985 | Tree Automata and Logic Programs. | Gilberto Fil |
| 1985 | Construction of a Family of Factorizing Codes. | Clelia de Felice |
| 1985 | Sorting and Recognition Problems for Ordered Sets. | Ulrich Faigle, Gyrgy Turn |
| 1985 | Using Domain Algebras to Prove the Correctness of a Compiler. | Peter Dybjer |
| 1985 | On Hotz Groups and Homomorphic Images of Sentential Form Languages. | Volker Diekert |
| 1985 | Non-Deterministic Two-Tape Automata are More Powerful Then Deterministic Ones. | Wilfried Brauer, Klaus-Jrn Lange |
| 1985 | Petri Nets and Algebraic Calculi of Processes. | Grard Boudol, Grard Roucairol, Robert de Simone |
| 1985 | Simulation of Large Networks on Smaller Networks. | Hans L. Bodlaender, Jan van Leeuwen |
| 1985 | Deterministic Languages and Non-Generators. | Luc Boasson, Antoine Petit |