| 1997 | Memory Management for Union-Find Algorithms. | Christophe Fiorio, Jens Gustedt |
| 1997 | A Better Upper Bound on the Bisection Width of de Bruijn Networks (Extended Abstract). | Rainer Feldmann, Burkhard Monien, Peter Mysliwietz, Stefan Tschke |
| 1997 | An Information-Theoretic Treatment of Random-Self-Reducibility (Extended Abstract). | Joan Feigenbaum, Martin Strauss |
| 1997 | Las Vegas Versus Determinism for One-way Communication Complexity, Finite Automata, and Polynomial-time Computations. | Pavol Duris, Juraj Hromkovic, Jos D. P. Rolim, Georg Schnitger |
| 1997 | Intrinsic Universality of a 1-Dimensional Reversible Cellular Automaton. | Jrme Olivier Durand-Lose |
| 1997 | Gossiping and Broadcasting versus Computing Functions in Networks. | Martin Dietzfelbinger |
| 1997 | Removing epsilon-Transitions in Timed Automata. | Volker Diekert, Paul Gastin, Antoine Petit |
| 1997 | Sequential and Parallel Algorithms on Compactly Represented Chordal and Strongly Chordal Graphs. | Elias Dahlhaus |
| 1997 | On Ergodic Linear Cellular Automata over Z | Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini, Luciano Margara |
| 1997 | On the Classification of Computable Languages. | John Case, Efim B. Kinber, Arun Sharma, Frank Stephan |
| 1997 | The Computational Complexity of Some Problems of Linear Algebra (Extended Abstract). | Jonathan F. Buss, Gudmund Skovbjerg Frandsen, Jeffrey O. Shallit |
| 1997 | Resource-Bounded Kolmogorov Complexity Revisited. | Harry Buhrman, Lance Fortnow |
| 1997 | Predecessor Queries in Dynamic Integer Sets. | Gerth Stlting Brodal |
| 1997 | Equivalence of Measures of Complexity Classes. | Josef M. Breutzmann, Jack H. Lutz |
| 1997 | Protocols for Collusion-Secure Asymmetric Fingerprinting (Extended Abstract). | Ingrid Biehl, Bernd Meyer |
| 1997 | MOD | Claudia Bertram-Kretzberg, Hanno Lefmann |
| 1997 | Better Algorithms for Minimum Weight Vertex-Connectivity Problems. | Vincenzo Auletta, Domenico Parente |
| 1997 | Efficient Construction of Hitting Sets for Systems of Linear Functions. | Alexander E. Andreev, Andrea E. F. Clementi, Jos D. P. Rolim |
| 1997 | Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. | Luca de Alfaro, Arjun Kapur, Zohar Manna |
| 1997 | Temporal Logics for the Specification of Performance and Reliability. | Luca de Alfaro |
| 1996 | Monadic Second Order Logic on Tree-Like Structures. | Igor Walukiewicz |
| 1996 | Extracting Best Consensus Motifs from Positive and Negative Examples. | Erika Tateishi, Osamu Maruyama, Satoru Miyano |
| 1996 | Compositional Specification of Timed Systems (Extended Abstract). | Joseph Sifakis, Sergio Yovine |
| 1996 | On Bijections vs. Unary Functions. | Thomas Schwentick |
| 1996 | Flip-Flop Nets. | Vincent Schmitt |