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), S. 131 - 147 (Hg. 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), S. 378 - 382 (Hg. 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, S. 378 - 382 (Hg. Ganzinger, H.). Untitled Event, Trento, Italy, 07. Juli 1999 - 10. Juli 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), S. 379 - 409 (Hg. Buchmann, A. P.). Untitled Event, Freiburg, Germany, 01. März 1999 - 03. März 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), S. 57 - 66 (Hg. 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, S. 48 - 54 (Hg. Bell, J.). Untitled Event, Stockholm, Sweden, 23. April 2003 - 27. April 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, S. 49 - 70 (Hg. 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)