| 1997 | On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. | Christoph Meinel, Thorsten Theobald |
| 1997 | Counting Problems over the Reals. | Klaus Meer |
| 1997 | Two-Level Contextual Grammars: The Internal Case. | Carlos Martn-Vide, Joan Miquel-Verges, Gheorghe Paun |
| 1997 | Invertible Linear Cellular Automata over z | Giovanni Manzini, Luciano Margara |
| 1997 | Computational Limitations of Stochastic Turing Machines and Arthur-Merlin Games with Small Space Bounds. | Maciej Liskiewicz, Rdiger Reischuk |
| 1997 | Optimal Algorithms for Complete Linkage Clustering in d Dimensions. | Drago Krznaric, Christos Levcopoulos |
| 1997 | Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus. | Jan Krajcek |
| 1997 | Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States. | Ivan Korec |
| 1997 | Minimal Letter Frequency in n-th Power-Free Binary Words. | Roman M. Kolpakov, Gregory Kucherov |
| 1997 | Repetitiveness of D0L-Languages Is Decidable in Polynomial Time. | Yuji Kobayashi, Friedrich Otto |
| 1997 | Relating Conflict-Free Stable Transition and Event Models (Extended Abstract). | Zurab Khasidashvili, John R. W. Glauert |
| 1997 | A Characterization of Abstract Families of Algebraic Power Series. | Georg Karner, Werner Kuich |
| 1997 | On O versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs. | Stasys Jukna, Alexander A. Razborov, Petr Savick, Ingo Wegener |
| 1997 | Complexity of Finding Short Resolution Proofs. | Kazuo Iwama |
| 1997 | Communication Complexity and Sequential Compuation. | Juraj Hromkovic, Georg Schnitger |
| 1997 | Multi-Head Finite Automata: Data-Independent Versus Data-Dependent Computations. | Markus Holzer |
| 1997 | A Topological Generalization of Propositional Linear Time Temporal Logic. | Bernhard Heinemann |
| 1997 | Integrating the Specification Techniques of Graph Transformation and Temporal Logic. | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini |
| 1997 | The Giant Component Threshold for Random Regular Graphs with Edge Faults. | Andreas Goerdt |
| 1997 | On the Dilation of Interval Routing. | Cyril Gavoille |
| 1997 | Simulation as a Correct Transformation of Rewrite Systems. | Wan J. Fokkink, Jaco van de Pol |
| 1997 | A Tile-Based Coordination View of Asynchronous pi-Calculus. | Gian-Luigi Ferrari, Ugo Montanari |
| 1997 | Regulations by Valences. | Henning Fernau, Ralf Stiebe |
| 1997 | Positive Applications of Lattices to Cryptography. | Cynthia Dwork |
| 1997 | On the Generation of Trees by Hyperedge Replacement. | Frank Drewes |