GI:
Ausgezeichnete Informatikdissertationen 2008
Dorothea Wagner (Ed.):
Ausgezeichnete Informatikdissertationen 2008.
LNI D-9 GI 2009, ISBN 978-3-88579-413-4 
- Carsten Binnig:
Generating Meaningful Test Databases.
11-20
- Christoph Bockisch:
An Efficient and Flexible Implementation of Aspect-Oriented Languages.
21-30
- Manfred Bortenschlager:
CorA: A Coordination Architecture for Collaboration in Pervasive Environments.
31-40
- Markus Chimani:
Computing Crossing Numbers.
41-50
- Thomas Deselaers:
Image Retrieval, Object Recognition, and Discriminative Models.
51-60
- Marcus T. Dittrich:
Assembly of the Interactome, Characterization of Functional Modules and Novel Approaches to the Analysis of Signaling Networks in Human Platelets.
61-69
- Sebastian Dörn:
Quantum Complexity of Graph and Algebraic Problems.
71-80
- Dominik Engel:
Media Encryption for Still Visual Data.
81-90
- Beat Fluri:
Change Distilling: Enriching Software Evolution Analysis with Fine-Grained Source Code Change Histories.
91-100
- Thomas Gottron:
Content Extraction: Bestimmung des Hauptinhaltes in HTML Dokumenten.
101-110
- Martin Groher:
2D-3D Registration of Vascular Images - Towards 3D-Guided Catheter Interventions.
111-120
- Daniel Große:
Quality-Driven Design and Verification Flow for Digital Systems.
121-130
- Jens Heidrich:
Goal-oriented Quantitative Software Project Control.
131-140
- Andreas Henschel:
A Structural Classification of Protein-Protein Interactions for Detection of Convergently Evolved Motifs and for the Predictions of Protein Binding Sites on Sequence Level.
141-150
- Oliver Hummel:
Semantic Component Retrieval in Software Engineering.
151-160
- Lutz Ißler:
Informationsverarbeitung im Informationsmanagement.
161-170
- Amir Madany Mamlouk:
Computergestützte Analyse von Biologischen und Bioinspirierten Signalverarbeitungs- und Wahrnehmungsprozessen.
171-180
- Ilias Michalarias:
Multidimensional Data Management in Mobile Environments.
181-190
- André Platzer:
Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems.
191-200
- Florian Rabe:
Representing Logics and Logic Translations.
201-210
- Marco Reisert:
Group Integration Techniques in Pattern Analysis - A Kernel View.
211-220
- David Sabel:
Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence.
221-230
- Felix Salfner:
Event-based Failure Prediction: An Extended Hidden Markov Model Approach.
231-240
- Thomas Sauerwald:
Randomized Protocols for Information Dissemination.
241-250
- Sven Schewe:
Synthesis of Distributed Systems.
251-260
- Jonathan Schmitt:
Modellierung und Verifikation medizinischer Leitlinien.
261-270
- Dominik Schultes:
Route Planning in Road Networks.
271-280
- Sören Sonnenburg:
Machine Learning for Genomic Sequence Analysis.
281-290
- Ulrike Thomas:
Automatisierte Programmierung von Robotern für Montageaufgaben.
291-300
- Melanie Volkamer:
Evaluation von Internetwahlsystemen.
301-309
- Tino Weinkauf:
Extraction of Topological Structures in 2D and 3D Vector Fields.
311-320
- Franz Weitl:
Document Verification with Temporal Description Logics.
321-330
- Arno Zinke:
Photo-Realistic Rendering of Fiber Assemblies.
331-337
Last update Wed May 22 23:37:16 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
