Hochschulschrift - Habilitation (1)
241.
Hochschulschrift - Habilitation
Direktionale Typen in der Logischen Programmierung. Habilitation, Universität des Saarlandes, Saarbrücken (2002)
Hochschulschrift - Diplom (2)
242.
Hochschulschrift - Diplom
Advanced Shadow Map Parameterization. Diplom, Hochschule für Technik und Wirtschaft des Saarlandes, Saarbrücken (2002)
243.
Hochschulschrift - Diplom
Lobster- A Load Balanced P2P Content Sharing Network. Diplom, Universität Kreta, Heraklion (2002)
Hochschulschrift - Master (5)
244.
Hochschulschrift - Master
Effiziente Multiplikationsverfahren: ein numerischer Vergleich. Master, Universität des Saarlandes, Saarbrücken (2002)
245.
Hochschulschrift - Master
Reliable computation of planar and spatial arrangements of quadrics. Master, Universität des Saarlandes, Saarbrücken (2002)
246.
Hochschulschrift - Master
Robust Computation of Visibility Maps. Master, Universität des Saarlandes, Saarbrücken (2002)
247.
Hochschulschrift - Master
TSP Cuts Outside the Template Paradigm. Master, Universität des Saarlandes, Saarbrücken (2002)
248.
Hochschulschrift - Master
A Model Checker based on Abstraction Refinement. Master, Universität des Saarlandes, Saarbrücken (2002)
Bericht (12)
249.
Bericht
Cost-filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint. Swedish Institute of Computer Science, Uppsala, Sweden (2002)
250.
Bericht
Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi. Max-Planck-Institut für Informatik, Saarbrücken (2002), 64 S.
251.
Bericht
Atomic set constraints with projection. Max-Planck-Institut für Informatik, Saarbrücken (2002), 20 S.
252.
Bericht
Perceptual evaluation of tone mapping operators with regard to similarity and preference. Max-Planck-Institut für Informatik, Saarbrücken (2002), 30 S.
253.
Bericht
Sweeping Arrangements of Cubic Segments Exactly and Efficiently. Effective Computational Geometry for Curves and Surfaces, Sophia Antipolis (2002)
254.
Bericht
Tutorial notes ACM SM 02: a framework for the acquisition, processing and interactive display of high quality 3D models. Max-Planck-Institut für Informatik, Saarbrücken (2002), 50 S.
255.
Bericht
Incrementally Maintaining the Number of l-cliques. Max-Planck-Institut für Informatik, Saarbrücken (2002), 10 S.
256.
Bericht
Exp Lab: a tool set for computational experiments. Max-Planck-Institut für Informatik, Saarbrücken (2002), 59 S.
257.
Bericht
Performance of heuristic and approximation algorithms for the uncapacitated facility location problem. Max-Planck-Institut für Informatik, Saarbrücken (2002), 27 S.
258.
Bericht
A practical minimum spanning tree algorithm using the cycle property. Max-Planck-Institut für Informatik, Saarbrücken (2002), 21 S.
259.
Bericht
Using (sub)graphs of small width for solving the Steiner problem. Max-Planck-Institut für Informatik, Saarbrücken (2002), 9 S.
260.
Bericht
The factor algorithm for all-to-all communication on clusters of SMP nodes. Max-Planck-Institut für Informatik, Saarbrücken (2002), 8 S.