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