| 1997 | DNA²DNA Computations: A Potential "Killer App"? | Laura F. Landweber, Richard J. Lipton |
| 1997 | Improving Spanning Trees by Upgrading Nodes. | Sven Oliver Krumke, Madhav V. Marathe, Hartmut Noltemeier, R. Ravi, S. S. Ravi, Ravi Sundaram, Hans-Christoph Wirth |
| 1997 | The Geometry of Orthogonal Reduction Spaces. | Zurab Khasidashvili, John R. W. Glauert |
| 1997 | Efficient Array Partitioning. | Sanjeev Khanna, S. Muthukrishnan, Steven Skiena |
| 1997 | The Expressibility of Languages and Relations by Word Equations. | Juhani Karhumki, Wojciech Plandowski, Filippo Mignosi |
| 1997 | Constrained Bipartite Edge Coloring with Applications to Wavelength Routing. | Christos Kaklamanis, Pino Persiano, Thomas Erlebach, Klaus Jansen |
| 1997 | Recognizability Equals Definability for Partial k-Paths. | Valentine Kabanets |
| 1997 | Approximation Results for the Optimum Cost Partition Problem. | Klaus Jansen |
| 1997 | Bisimulation Equivalence is Decidable for One-Counter Processes. | Petr Jancar |
| 1997 | Game Theoretic Analysis of Call-by-Value Computation. | Kohei Honda, Nobuko Yoshida |
| 1997 | Discrete-Time Control for Rectangular Hybrid Automata. | Thomas A. Henzinger, Peter W. Kopke |
| 1997 | Maintaining Minimum Spanning Trees in Dynamic Graphs. | Monika Rauch Henzinger, Valerie King |
| 1997 | Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System is Complete for Parallel Access to NP. | Edith Hemaspaandra, Lane A. Hemaspaandra, Jrg Rothe |
| 1997 | Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). | David Harel, Eli Singerman |
| 1997 | Dynamic Algorithms for Graphs of Bounded Treewidth. | Torben Hagerup |
| 1997 | Monadic Simultaneous Rigid E-Unification and Related Problems. | Yuri Gurevich, Andrei Voronkov |
| 1997 | Efficient Splitting and Merging Algorithms for Order Decomposable Problems (Extended Abstract). | Roberto Grossi, Giuseppe F. Italiano |
| 1997 | An Abstract Data Type for Real Numbers. | Pietro Di Gianantonio |
| 1997 | Refining and Compressing Abstract Domains. | Roberto Giacobazzi, Francesco Ranzato |
| 1997 | Colouring Paths in Directed Symmetric Trees with Applications to WDM Routing. | Luisa Gargano, Pavol Hell, Stephane Perennes |
| 1997 | A Primal-Dual Approach to Approximation of Node-Deletion Problems for Matroidal Properties. | Toshihiro Fujito |
| 1997 | A Proof Theoretical Approach to Communication. | Yuxi Fu |
| 1997 | On Characterization of Escrow Encryption Schemes. | Yair Frankel, Moti Yung |
| 1997 | Axiomatizations for the Perpetual Loop in Process Algebra. | Wan J. Fokkink |
| 1997 | Constructing Big Trees from Short Sequences. | Pter L. Erds, Mike A. Steel, Lszl A. Szkely, Tandy J. Warnow |