Seidel, T.: Paralleles List Ranking. Master, Universität des Saarlandes, Saarbrücken (1997)

Timm, J.-G.: Testing the Satisfiability of RPO Constraints. Master, Universität des Saarlandes, Saarbrücken (1997)

Weiskircher, R.: 2-Schicht-Planarisierung bipartiter Graphen. Master, Universität des Saarlandes, Saarbrücken (1997)

Ziegenbein, K.: Bewertung verschiedener paarweiser Alignment-Methoden, Ersetzungsmatrizen und Gap-Funktionen. Master, Universität des Saarlandes, Saarbrücken (1997)

Third Biennial Report: March 1995 - April 1997 (Biennial Report / Max-Planck-Institut für Informatik, 3). Max-Planck-Institut für Informatik, Saarbrücken (1997), 219 pp.

Albers, S.: Better bounds for online scheduling. Max-Planck-Institut für Informatik, Saarbrücken (1997), 16 pp.

Albers, S.; Henzinger, M. R.: Exploring unknown environments. Max-Planck-Institut für Informatik, Saarbrücken (1997), 23 pp.

Alberts, D.; Gutwenger, C.; Mutzel, P.; Näher, S.: AGD-Library: A Library of Algorithms for Graph Drawing. Max-Planck-Institut für Informatik, Saarbrücken (1997), 13 pp.

Althaus, E.; Mehlhorn, K.: Maximum network flow with floating point arithmetic. Max-Planck-Institut für Informatik, Saarbrücken (1997), 5 pp.

Bachmair, L.; Ganzinger, H.: Strict basic superposition and chaining. Max-Planck-Institut für Informatik, Saarbrücken (1997), 22 pp.

Bachmair, L.; Ganzinger, H.: A theory of resolution. Max-Planck-Institut für Informatik, Saarbrücken (1997), 79 pp.

Bachmair, L.; Ganzinger, H.; Voronkov, A.: Elimination of equality via transformation with ordering constraints. Max-Planck-Institut für Informatik, Saarbrücken (1997), 18 pp.

Basin, D. A.; Matthews, S.; Viganò, L.: Labelled modal logics: quantifiers. Max-Planck-Institut für Informatik, Saarbrücken (1997), 31 pp.

Blackburn, P.; Tzakova, M.: Two hybrid logics. Max-Planck-Institut für Informatik, Saarbrücken (1997), 33 pp.

Bockmayr, A.; Eisenbrand, F.: On the Chvátal rank of polytopes in the 0/1 cube. Max-Planck-Institut für Informatik, Saarbrücken (1997), 12 pp.

Bockmayr, A.; Kasper, T.: A unifying framework for integer and finite domain constraint programming. Max-Planck-Institut für Informatik, Saarbrücken (1997), 24 pp.

Brandenburg, F. J.; Jünger, M.; Mutzel, P.: Algorithmen zum automatischen Zeichnen von Graphen. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 pp.

Brodal, G. S.: Finger search trees with constant insertion time. Max-Planck-Institut für Informatik, Saarbrücken (1997), 17 pp.

Brodal, G. S.; Träff, J. L.; Zaroliagis, C.: A parallel priority queue with constant time operations. Max-Planck-Institut für Informatik, Saarbrücken (1997), 19 pp.

Charatonik, W.; Podelski, A.: Solving set constraints for greatest models. Max-Planck-Institut für Informatik, Saarbrücken (1997), 12 pp.