2nd Workshop on Algorithm Engineering WAE '98 -- Proceedings. Max-Planck-Institut für Informatik, Saarbrücken (1998), 213 S.

Meyer, U.; Sibeyn, J.: Time-independent gossiping on full-port tori. Max-Planck-Institut für Informatik, Saarbrücken (1998), 20 S.

Mutzel, P.; Weiskircher, R.: Optimizing over all combinatorial embeddings of a planar graph. Max-Planck-Institut für Informatik, Saarbrücken (1998), 23 S.

Ramangalahy, S.: Strategies for conformance testing. Max-Planck-Institut für Informatik, Saarbrücken (1998), 24 S.

Rüb, C.: On Wallace's method for the generation of normal variates. Max-Planck-Institut für Informatik, Saarbrücken (1998), 17 S.

Schirra, S.: Robustness and precision issues in geometric computation. Max-Planck-Institut für Informatik, Saarbrücken (1998), 34 S.

Schirra, S.: Parameterized implementations of classical planar convex hull algorithms and extreme point compuations. Max-Planck-Institut für Informatik, Saarbrücken (1998), 93 S.

Schmidt, R. A.: E-unification for subsystems of S4. Max-Planck-Institut für Informatik, Saarbrücken (1998), 30 S.

Sofronie-Stokkermans, V.: Resolution-based Theorem Proving for SHn-Logics. Technische Universität Wien, Vienna, Austria (1998)

Solis-Oba, R.: 2-Approximation algorithm for finding a spanning tree with maximum number of leaves. Max-Planck-Institut für Informatik, Saarbrücken (1998), 16 S.

Tzakova, M.; Blackburn, P.: Hybridizing concept languages. Max-Planck-Institut für Informatik, Saarbrücken (1998), 33 S.

Veanes, M.: The relation between second-order unification and simultaneous rigid \sl E-unification. Max-Planck-Institut für Informatik, Saarbrücken (1998), 26 S.

Vorobyov, S.: The undecidability of the first-order theories of one step rewriting in linear canonical systems. Max-Planck-Institut für Informatik, Saarbrücken (1998), 59 S.

Vorobyov, S.: AE-Equational theory of context unification is Co-RE-Hard. Max-Planck-Institut für Informatik, Saarbrücken (1998), 20 S.

Vorobyov, S.: The most nonelementary theory (a direct lower bound proof). Max-Planck-Institut für Informatik, Saarbrücken (1998), 36 S.

Vorobyov, S.: Satisfiability of Functional+Record Subtype Constraints is NP-Hard. Max-Planck-Institut für Informatik, Saarbrücken (1998), 16 S.

Third Biennial Report: March 1995 - April 1997 (Biennial Report / Max-Planck-Institut für Informatik, 3). Max-Planck-Institut für Informatik, Saarbrücken (1997), 219 S.

Albers, S.: Better bounds for online scheduling. Max-Planck-Institut für Informatik, Saarbrücken (1997), 16 S.

Albers, S.; Henzinger, M. R.: Exploring unknown environments. Max-Planck-Institut für Informatik, Saarbrücken (1997), 23 S.

Alberts, D.; Gutwenger, C.; Mutzel, P.; Näher, S.: AGD-Library: A Library of Algorithms for Graph Drawing. Max-Planck-Institut für Informatik, Saarbrücken (1997), 13 S.