HOME
GI-Dissertationspreis 2008 Die Nominierten






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

0

  © 2009 · Robert Görke E-MailE-Mail senden