Radhakrishnan, J.; Saluja, S.: Interactive Proof Systems. Max-Planck-Institut für Informatik, Saarbrücken (1995), 121 pp.

Rüb, C.: On the average running time of odd-even merge sort. Max-Planck-Institut für Informatik, Saarbrücken (1995), 16 pp.

Sibeyn, J. F.: Overview of mesh results. Max-Planck-Institut für Informatik, Saarbrücken (1995), 22 pp.

Sibeyn, J. F.: Sample sort on meshes. Max-Planck-Institut für Informatik, Saarbrücken (1995), 14 pp.

Smid, M.: Closest point problems in computational geometry. Max-Planck-Institut für Informatik, Saarbrücken (1995), 62 pp.

Smid, M.; Thiel, C.; Follert, F.; Schömer, E.; Sellen, J.: Computing a largest empty anchored cylinder, and related problems. Max-Planck-Institut für Informatik, Saarbrücken (1995), 17 pp.

Vorobyov, S.: Proof normalization and subject reduction in extensions of Fsub. Max-Planck-Institut für Informatik, Saarbrücken (1995), 18 pp.

Ohlbach, H. J.: Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination, (1995)