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