Boghossian, N.; Kohlbacher, O.; Lenhof, H.-P.: BALL: Biochemical Algorithms Library. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.

Burnikel, C.; Mehlhorn, K.; Seel, M.: A simple way to recognize a correct Voronoi diagram of line segments. Max-Planck-Institut für Informatik, Saarbrücken (1999), 11 S.

Charatonik, W.: Automata on DAG representations of finite trees. Max-Planck-Institut für Informatik, Saarbrücken (1999), 30 S.

Cortier, V.; Ganzinger, H.; Jacquemard, F.; Veanes, M.: Decidable fragments of simultaneous rigid reachability. Max-Planck-Institut für Informatik, Saarbrücken (1999), 19 S.

Crauser, A.; Ferragina, P.: A theoretical and experimental study on the construction of suffix arrays in external memory. Max-Planck-Institut für Informatik, Saarbrücken (1999), 40 S.

Delzanno, G.; Raskin, J.-F.: Symbolic representation of upward-closed sets. Max-Planck-Institut für Informatik, Saarbrücken (1999), 24 S.

Haber, J.; Seidel, H.-P.: A framework for evaluating the quality of lossy image compression. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.

Henzinger, T. A.; Raskin, J.-F.; Schobbens, P.-Y.: Axioms for real-time logics. Max-Planck-Institut für Informatik, Saarbrücken (1999), 31 S.

Henzinger, T. A.; Raskin, J.-F.; Schobbens, P.-Y.: Fully decidable logics, automata and classical theories for defining regular real-time languages. Max-Planck-Institut für Informatik, Saarbrücken (1999), 102 S.

Nissen, M.: Integration of graph iterators into LEDA. Max-Planck-Institut für Informatik, Saarbrücken (1999), 39 S.

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.

Banderier, C.: An Introduction to Analytic Number Theory, (1999)