Thiel, C.: Effiziente Algorithmen für Probleme der Kollisionserkennung und der geometrischen Optimierung. Dissertation, Universität des Saarlandes, Saarbrücken (1996)

Weidenbach, C.: Computational Aspects of a First-Order Logic with Sorts. Dissertation, Universität des Saarlandes, Saarbrücken (1996)

Bockmayr, A.: Gleichheit und Constraints in der Logikprogrammierung. Habilitation, Universität des Saarlandes, Saarbrücken (1996)

Autexier, S.: Heuristiken zum Beweisen von Gleichungen. Master, Universität des Saarlandes, Saarbrücken (1996)

Bach, A.: Static analysis of functional programs via Linear Logic. Master, Universität des Saarlandes, Saarbrücken (1996)

Becker, J.: Allgemeine approximative Kongruenz zweier Punktmengen im R³. Master, Universität des Saarlandes, Saarbrücken (1996)

Blanchebarbe, M.: Untersuchung zur Implementierung eines parallelen Algorithmus mit guter asymptotischer Laufzeit auf einem Rechner mit verteiltem Speicher und Message-Passing. Master, Universität des Saarlandes, Saarbrücken (1996)

Boullay, J.: Eine parallelisierbare Heuristik für das Min-Cost-Flow Problem. Master, Universität des Saarlandes, Saarbrücken (1996)

Dorchain, J.: An Implementation of a Convex Hull Algorithm Version 2.0. Master, Universität des Saarlandes, Saarbrücken (1996)

Engel, T.: Quantifier Elimination in Second-Order Predicate Logic. Master, Universität des Saarlandes, Saarbrücken (1996)

Hilpert, P.: Heuristiken für das euklidische Travelling Salesman Problem. Master, Universitat des Saarlandes, Saarbrücken (1996)

Jung, K.: Die hierarchische Darstellung konvexer Polyeder und einige Anwendungen. Master, Universität des Saarlandes, Saarbrücken (1996)

Ksinsik, P.: Approximative Bewegungsplanung für einen rechteckigen Roboter mit Hilfe von Voronoidiagrammen. Master, Universität des Saarlandes, Saarbrücken (1996)

Lutter, S.: Ein Bewegungsplanungsalgorithmus für zwei Rechtecke mit einem gemeinsamen Eckpunkt. Master, Universität des Saarlandes, Saarbrücken (1996)

Meyer, C.: Parallel Unit Resulting Resolution. Master, Universität des Saarlandes, Saarbrücken (1996)

Rottmann, K.-D.: Bewegung eines Polygons zwischen polygonalen Hindernisse. Master, Universität des Saarlandes, Saarbrücken (1996)

Schlobach, S.: Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung. Master, Universität des Saarlandes, Saarbrücken (1996)

Smaus, J. -. G.: Finding Resolution K-Transformations. Master, Universität des Saarlandes, Saarbrücken (1996)

Srivastava, S.: Entwicklung und Implementierung eines Entscheidungsalgorithmus zur Zuordnung von Probleminstanzen an Hierarchieebenen. Master, Universität des Saarlandes, Saarbrücken (1996)

Albers, S.; Westbrook, J.: A survey of self-organizing data structures. Max-Planck-Institut für Informatik, Saarbrücken (1996), 39 pp.