Hochschulschrift - Doktorarbeit (436)
9541.
Hochschulschrift - Doktorarbeit
Effiziente Algorithmen für Probleme der Kollisionserkennung und der geometrischen Optimierung. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
9542.
Hochschulschrift - Doktorarbeit
Computational Aspects of a First-Order Logic with Sorts. Dissertation, Universität des Saarlandes, Saarbrücken (1996)
9543.
Hochschulschrift - Doktorarbeit
Logic-based 0-1 Constraint Solving in Constraint Logic Programming. Dissertation, iv, 187 S., Universität des Saarlandes, Saarbrücken (1995)
9544.
Hochschulschrift - Doktorarbeit
Term Indexing. Dissertation, xx, 238 S., Universität des Saarlandes, Saarbrücken (1995)
9545.
Hochschulschrift - Doktorarbeit
Default Reasoning about Probabilities. Dissertation, x, 166 S., Universität des Saarlandes, Saarbrücken (1995)
9546.
Hochschulschrift - Doktorarbeit
A Resolution-Based Calculus for Temporal Logics. Dissertation, Universität des Saarlandes, Saarbrücken (1995)
9547.
Hochschulschrift - Doktorarbeit
Ein NP-schweres Plazierungsproblem. Dissertation, 207 S., Universität des Saarlandes, Saarbrücken (1995)
9548.
Hochschulschrift - Doktorarbeit
A Resolution Calculus for Modal Logics. Dissertation, Universität Kaiserslautern, Kaiserslautern (1988)
9549.
Hochschulschrift - Doktorarbeit
Polynomial and abstract subrecursive classes. Dissertation, Cornell University, New York, NY (1974)
Hochschulschrift - Habilitation (21)
9550.
Hochschulschrift - Habilitation
Computational Optical Measurement and Display: Case Studies in Plenoptic Imaging and Projection. Habilitation, Université de Bordeaux, Bordeaux (2012)
9551.
Hochschulschrift - Habilitation
Computational Methods for the Investigation of Protein-Ligand Interactions. Habilitation, Universität des Saarlandes, Saarbrücken (2009)
9552.
Hochschulschrift - Habilitation
Zeichnen von Diagrammen - Theorie und Praxis. Habilitation, Universität des Saarlandes, Saarbrücken (2009)
9553.
Hochschulschrift - Habilitation
From Protein Structure to Function. Habilitation, VI, 218 S., Universität des Saarlandes, Saarbrücken (2009)
9554.
Hochschulschrift - Habilitation
Statistical Methods for the Biological Interpretation of Genome-wide Measurements. Habilitation, Universität des Saarlandes, Saarbrücken (2006)
9555.
Hochschulschrift - Habilitation
Integral Approximation. Habilitation, Christian-Albrechts-Universität zu Kiel, Kiel (2005)
9556.
Hochschulschrift - Habilitation
Visuelle Ästhetik vs. Visual Computing. Habilitation, Universität des Saarlandes, Saarbrücken (2005)
9557.
Hochschulschrift - Habilitation
Algebraic and logical methods in automated theorem proving and in the study of concurrency. Habilitation, Universität des Saarlandes, Saarbrücken (2004)
9558.
Hochschulschrift - Habilitation
Direktionale Typen in der Logischen Programmierung. Habilitation, Universität des Saarlandes, Saarbrücken (2002)
9559.
Hochschulschrift - Habilitation
Efficient and Predictive Realistic Image Synthesis. Habilitation, Warsaw Institute of Technology, Warsaw, Poland (2001)
9560.
Hochschulschrift - Habilitation
Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen. Habilitation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, Saarbrücken (2000)