Waldmann, U.: Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), pp. 131 - 147 (Eds. Ganzinger, H.; McAllester, D.; Voronkov, A.). Untitled Event, Tbilisi, Georgia, 1999. Springer, Berlin, Germany (1999)

Weidenbach, C.: Towards an Automatic Analysis of Security Protocols in First-Order Logic. In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), pp. 378 - 382 (Ed. Ganzinger, H.). Untitled Event, Trento, Italy, 1999. Springer, Berlin, Germany (1999)

Weidenbach, C.; Afshordel, B.; Brahm, U.; Cohrs, C.; Engel, T.; Keen, E.; Theobalt, C.; Topic, D.: System Description: SPASS Version 1.0.0. In: Automated deduction (CADE-16) : 16th international conference on automated deduction, pp. 378 - 382 (Ed. Ganzinger, H.). Untitled Event, Trento, Italy, July 07, 1999 - July 10, 1999. Springer, New York, NY, USA (1999)

Weikum, G.: Towards Guaranteed Quality and Dependability of Information Services. In: Proceedings der 8. GI-Fachtagung für Datenbanksysteme in Büro, Technik und Wissenschaft (BTW 99), pp. 379 - 409 (Ed. Buchmann, A. P.). Untitled Event, Freiburg, Germany, March 01, 1999 - March 03, 1999. Springer, Berlin (1999)

Weydert, E.: JZBR - Iterated Belief Change for Conditional Ranking Constraints. In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), pp. 57 - 66 (Eds. Rott, H.; Albert, C.; Brewka, G.; Witteveen, C.). Untitled Event, Amsterdam, The Netherlands, 1999. ILLC Scientific Publications, Amsterdam, The Netherlands (1999)

Weydert, E.; van der Torre, L. W. N.: Risk parameters for utilitarian desires. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-99), Workshop on Practial Reasoning and Rationality, pp. 48 - 54 (Ed. Bell, J.). Untitled Event, Stockholm, Sweden, April 23, 2003 - April 27, 2003. IJCAI, Stockholm, Sweden (1999)

Zeilfelder, F.; Davydov, O.; Nürnberger, G.: Interpolation by splines on triangulations. In: New Developments in Approximation Theory. 2nd International Dortmund Meeting (IDoMAT) ’98, pp. 49 - 70 (Eds. Müller, M. W.; Buhmann, M. D.; Mache, D. H.; Felten, M.). Untitled Event, Witten, Germany, 1999. Birkhäuser, Basel, Switzerland (1999)

Baumeister, H.: Relations between Abstract Datatypes modeled as Abstract Datatypes. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Heidrich, W.: High-quality Shading and Lighting for Hardware-accelerated Rendering. Dissertation, Universität Erlangen-Nürnberg, Erlangen (1999)

Hustadt, U.: Resolution-Based Decision Procedures for Subclasses of First-Order Logic. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Meyer, C.: Soft Typing for Clausal Inference Systems. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Müller, P.: Parallel molecular dynamics simulations for synthetic polymers. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Reinert, K.: A polyhedral approach to sequence alignment problems. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Stamminger, M.: Finite Element Methods for Global Illumination Computations. Dissertation, Universität Erlangen-Nürnberg, Erlangen (1999)

Struth, G.: Canonical Transformation in Algebra, Universal Algebra and Logic. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Albers, S.: Online-Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Fleischer, R.: Effiziente und Online-Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Lenhof, H.-P.: Bioinformatik. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Sibeyn, J.: Effiziente parallele Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Brabec, S.: Lumigraphen von Lichtquellen. Master, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen-Nürnberg (1999)