| 1997 | A Linear-Time Heuristic for Minimum Rectangular Coverings (Extended Abstract). Christos Levcopoulos, Joachim Gudmundsson |
| 1997 | A Note on Broadcasting with Linearly Bounded Transmission Faults in Constant Degree Networks. Krzysztof Ciebiera, Adam Malinowski |
| 1997 | A Two-Dimensional Hierarchy for Attributed Tree Transducers. Armin Kühnemann |
| 1997 | Average-Case Analysis via Incompressibility. Ming Li, Paul M. B. Vitányi |
| 1997 | Behavioural Characterizations of Partial Order Logics. Irina B. Virbitskaite, Anzhelika Votintseva |
| 1997 | Bounded Concurrency. Damas P. Gruska |
| 1997 | Cellular Automata Universality Revisited. Bruno Martin |
| 1997 | Concerning the Time Bounds of Existing Shortest Watchman Route Algorithms. Mikael Hammar, Bengt J. Nilsson |
| 1997 | Contextual Grammars with Distributed Catenation and Shuffle. Manfred Kudlek, Solomon Marcus, Alexandru Mateescu |
| 1997 | Criteria to Disprove Context-Freeness of Collage Languages. Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire |
| 1997 | Distributed Acyclic Orientation of Asynchronous Networks. Antonio Calabrese |
| 1997 | Efficient Parallel Computing with Memory Faults. Leszek Gasieniec, Piotr Indyk |
| 1997 | FDT is Undecidable for Finitely Presented Monoids with Solvable Word Problems. Friedrich Otto, Andrea Sattler-Klein |
| 1997 | From Finite Automata toward Hybrid Systems (Extended Abstract). Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
| 1997 | Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings Bogdan S. Chlebus, Ludwik Czaja |
| 1997 | Generalized Rational Relations and their Logical Definability. Christian Choffrut, Leucio Guerra |
| 1997 | Locally Computable Enumerations. Antoni W. Mazurkiewicz |
| 1997 | Logics Which Capture Complexity Classes over the Reals. Felipe Cucker, Klaus Meer |
| 1997 | Lower Bounds in On-Line Geometric Searching. Sven Schuierer |
| 1997 | On Occurrence Net Semantics for Petri Nets with Contacts. Irina A. Lomazova |
| 1997 | On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP. Zenon Sadowski |
| 1997 | On the Average Complexity of the Membership Problem for a Generalized Dyck Language. Markus E. Nebel |
| 1997 | On the Hierarchy of Nondeterministic Branching k-Programs. Elizaveta A. Okol'nishnikova |
| 1997 | Pattern-Matching Problems for 2-Dimensional Images Described by Finite Automata. Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
| 1997 | Polynomial Time Machines Equipped with Word Problems over Algebraic Structures as their Acceptance Criteria. Ulrich Hertrampf |
| 1997 | Proof Systems for Struvtured Algebraic Specifications: An Overview. Rolf Hennicker, Martin Wirsing |
| 1997 | Query Order in the Polynomial Hierarchy. Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel |
| 1997 | Refinement of Coloured Petri Nets. Eike Best, Thomas Thielke |
| 1997 | Stochastic Analysis of Dynamic Processes. Eli Upfal |
| 1997 | Stratified Petri Nets. Éric Badouel, Philippe Darondeau |
| 1997 | Synchronization of 1-Way Connected Processors. Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 1997 | The Complexity Class Theta Thomas Eiter, Georg Gottlob |
| 1997 | The Complexity of Error-Correcting Codes. Daniel A. Spielman |
| 1997 | The Complexity of Universal Text-Learners. Frank Stephan, Sebastiaan Terwijn |
| 1997 | The Complexity of the Coverability, the Containment, and the Equivalence Problems for Commutative Semigroups. Ulla Koppenhagen, Ernst W. Mayr |
| 1997 | The Equivalence of Pebbles and Sensing Heads for Finite Automata. Holger Petersen |
| 1997 | The Subword Complexity of Fixed Points of Binary Uniform Morphisms. Anna E. Frid |
| 1997 | Towards Optimal Locality in Mesh-Indexings. Rolf Niedermeier, Klaus Reinhardt, Peter Sanders |
| 1997 | Trade-Off Results for Connection Management. Marios Mavronicolas, Nikos Papadakis |
| 1997 | Unique Normal Forms for Nonlinear Term Rewriting Systems: Root Overlaps. Rakesh M. Verma |
| 1997 | k-k Sorting on the Multi-Mesh. Alfons Avermiddig, Manfred Kunde, Andre Osterloh |