Gupta, P.; Janardan, J.; Smid, M.: Fast algorithms for collision and proximity problems involving moving geometric objects. Max-Planck-Institut für Informatik, Saarbrücken (1994), 22 S.

Gupta, P.; Janardan, R.; Smid, M.; Dasgupta, B.: The rectangle enclosure and point-dominance problems revisited. Max-Planck-Institut für Informatik, Saarbrücken (1994), 16 S.

Hanus, M.: On extra variables in (Equational) logic programming. Max-Planck-Institut für Informatik, Saarbrücken (1994), 33 S.

Hanus, M.: The integration of functions into logic programming: a survey. Max-Planck-Institut für Informatik, Saarbrücken (1994), 48 S.

Genetic algorithms within the framework of evolutionary computation: Proceedings of the KI-94 Workshop. Max-Planck-Institut für Informatik, Saarbrücken (1994), 161 S.

Jaeger, M.: A probabilistic extension of terminological logics. Max-Planck-Institut für Informatik, Saarbrücken (1994), 64 S.

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 S.

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

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

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 S.

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

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 S.

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

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 S.

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 S.

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 S.

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

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

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

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