|
Die Nominierten
- Dr. Carsten Binnig
"
Generating Meaningful Test Databases"
Ruprecht-Karls-Universität Heidelberg
- Dr.-Ing. Christoph Bockisch
"
An Efficient and Flexible Implementation of Aspect-Oriented Languages"
TU Darmstadt
- Dr. Manfred Bortenschlager
"
CorA: A Coordination Architecture for Collaboration in Pervasive Environments"
Johannes Kepler-Universität Linz
- Dr. Markus Chimani
"
Computing Crossing Numbers"
TU Dortmund
- Dr. Thomas Deselaers
"
Image Retrieval, Object Recognition, and Discriminative Models"
RWTH Aachen
- Dr. Marcus Dittrich
"
Assembly of the Interactome, characterization of functional modules and novel approaches to the analysis of signaling networks in Human Platelets"
Julius-Maximilians-Universität Würzburg
- Dr. Sebastian Dörn
"
Quantum Complexity of Graph and Algebraic Problems"
Universität Ulm
- Dr. Dominik Engel
"
Media Encryption for Still Visual Data"
Universität Salzburg
- Dr. Thomas Gottron
"
Content Extraction: Identifying the Main Content in HTML Documents"
Johannes Gutenberg-Universität Mainz
- Dr. Martin Groher
"
2D-3D Registration of Vascular Images - Towards 3D-Guided Catheter Interventions"
TU München
- Dr.-Ing. Daniel Große
"
Quality-Driven Design and Verification Flow for Digital Systems"
Universität Bremen
- Dr. Jens Heidrich
"
Goal-oriented Quantitative Software Project Control"
TU Kaiserslautern
- Dr. 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
TU Dresden
- Dr. Oliver Hummel
"
Semantic Component Retrieval in Software Engineering"
Universität Mannheim
- Dr. Lutz Ißler
"
Informationsverarbeitung im Informationsmanagement"
Universität Leipzig
- Dr. Johannes Kopf
"
Efficient Methods for Tile-Based Synthesis and Computational Photography"
Universität Konstanz
- Dr. Amir Madany Mamlouk
"
Computergestützte Analyse von biologischen und bioinspirierten Signalverarbeitungs- und Wahrnehmungsprozessen"
Universität zu Lübeck
- Dr. Ilias Michalarias
"
Multidimensional Data Management in Mobile Environments"
Freie Universität Berlin
- Dr. André Platzer
"
Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems"
Carl von Ossietzky-Universität Oldenburg
- Dr. Florian Rabe
"
Representing Logics and Logic Translations"
Jacobs University Bremen
- Dr. Marco Reisert
"
Group Integration Techniques in Pattern Analysis - A Kernel View"
Albert-Ludwigs-Universität Freiburg
- Dr. David Sabel
"
Semantics of a Call-by-Need Lambda Calculus with McCarthy's amb for Program Equivalence"
Johann Wolfgang Goethe-Universität Frankfurt am Main
- Dr. Felix Salfner
"
Event-based Failure Prediction: An Extended Hidden Markov Model Approach"
Humboldt-Universität zu Berlin
- Dr. Thomas Sauerwald
"
Randomized Protocols for Information Dissemination"
Universität Paderborn
- Dr. Sven Schewe
"
Synthesis of Distributed Systems"
Universität des Saarlandes
- Dr. Jonathan Schmitt
"
Modellierung und Verifikation medizinischer Leitlinien"
Universität Augsburg
- Dr. Dominik Schultes
"
Route Planning in Road Networks"
Universität Karlsruhe
- Dr. Sören Sonnenburg
"
Machine Learning for Genomic Sequence Analysis"
TU Berlin
- Dr. Ulrike Thomas
"
Automatisierte Programmierung von Robotern für Montageaufgaben"
TU Braunschweig
Carl-Friedrich-Gauß-Fakultät
- Dr. Melanie Volkamer
"
Evaluation of Electronic Voting - Requirements and Evaluation Procedures to Support Responsible Election Authorities"
Universität Koblenz-Landau
- Dr.-Ing. Tino Weinkauf
"
Extraction of Topological Structures in 2D and 3D Vector Fields"
Otto-von-Guericke-Universität Magdeburg
- Dr. Franz Weitl
"
Document Verification with Temporal Description Logics"
Universität Passau
Fakultät für Mathematik und Informatik
- Dr. Arno Zinke
"
Photo-Realistic Rendering of Fiber Assemblies"
Universität Bonn
- Dr. Beat Fluri
"
Change Distilling: Enriching Software Evolution Analysis with Fine-Grained Source Code Change Histories"
Universität Zürich
|