| 1997 | Cellular Automata Universality Revisited. | Bruno Martin |
| 1997 | On Occurrence Net Semantics for Petri Nets with Contacts. | Irina A. Lomazova |
| 1997 | Average-Case Analysis via Incompressibility. | Ming Li, Paul M. B. Vitnyi |
| 1997 | A Linear-Time Heuristic for Minimum Rectangular Coverings (Extended Abstract). | Christos Levcopoulos, Joachim Gudmundsson |
| 1997 | A Two-Dimensional Hierarchy for Attributed Tree Transducers. | Armin Khnemann |
| 1997 | Contextual Grammars with Distributed Catenation and Shuffle. | Manfred Kudlek, Solomon Marcus, Alexandru Mateescu |
| 1997 | The Complexity of the Coverability, the Containment, and the Equivalence Problems for Commutative Semigroups. | Ulla Koppenhagen, Ernst W. Mayr |
| 1997 | Pattern-Matching Problems for 2-Dimensional Images Described by Finite Automata. | Juhani Karhumki, 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 | Concerning the Time Bounds of Existing Shortest Watchman Route Algorithms. | Mikael Hammar, Bengt J. Nilsson |
| 1997 | Bounded Concurrency. | Damas P. Gruska |
| 1997 | Efficient Parallel Computing with Memory Faults. | Leszek Gasieniec, Piotr Indyk |
| 1997 | The Subword Complexity of Fixed Points of Binary Uniform Morphisms. | Anna E. Frid |
| 1997 | The Complexity Class Theta | Thomas Eiter, Georg Gottlob |
| 1997 | Criteria to Disprove Context-Freeness of Collage Languages. | Frank Drewes, Hans-Jrg Kreowski, Denis Lapoire |
| 1997 | Logics Which Capture Complexity Classes over the Reals. | Felipe Cucker, Klaus Meer |
| 1997 | A Note on Broadcasting with Linearly Bounded Transmission Faults in Constant Degree Networks. | Krzysztof Ciebiera, Adam Malinowski |
| 1997 | Generalized Rational Relations and their Logical Definability. | Christian Choffrut, Leucio Guerra |
| 1997 | Distributed Acyclic Orientation of Asynchronous Networks. | Antonio Calabrese |
| 1997 | Refinement of Coloured Petri Nets. | Eike Best, Thomas Thielke |
| 1997 | Stratified Petri Nets. | ric Badouel, Philippe Darondeau |
| 1997 | k-k Sorting on the Multi-Mesh. | Alfons Avermiddig, Manfred Kunde, Andre Osterloh |
| 1995 | Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics. | Klaus-Dieter Schewe |