Basin, D.; Matthews, S.; Viganò, L.: Labelled propositional modal logics: theory and practice. Max-Planck-Institut für Informatik, Saarbrücken (1996), 46 S.

Baumeister, H.: Using algebraic specification languages for model-oriented specifications. Max-Planck-Institut für Informatik, Saarbrücken (1996), 17 S.

Bradford, P. G.; Reinert, K.: Lower bounds for row minima searching. Max-Planck-Institut für Informatik, Saarbrücken (1996), 12 S.

Breslauer, D.; Jiang, T.; Jiang, Z.: Rotations of periodic strings and short superstrings. Max-Planck-Institut für Informatik, Saarbrücken (1996), 13 S.

Brodal, G. S.; Chaudhuri, S.; Radhakrishnan, J.: The randomized complexity of maintaining the minimum. Max-Planck-Institut für Informatik, Saarbrücken (1996), 12 S.

Burnikel, C.; Könemann, J.: High-precision floating point numbers in LEDA. Max-Planck-Institut für Informatik, Saarbrücken (1996), 47 S.

Burnikel, C.; Mehlhorn, K.; Schirra, S.: The LEDA class real number. Max-Planck-Institut für Informatik, Saarbrücken (1996), 52 S.

Christof, T.; Jünger, M.; Kececioglou, J.; Mutzel, P.; Reinelt, G.: A branch-and-cut approach to physical mapping with end-probes. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.

Das, G.; Kapoor, S.; Smid, M.: On the complexity of approximating Euclidean traveling salesman tours and minimum spanning trees. Max-Planck-Institut für Informatik, Saarbrücken (1996), 14 S.

De Simone, C.; Diehl, M.; Jünger, M.; Mutzel, P.; Reinelt, G.; Rinaldi, G.: Exact ground states of two-dimensional $\pm J$ Ising Spin Glasses. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.

Diks, K.; Hagerup, T.: More general parallel tree contraction: Register allocation and broadcasting in a tree. Max-Planck-Institut für Informatik, Saarbrücken (1996), 24 S.

Dubhashi, D. P.; Priebe, V.; Ranjan, D.: Negative dependence through the FKG Inequality. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.

Finkler, U.; Mehlhorn, K.: Runtime prediction of real programs on real machines. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.

Ganzinger, H.; Waldmann, U.: Theorem proving in cancellative abelian monoids. Max-Planck-Institut für Informatik, Saarbrücken (1996), 46 S.

Garg, N.; Chaudhuri, S.; Ravi, R.: Generalized $k$-Center Problems. Max-Planck-Institut für Informatik, Saarbrücken (1996), 9 S.

Garg, N.; Papatriantafilou, M.; Tsigas, P.: Distributed list coloring: how to dynamically allocate frequencies to mobile base stations. Max-Planck-Institut für Informatik, Saarbrücken (1996), 15 S.

Gasieniec, L.; Indyk, P.; Krysta, P.: External inverse pattern matching. Max-Planck-Institut für Informatik, Saarbrücken (1996), 12 S.

Gasieniec, L.; Jansson, J.; Lingas, A.; Östlin, A.: On the complexity of computing evolutionary trees. Max-Planck-Institut für Informatik, Saarbrücken (1996), 14 S.

Gunopulos, D.; Mannila, H.; Saluja, S.: Discovering all most specific sentences by randomized algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1996), 23 S.

Gupta, P.; Janardan, R.; Smid, M.: A technique for adding range restrictions to generalized searching problems. Max-Planck-Institut für Informatik, Saarbrücken (1996), 9 S.