Theobald, A.; Weikum, G.: Adding Relevance to XML. In: Proceedings of the Third International Workshop The World Wide Web and Databases, WebDB 2000 (Selected Papers), pp. 105 - 124 (Eds. Suciu, D.; Vossen, G.). Untitled Event, Dallas, Texas, USA, May 18, 2000 - May 19, 2000. Springer, Heidelberg, GER (2000)

Van Laerhoven, K.; Cakmakci, O.: What Shall We Teach Our Pants? In: The Fourth International Symposium on Wearable Computers, pp. 77 - 86. Fourth International Symposium on Wearable Computers, Atlanta, GA, USA, October 16, 2000 - October 17, 2000. IEEE Computer Society, Los Alamitos, CA (2000)

Vorsatz, J.; Kähler, K.; Kobbelt, L. P.; Seidel, H.-P.: Linear Time Mesh Simplification with Reliable Error-Bounds. In: Proceedings of Vision, Modeling, and Visualization 2000, pp. 145 - 152 (Eds. Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 5th International Fall Workshop on Vision, Modeling, and Visualization, Saarbrücken, Germany, November 22, 2000 - November 24, 2000. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2000)

Weißenfels, J.; Gillmann, M.; Roth, O.; Shegalov, G.; Wonner, W.: The Mentor-Lite Prototype: A Light-Weight Workflow Management System. In: Proceedings of the 16th International Conference on Data Engineering, pp. 685 - 686. ICEDE 2000, San Diego, U.S.A., February 28, 2000 - March 03, 2000. IEEE, Los Alamitos, U.S.A. (2000)

Weydert, E.: How to revise ranked probabilities. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), pp. 38 - 42 (Ed. Horn, W.). Untitled Event, Berlin, Germany, 2000. IOS Press, Amsterdam, the Netherlands (2000)

Weydert, E.: Rankings in flux. In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), pp. 37 - 48 (Eds. Cunningham, J.; Gabbay, D.). Untitled Event, London, United Kingdom, 2000. Imperial College Department of Computing, London, UK (2000)

Weydert, E.: Thoughts on Evolving Science and Belief. In: Proceedings of the Workshop "Scientific Reasoning in AI and Philosophy of Science" at the 14th European Conference on Artificial Intelligence (ECAI-00), pp. 62 - 69. Untitled Event, Berlin, Germany, 2000. ECAI, Berlin, Germany (2000)

Yamauchi, H.; Maeda, A.: Java in the Real World - Java ha dokomade tukaeru gengoka. In: Dai 41 kai puroguramingu sinpojiumu, pp. 97 - 108 (Ed. Ogawa, T.). Untitled Event, Hakone, Japan, 2000. Information Processing Society of Japan, Tokyo, Japan (2000)

Yamauchi, H.; Maeda, A.; Kobayashi, H.: Developing a practical parallel multi-pass renderer in Java and C++: Toward a Grande application in Java. In: Proceedings of the ACM 2000 Java Grande Conference (JAVA-00), pp. 126 - 133. Untitled Event, San Francisco, California, USA, June 03, 2000 - June 05, 2000. ACM, New York, USA (2000)

Bast, H.: Provably Optimal Scheduling of Similar Tasks. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Eisenbrand, F.: Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Gergov, J.: Algorithms for Interval Coloring, Geometric Packing and Memory Optimization. Dissertation, 225 pp., Universität des Saarlandes, Saarbrücken (2000)

Kohlbacher, O.: New Approaches to Protein Docking. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Schilz, T.: Effiziente Algorithmen für das verteilte Rechnen auf Workstation-Clustern. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Stuber, J.: Superposition Theorem Proving for Commutative Algebraic Theories. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Tzakova, M.: Hybrid Languages. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Ziegler, T.: Crossing Minimization in Automatic Graph Drawing. Dissertation, 179 pp., Universität des Saarlandes, Saarbrücken (2000)

Weidenbach, C.: Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen. Habilitation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, Saarbrücken (2000)

Ashoff, O.: Agorithmen der modularen Arithmetik. Master, Universität des Saarlandes, Saarbrücken (2000)

Behrens, C.: Solid Modeling durch Boolesche Operationen. Master, Universität des Saarlandes, Saarbrücken (2000)