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), S. 105 - 124 (Hg. Suciu, D.; Vossen, G.). Untitled Event, Dallas, Texas, USA, 18. Mai 2000 - 19. Mai 2000. Springer, Heidelberg, GER (2000)

Van Laerhoven, K.; Cakmakci, O.: What Shall We Teach Our Pants? In: The Fourth International Symposium on Wearable Computers, S. 77 - 86. Fourth International Symposium on Wearable Computers, Atlanta, GA, USA, 16. Oktober 2000 - 17. Oktober 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, S. 145 - 152 (Hg. Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 5th International Fall Workshop on Vision, Modeling, and Visualization, Saarbrücken, Germany, 22. November 2000 - 24. November 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, S. 685 - 686. ICEDE 2000, San Diego, U.S.A., 28. Februar 2000 - 03. März 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), S. 38 - 42 (Hg. 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), S. 37 - 48 (Hg. 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), S. 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, S. 97 - 108 (Hg. 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), S. 126 - 133. Untitled Event, San Francisco, California, USA, 03. Juni 2000 - 05. Juni 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 S., 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 S., 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)