Hochschulschrift - Habilitation (21)
9561.
Hochschulschrift - Habilitation
Computational Methods for the Investigation of Protein-Ligand Interactions. Habilitation, Universität des Saarlandes, Saarbrücken (2009)
9562.
Hochschulschrift - Habilitation
Zeichnen von Diagrammen - Theorie und Praxis. Habilitation, Universität des Saarlandes, Saarbrücken (2009)
9563.
Hochschulschrift - Habilitation
From Protein Structure to Function. Habilitation, VI, 218 S., Universität des Saarlandes, Saarbrücken (2009)
9564.
Hochschulschrift - Habilitation
Statistical Methods for the Biological Interpretation of Genome-wide Measurements. Habilitation, Universität des Saarlandes, Saarbrücken (2006)
9565.
Hochschulschrift - Habilitation
Integral Approximation. Habilitation, Christian-Albrechts-Universität zu Kiel, Kiel (2005)
9566.
Hochschulschrift - Habilitation
Visuelle Ästhetik vs. Visual Computing. Habilitation, Universität des Saarlandes, Saarbrücken (2005)
9567.
Hochschulschrift - Habilitation
Algebraic and logical methods in automated theorem proving and in the study of concurrency. Habilitation, Universität des Saarlandes, Saarbrücken (2004)
9568.
Hochschulschrift - Habilitation
Direktionale Typen in der Logischen Programmierung. Habilitation, Universität des Saarlandes, Saarbrücken (2002)
9569.
Hochschulschrift - Habilitation
Efficient and Predictive Realistic Image Synthesis. Habilitation, Warsaw Institute of Technology, Warsaw, Poland (2001)
9570.
Hochschulschrift - Habilitation
Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen. Habilitation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, Saarbrücken (2000)
9571.
Hochschulschrift - Habilitation
Online-Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)
9572.
Hochschulschrift - Habilitation
Effiziente und Online-Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)
9573.
Hochschulschrift - Habilitation
Bioinformatik. Habilitation, Universität des Saarlandes, Saarbrücken (1999)
9574.
Hochschulschrift - Habilitation
Effiziente parallele Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)
9575.
Hochschulschrift - Habilitation
Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie. Habilitation, Universität des Saarlandes, Saarbrücken (1998)
9576.
Hochschulschrift - Habilitation
Computational Geometry: Theory and Implementation. Habilitation, Universität des Saarlandes, Saarbrücken (1998)
9577.
Hochschulschrift - Habilitation
Gleichheit und Constraints in der Logikprogrammierung. Habilitation, Universität des Saarlandes, Saarbrücken (1996)
9578.
Hochschulschrift - Habilitation
Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung. Habilitation, Universität des Saarlandes, Saarbrücken (1995)
9579.
Hochschulschrift - Habilitation
Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration. Habilitation, Universität des Saarlandes, Saarbrücken (1994)
9580.
Hochschulschrift - Habilitation
Thema der Antrittsvorlesung: Transformation logischer Systeme. Habilitation, Universität des Saarlandes, Saarbrücken (1993)