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