Abschlüsse 2006

 

 

Name
Titel Typ Lehrstuhl/Betreuer
Abushammala, Mohammed
Formal verification of VSE proof rules Bac Stephan
Aubertin, Tim
Enhanced proximity search for the complete search engine Dipl, MSc Bast
Backes, Christina
GeneTrail a statistical framework and web-application for analyzing gene set characteristics Dipl, MSc Lenhof
Baktiev, Murat
Permutation semantics of separation logic Dipl, MSc Smolka
Bartels, Norbert
Tangible user interface Bac  
Bauer, Jörg
Analysis of communication topologies by partner abstraction Diss Wilhelm
Benthin, Carsten
Realtime ray tracing on current CPU architectures Diss Slusallek
Böhm, Peter
Implementation of the high-level components of a bus controller for a time-triggered serial bus Bac Paul
Brandherm, Boris
Eingebettete dynamische Bayessche Netze n-ter Ordnung Diss Herfet
Bruhn, Andrés
Variationelle optische Flussberechnung Diss Weickert
Cai, Yiwen
Verification of TCP open and close phase Dipl, MSc Finkbeiner
Chirawatkul, Pleng
Stuctured peer-to-peer search to build a bibliographic paper recommendation system Dipl, MSc Weikum
Debusmann, Ralph
Extensible dependency grammar: a modular grammar formalism based on multigraph description Diss Herfet
Dell, Holger
Seed points in PDE-driven interpolation Bac Weickert
Dementiev, Roman
Algorithm engineering for large data sets Diss Herfet
Demir, Melih
Predicting component failures at early design time Dipl, MSc Zeller
Dietrich, Dominik
The task-layer of the OMEGA system Dipl, MSc Siekmann
Dimitrova, Rayna
Model checking with abstraction refinement for well-structured systems Dipl, MSc Podelski
Dollmann, Thorsten
Fuzzy business process modeling: Konzeption und Implementierung eines Modellierungswerkzeugs zur Berücksichtigung unscharfer Informationen in Geschäftsprozessmodellen Dipl, MSc Scheer
Eisentraut, Christian
Strongly convergent weak bisimulation congruence Bac Hermanns
El-Abed, Sascha
A computer graphics-based analysis-by-synthesis approach for the joint recovery of the gas and dust distributions in bipolar planetary nebulae from visible and radio wavelength observations Bac Magnor
Epoh, Jean Gilbert
Interactive location-centered broadband informationplatform Dipl, MSc Wahlster
Fallmann, Sergej
Progressive global illumination for highly complex models Dipl, MSc Slusallek
Feld, Michael
Erzeugung von Sprecherklassifikationsmodulen für multiple Plattformen Dipl, MSc Wahlster
Fermüller, Christian G.
Run-time byte code compilation optimization, and interpretation for Alice Dipl, MSc Smolka
Fischer, Daniel
Alwis - A visualization tool for concept based retrieval schemes Bac Mehlhorn
Fischer, Sabine
Formal verification of a big integer library written in C0 Bac Paul
Fouz, Mahmoud
Hereditary discrepancies in different numbers of colors Bac Doerr
Franzen, Bärbel
Codegenerierung für CSP-OZ Bac Wilhelm
Fries, Benedikt
OWLS-MX Hybride Suche von semantischen Webdiensten Dipl, MSc Siekmann
Fuchs, Denitza
Verteilte Annotation von Dokumenten - Entwurf und Implementierung eines modularen Annotationsservers auf Basis von NLP-Technologien Bac Weikum
Gebhard, Gernot
A pattern matcher generator for retargetable code generation and optimisation Dipl, MSc Wilhelm
Germesin, Sebastian
Spracherkennung mit dynamisch geladenen, spezifischen Akustikmodellen Bac Wahlster
Gorius, Manuel
Umsetzung digitaler TV-Signale auf das DVB-IPI Streaming-Format Bac Herfet
Grabowski, Robert
Computational aspects of non-projective dependencs grammars Dipl, MSc Smolka
Graupmann, Jens
Die Sphere-Search-Suchmaschine zur graphbasierten Suche auf heterogenen, semistrukturierten Daten Diss Weikum
Groß, Andreas
Erstellen von Zustandsgraphen mit dem GDB Bac Zeller
Groß, Anne
Enhancing the usability of an information management application Dipl, MSc Wahlster
Groß, Christian
Dienstgüte und Energieverbrauch in IEEE 802.15.4 und ZigBee Dipl, MSc Hermanns
Grundmann, Benedikt
Alwis - A visualization tool for concept based retrieval schemes Bac Mehlhorn
Guo, Xing
Improving fold recognition using protein and domain interactions Dipl, MSc Lengauer
Hachenberger, Peter
Boolean operations on 3d selective nef complexes Diss  
Hardt, Moritz
Hybrid logic revisited Bac Smolka
Horbach, Matthias
Proof nets for intuitionistic logic Dipl, MSc Smolka
Hümbert, Christian
Parametric WCET analysis Dipl, MSc Wilhelm
Hussong, René
A parallel wavelet-based genetic algorithm for the structural interpretation of protein ENDOR spectra Dipl, MSc Lenhof
Huwig, Kurt
Fallstudie: Randomisierte Stress-Tests des SPONTS Bac Zeller
Iqbal, Yasir
Flexible backing-off strategies for HMM based named entity recognition Dipl, MSc Weikum
Jansen, Thomas
Optimal join trees Bac Koch
Kaminski, Mark
Completeness results for higher-order equational logic Dipl, MSc Smolka
Kärger, Philipp
Ontologie-basierter Mediator zum Zugriff auf heterogene und verteilte Lerninhalte Dipl, MSc Melis
Krause, Michael
Corner detection in digital images using local tomography Bac Weickert
Kruppa, Michael
Migrating characters: effective user guidance in instrumented environments Diss Wahlster
Lehmann, Karsten
Automatisches Bestimmen fehlerverursachender Programmzustände in Eclipse Dipl, MSc Zeller
Li, Hongbo
Automatische Ereignis- und Relationserkennung mit Seeds von variierender Komplexität Dipl, MSc Uszkoreit
Ludwig, Michel
Extensions of the knuth-bendix ordering with LPO-like properties Dipl, MSc Waldmann
Mangel, Thomas
Query-driven term correlations for advanced P2P query routing Bac Paul
Mantiuk, Rafal
High-fidelity imaging Diss Herfet
Matthies, Niklas
Präzise Bestimmung längster Programmpfade anhand von Zustandsgraphen unter Berücksichtigung von Schleifen-Nebenbedingungen Dipl, MSc Wilhelm
Maue, Jens
A goal-directed shortest path algorithm using precomputed cluster distances Dipl, MSc Mehlhorn
Meyer, Andreas
Realtime polyhedal visual hulls Bac Paul
Meyer, Andreas
Generic implementation and benchmarks of a linear-time planar-map overlay algorithm Dipl, MSc Kettner
Michail, Dimitrios
Minimum cycle basis Diss Weikum
Mirwald, Marcus
Untersuchung eines segmentierten Speichermodells zur Unterstützung speicherbezogener KP-Konzepte Dipl, MSc Scheidig
Möhl, Mathias
Drawings as models of syntactic structure: theory and algorithms Dipl, MSc Smolka
Parkitny, Sebastian
A comparative study of pub / sub methods in structured p2p networks Dipl, MSc Weikum
Pentchev, Hristo
Verification of expression evaluation Bac Paul
Recktenwald, Fabian
Sampling and interpolation of the plenoptic function from sparse data Dipl, MSc Magnor
Reichel, Joachim
Combinatorial approaches for the trunk packing problem Diss Herfet
Schäf, Martin
Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften Dipl, MSc Podelski
Schmidt, Michael
Combined static and dynamic analysis for effective buffer minimization in streaming XQuery evaluation Dipl, MSc Koch
Schmitt, Daniel
Implementierung einer Überlagerung von konvexen Arrangements der Kugeloberfläche Bac Mehlhorn
Schmittler, Jörg
SaarCOR a hardware-architecture for realtime ray tracing Diss Slusallek
Schneider, Thorsten
Dynamics in large-scale peer-to-peer-networks Dipl, MSc Weikum
Schreiber, Martin
Neighbourhood-conscious record linkage Bac Weikum
Schröter, Adrian
Predicting component failures at design time Bac Zimmermann
Schu, Isabell
Time-series rule discovery on gene expression data Dipl, MSc Weikum
Schuler, David
Detecting software theft with API call sequence sets Dipl, MSc Zeller
Schwaiger, Arndt Stephan Georg
Modellierung und Analyse individuellen Konsumentenverhaltens mit probabilistischen Holonen Diss Herfet
Shadrin, Andrey
Design and implementation of the portmapper and RPC primitives in the context of the SOS Dipl, MSc Paul
Stahmer, Björn Patrick
SimMarket: Simulation des Abverkaufsverhaltens von Artikeln des Einzelhandels mit probabilistischen Agenten Diss Siekmann
Stanev, Stilian
Benutzerunterstützte Modellerfassung der Raumgeometrie mittels einer steuerbaren Projektor-Kamera-Einheit Dipl, MSc Wahlster
Starostin, Artem
Formal verification of a C-library for strings Dipl, MSc Paul
Steurer, David
Tight bounds on the min-max Boundary decomposition cost of weighted graphs Bac Mehlhorn
Steurer, David
An asymptotic approximation scheme for multigraph edge coloring Dipl, MSc  
Tawara, Takehiro
Efficient global illumination for dynamic scenes Diss H. P. Seidel
Tevs, Art
Multi-Stereorekonstruktion nicht-lambert`scher Oberflächen mittels Graph-Cut Optimierung Bac Magnor
Theobald, Martin
TopX Diss Weikum
Tolosi, Laura
Analysis of array CGH data for the estimation of genetic tumor progression Dipl, MSc Rahnenführer
Vrugt, Jürgen Te
A dynamic multi-application dialog engine for task-oriented voice user interfaces Diss Herfet
Wagner, Marc
Mediation between text-editors and proof assistance systems Dipl, MSc Siekmann
Wasinger, Rainer
Multimodal interaction with mobile devices: fusing a broad spectrum of modality combinations Diss Wahlster
Weber, Dennis
Solving large sparse linear systems exactly Dipl, MSc Mehlhorn
Weber, Jens M.
Pfadsuche und Bewegung von Agentengruppen im offenen Terrain für Echtzeitstrategiespiele Dipl, MSc Siekmann
Wellner, Christoph
Design und Implementierung eines Mehrbenutzer-Szenarios in einer verteilten TV-Umgebung Dipl, MSc Slusallek
Werner, Frank
Validation and analysis of formal methods using an airbag control unit Dipl, MSc Hermanns
Ying, Wenxiang
Edge based HDR compression Dipl, MSc Seidel
Yoshizawa, Shin
Computational differential geometry tools for surface interrogation, fairing, and design Diss Slusallek
Freunde der Saarbrücker Informatik