Gupta, P.; Janardan, R.; Smid, M.: Efficient algorithms for counting and reporting pairwise intersections between convex polygons. Max-Planck-Institut für Informatik, Saarbrücken (1996), 11 S.

Hagerup, T.: Vorlesungsskript Komplexitätstheorie. Max-Planck-Institut für Informatik, Saarbrücken (1996), 156 S.

Hähnle, R.; Kerber, M.; Weidenbach, C.: Common Syntax of the DFG-Schwerpunktprogramm ''Deduktion''. Universität Karlsruhe, Karlsruhe (1996)

Herzig, A.: SCAN and systems of conditional logic. Max-Planck-Institut für Informatik, Saarbrücken (1996), 33 S.

Hopf, J.: Optimizing Photo Mask Layout for Grey‐tone Lithography. IBFI, IBFI GmbH, Schloss Dagstuhl, D‐66687 Wadern, Germany (1996)

Jünger, M.; Mutzel, P.: 2-Layer straigthline crossing minimization: performance of exact and heuristic algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1996), 14 S.

Mahajan, S.; Hariharan, R.: Derandomizing semidefinite programming based approximation algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1996), 22 S.

Mavronicolas, M.; Papatriantafilou, M.; Tsigas, P.: The impact of timing on linearizability in counting networks. Max-Planck-Institut für Informatik, Saarbrücken (1996), 19 S.

Mehlhorn, K.; Näher, S.; Schirra, S.; Seel, M.; Uhrig, C.: A computational basis for higher-dimensional computational geometry. Max-Planck-Institut für Informatik, Saarbrücken (1996), 120 S.

Mutzel, P.; Odenthal, T.; Scharbrodt, M.: The thickness of graphs: a survey. Max-Planck-Institut für Informatik, Saarbrücken (1996), 18 S.

Nonnengart, A.: Strong skolemization. Max-Planck-Institut für Informatik, Saarbrücken (1996), 16 S.

Nonnengart, A.: Auxiliary modal operators and the characterization of modal frames. Max-Planck-Institut für Informatik, Saarbrücken (1996), 37 S.

Reinert, K.; Lenhof, H.-P.; Mutzel, P.; Mehlhorn, K.; Kececioglou, J.: A branch-and-cut algorithm for multiple sequence alignment. Max-Planck-Institut für Informatik, Saarbrücken (1996), 15 S.

Rieger, J.: Proximity in arrangements of algebraic sets. Max-Planck-Institut für Informatik, Saarbrücken (1996), 25 S.

Saluja, S.; Gupta, P.: Optimal algorithms for some proximity problems on the Gaussian sphere with applications. Max-Planck-Institut für Informatik, Saarbrücken (1996), 8 S.

Seel, M.: A runtime test of integer arithmetic and linear algebra in LEDA. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.

Sibeyn, J. F.; Rao, P. S.; Juurlink, B. H. H.: Gossiping on meshes and tori. Max-Planck-Institut für Informatik, Saarbrücken (1996), 19 S.

Struth, G.: Non-symmetric rewriting. Max-Planck-Institut für Informatik, Saarbrücken (1996), 20 S.

Träff, J. L.; Zaroliagis, C.: A simple parallel algorithm for the single-source shortest path problem on planar diagraphs. Max-Planck-Institut für Informatik, Saarbrücken (1996), 17 S.

Vingron, M.; Lenhof, H.-P.; Mutzel, P.: Computational Molecular Biology. Max-Planck-Institut für Informatik, Saarbrücken (1996), 26 S.