Kargaris, D.; Pantziou, G. E.; Tragoudas, S.; Zaroliagis, C.: Quickest paths: faster algorithms and dynamization. Max-Planck-Institut für Informatik, Saarbrücken (1994), 15 pp.

Karpinksi, M.; Zelikovsky, A.: Further improvements of Steiner tree approximations. Max-Planck-Institut für Informatik, Saarbrücken (1994), 10 pp.

Kaufmann, M.; Meyer, U.; Sibeyn, J. F.: Towards practical permutation routing on meshes. Max-Planck-Institut für Informatik, Saarbrücken (1994), 11 pp.

Kavvadias, G.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: Hammock-on-ears decomposition: a technique for the efficient parallel solution of shortest paths and other problems. Max-Planck-Institut für Informatik, Saarbrücken (1994), 38 pp.

Formal methods of automated program improvement. Max-Planck-Institut für Informatik, Saarbrücken (1994), 12 pp.

Madden, P.: A survey of program transformation with special reference to unfold/fold style program development. Max-Planck-Institut für Informatik, Saarbrücken (1994), 36 pp.

Madden, P.: Recursive program optimization through inductive synthesis proof transformation. Max-Planck-Institut für Informatik, Saarbrücken (1994), 44 pp.

Mehlhorn, K.; Mutzel, P.: On the embedding phase of the Hopcroft and Tarjan planarity testing algorithm. Max-Planck-Institut für Informatik, Saarbrücken (1994), 8 pp.

Mehlhorn, K.; Näher, S.: Implementation of a sweep line algorithm for the Straight \& Line Segment Intersection Problem. Max-Planck-Institut für Informatik, Saarbrücken (1994), 41 pp.

Müller, M.; Ziegler, J.: An implementation of a Convex Hull Algorithm, Version 1.0. Max-Planck-Institut für Informatik, Saarbrücken (1994), 63 pp.

Temporal logic: Proceedings of the ICTL Workshop. Max-Planck-Institut für Informatik, Saarbrücken (1994), 116 pp.

Ohlbach, H. J.: Computer support for the development and investigation of logics. Max-Planck-Institut für Informatik, Saarbrücken (1994), 24 pp.

Ohlbach, H. J.: Synthesizing semantics for extensions of propositional logic. Max-Planck-Institut für Informatik, Saarbrücken (1994), 45 pp.

Ohlbach, H. J.; Gabbay, M. J.; Plaisted, D.: Killer transformation. Max-Planck-Institut für Informatik, Saarbrücken (1994), 45 pp.

Plaisted, D.: Ordered semantic hyper-linking. Max-Planck-Institut für Informatik, Saarbrücken (1994), 22 pp.

Plaisted, D.: The search efficiency of theorem proving strategies: an analytical comparison. Max-Planck-Institut für Informatik, Saarbrücken (1994), 40 pp.

Plaisted, D.: An abstract program generation logic. Max-Planck-Institut für Informatik, Saarbrücken (1994), 58 pp.

Schömer, E.; Thiel, C.: Efficient collision detection for moving polyhedra. Max-Planck-Institut für Informatik, Saarbrücken (1994), 24 pp.

Sibeyn, J. F.: Desnakification of mesh sorting algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1994), 21 pp.

Simpson, A. K.: Reflection using the derivability conditions. Max-Planck-Institut für Informatik, Saarbrücken (1994), 14 pp.