Nissen, M.; Weihe, K.: How generic language extensions enable ''open-world'' design in Java. Max-Planck-Institut für Informatik, Saarbrücken (1999), 40 S.

Nonnengart, A.: A deductive model checking approach for hybrid systems. Max-Planck-Institut für Informatik, Saarbrücken (1999), 40 S.

Raskin, J.-F.: Proving a conjecture of Andreka on temporal logic. Max-Planck-Institut für Informatik, Saarbrücken (1999), 13 S.

Raskin, J.-F.; Schobbens, P.-Y.: The logic of event clocks. Max-Planck-Institut für Informatik, Saarbrücken (1999), 41 S.

Sanders, P.; Egner, S.; Korst, J.: Fast concurrent access to parallel disks. Max-Planck-Institut für Informatik, Saarbrücken (1999), 30 S.

Sibeyn, J.: Ultimate parallel list ranking?. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.

Vorobyov, S.: New lower bounds for the expressiveness and the higher-order Matching problem in the simply typed lambda calculus. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.

Waldmann, U.: Cancellative superposition decides the theory of divisible torsion-free abelian groups. Max-Planck-Institut für Informatik, Saarbrücken (1999), 23 S.

Wu, J.: Symmetries in logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1999), 44 S.

Albers, S.; Schmidt, G.: Scheduling with unexpected machine breakdowns. Max-Planck-Institut für Informatik, Saarbrücken (1998), 15 S.

Blackburn, P.; Tzakova, M.: Hybrid Languages and Temporal Logic (Full Version). (1998)

Blackburn, P.; Tzakova, M.: Hybrid languages and temporal logic. Max-Planck-Institut für Informatik, Saarbrücken (1998), 29 S.

Brodal, G. S.; Pinotti, M. C.: Comparator networks for binary heap construction. Max-Planck-Institut für Informatik, Saarbrücken (1998), 11 S.

Brönniman, H.; Kettner, L.; Schirra, S.; Veltkamp, R.: Applications of the generic programming paradigm in the design of CGAL. Max-Planck-Institut für Informatik, Saarbrücken (1998), 12 S.

Burkhardt, S.; Crauser, A.; Ferragina, P.; Lenhof, H.-P.; Rivals, E.; Vingron, M.: $q$-gram based database searching using a suffix array (QUASAR). Max-Planck-Institut für Informatik, Saarbrücken (1998), 11 S.

Burnikel, C.: Delaunay graphs by divide and conquer. Max-Planck-Institut für Informatik, Saarbrücken (1998), 24 S.

Burnikel, C.: Rational points on circles. Max-Planck-Institut für Informatik, Saarbrücken (1998), 14 S.

Burnikel, C.; Ziegler, J.: Fast recursive division. Max-Planck-Institut für Informatik, Saarbrücken (1998), 29 S.

Crauser, A.; Ferragina, P.; Mehlhorn, K.; Meyer, U.; Ramos, E. A.: Randomized external-memory algorithms for some geometric problems. Max-Planck-Institut für Informatik, Saarbrücken (1998), 27 S.

Crauser, A.; Mehlhorn, K.; Althaus, E.; Brengel, K.; Buchheit, T.; Keller, J.; Krone, H.; Lambert, O.; Schulte, R.; Thiel, S. et al.; Westphal, M.; Wirth, R.: On the performance of LEDA-SM. Max-Planck-Institut für Informatik, Saarbrücken (1998), 26 S.