Abschlüsse 2008

 

 

Name Titel der Arbeit Lehrstuhl Abschluss
Ajwani, Deepak Traversing large graphs in realistic settings Diss
Anastasatos, Vasileios Energy-Aware Wireless Sensor Network Models in MoDeST BSc.
Annen, Thomas Efficient shadow map filtering Diss
Backes, Peter Topology Analysis of Dynamic Communication Systems Dipl.
Baray, Azizullah Qualitätssteigerung durch sprachunabhängige Testautomatisierung am Beispiel des Interaktiven Video Management Systems (IVM) BSc.
Barbey, Robert Coherence-Enhancing Shock Flters in Vector Field Visualisation Dipl.
Barbieri, Sebastiano A variational approach to the registration of tensor-valued images MSc.
Bargmann, Robert Learning-based facial animation Diss
Bazine, Youssef Maxima for symmetric matrices BSc.
Becker, Jens Uppaal Guider Suchraumverkleinerung in Uppaal BSc.
Berberich, Eric Robust and efficient software for problems in 2.5-dimensional non-linear geometry Diss
Bertomeu Castelló, Núria A memory and attention-based approach to fragment resolution and its application in a question answering system Diss.
Besse, Andreas Integration von HDTV in ein Multimedianetzwerk BSc.
Bettenburg, Nicolas Duplicate Bug Reports Considered Harmful? MSc.
Blass, Christian Implementation and Evaluation of an Outlier Detection Based Classifier for Web Service Protection MSc.
Blümling, Sabrina Watershed transformation on modified gradient data BSc.
Bock, Andreas Image Processing with MathematicalMorphology and Medical Applications BSc.
Bock, Christoph Computational Epigenetics Diss
Bogan, Sebastian Formal Specification of a Simple Operationg System Diss
Bornträger, Holger MD5 collisions on multimedia files BSc.
Brendel, Philipp Implementierung und Evaluation eines Fußgängernavigationssystems basierend auf einem akustischen Landmarkendisplay BSc.
Brunotte, Dieter Discrepancy between Random Walks and the Propp Machine in Zd MSc.
Burchardt, Aljoscha Modeling textual entailment with role-semantic information Zugl.: Diss
Busenius, Alex Expi2Java - an extensible code generator for security protocols BSc.
Chen, Tongbo New 3D scanning techniques for complex scenes Diss
Ciobotaru, Oana-Madalina Efficient long-term secure universally composable commitments MSc.
Dahrendorf, Daniel Analysis of different replication and caching strategies in the P2P search engine minerva BSc.
de Aguiar, Edilson Animation and Performance Capture using Digitized Models Diss
Dettori, Emanuele Optical Trackingsystem with 3D Position- and Orientation-Estimation MSc.
Dithmar, Jan Hendrik Audio Denoising with Non-Local Algorithms from Image Processing BSc.
Doost, Ahmad Salim Pytyper BSc.
Dudev, Minko Personalization of Search on Strucktured Data MSc.
Eigenwillig, Arno Real root isolation for exact and approximate polynomials using Descartes' rule of signs Diss
Ermis, Evren Visualisierung virtueller multi-party Interaktionen BSc.
Ershov, Alexey Coalescence Rate Estimation using Optical Flow and Occlusion Detection MSc.
Escalante Bañuelos, Alberto Nicolas Privacy-Protecting Multi-Coupon Schemes with Stronger Protection against Splitting MSc.
Fehringer, Benedict Analyse und Interpretation von Telemetriedaten wildlebender Tiere am Beispiel des Baummarders BSc.
Feidt, Steffen Crowd-Simulation anhand eines realistischen Stadtverkehrs BSc.
Fisch, Heiko Gewichtete Dominationsprobleme auf d-Trapezgraphen und Bandweite von Kettengraphen Dipl.
Fisch, Heiko Gewichtete Dominationsprobleme auf d-Trapezgraphen und Bandweite von Kettengraphen Dipl.
Freis, Maik Die Hardware für einen sprechenden Schachroboterr BSc.
Fuchs, Martin Advanced methods for relightable scene representations in image space Diss
Gao, Qi Verified expression evaluation for multiplication and division MSc.
Gehring, Sven Hendrik The Privacy Badge BSc.
Georgiev, Iliyan RTfact Concepts for Generic Ray Tracing MSc.
Germesin, Sebastian Disfluency Classification and Correction with a Hybrid Machine Learning and Rule-based Approach MSc.
Gherbaoui, Caroline Similarity measures for query expansion in topX Dipl.
Gogolok, Robert Optimization of an application layer hybrid error correction scheme under strict delay constraint MSc.
Gräßer, Joachim Gebietsanalyse mittels global optimierter Kooperation in einer Multiagentenumgebung MSc.
Grewe, Dominik Static Congruence Analysis on Binaries BSc.
Guan, Haichao Gesichtserkennung/-tracking und Handtracking über ein Java Interface BSc.
Gwosdek, Pascal Realtime Optical Flow Algorithms on the Cell Processor MSc.
Hagenburg, Kai Uwe Non-linear osmosis in image processing MSc.
Hahn, Ernst Moritz Parametric Markov Model Analysis MSc.
Hamerlik, Marek Lech Anonymity and Censorship Resistance in Semantic Overlay Networks MSc.
Hammacher, Clemens Design and Implementation of an Efficient Dynamic Slicer for Java BSc.
Heinz, Michael Descattering in Confocal Imaging MSc.
Heinz, Stefan Implementation and Study of Test Case Prioritization Techniques BSc.
Hendrawan, Kurnia Simulation of MoDeST-Models BSc.
Herget, Wolfgang Günter Entwicklung eines integrierten Prozesses zur Visualisierung von Hochbauvorhaben BSc.
Herter, Jörg Towards shape analysis of B-Trees MSc.
Hewer, Alexander Motion estimation in the field of elastography BSc.
Hoen, Johannes Matthias Anwendung von Markov-Modellen zur Klassifikation von Benutzern in Webshops BSc.
Holder, Stefan Replication in Unstructured Peer-to-Peer Networks with Availability Constraints MSc.
Ioannou, Ekaterini MCCx2: A calculus for the XQuery based on monoid comprehensions MSc.
Jahoromi, Nima Zeini Smoothed Analysis of Quicksort with Median-of-Three Pivot Rule BSc.
Jednoralski, Dominik Latent semantic algorithms for improving search results in an intelligent tutoring environment for mathematics BSc.
Jochem, Rainer Ein webbasierter Routenplaner für Motorradfahrer MSc.
Kasradze, Levan Implementation of a file-based indexing framework for the TopX search engine MSc.
Kayah, Can Hybrid semantic web services selection with OWLS-M5 MSc.
Keller, Andreas Understanding Cancer with Bioinformatics Diss
Kersch, Mike Ausführungsumgebung für semantische Web Service Komponenten mit automatisierter GUI-Generierung MSc.
Kersten, Carl Nullstellen zählen mit Hermites quadratischer Form Dipl.
Knapp, Steffen The correctness of a distributed real-time system Diss
Knappen, Jörg Optic Acceleration in Image Sequence Analysis BSc.
Kobel, Alexander Automated generation of kempe linkages for algebraic curves in a dynamic geometry system BSc.
Koenen-Dresp, Alexander Applying the Engineering Statechart Formalism to the evaluation of soft real-time in operating systems Diss
Kosov, Sergey Multi-view 3D reconstruction with variational method MSc.
Krämer, Jochen Multiple fundamental frequency estimation for cognitive source separation BSc.
Kruglov, Evgeny Superposition Modulo Linear Arithmetic MSc.
Künnemann, Robert Hiding malicious postScript code and how to define undetectability BSc.
Kunte, Michael Gorenstein modules of finite lenght Diss
Küntzer, Jan BN++ Diss
Künzer, Tobias b̮̈etragung von Multimedia-Daten in drahtlosen Netzen: b̮̈erwachung von WLAN-Schnittstellen und Aufbau einer Testumgebung BSc.
Langer, Torsten On generalized Barycentric coordinates and their applications in geometric modeling Diss
Langner, Christian Text Based Approaches for Content Based Image Retrieval in a P2P Network Dipl.
Leichtweis, Thomas Fast Marching für perspektives Shape from Shading Dipl.
Leinenbach, Dirk Carsten Compiler verification in the context of pervasive system verification Diss
Löckelt, Markus A flexible and reusable framework for dialogue and action management in multi-party discourse Diss
Luxenburger, Julia Modeling and Exploiting User Search Behavior for Information Retrieval Diss
Mainberger, Markus Michael Contour Coding for PDE-based Image Reconstruction MSc.
Manjunath, Madhusudan Two topics in geometry: minimizing absolute Gaussian curvature locally and solution path of the Slab support vector machine MSc.
Manolache, Gabriel Index-based snippet generation MSc.
Marmitt, Gerd Interactive volume ray tracing Diss
Marold, Verena Closed-Form Solutions for Computer-Generated Finite Difference Approximations BSc.
Math, Rafael Tobias UbisLibrary BSc.
Maurer, Michael Vergleich von Ditheringverfahrten für Grauwertbilder BSc.
Meiser, Timm Untersuchung unterschiedlicher Ähnlichkeitsmaße für ein textbasiertes Multi-Korpora Recommender-System im Kontext des VITAL-Projektes BSc.
Mezzavilla, Sebastian Dynamic storytelling for computer games BSc.
Mironenko, Ivan Automatic Classification of Audio Source Mixtures MSc.
Mittermüller, Kai Modellierung der Speicherladeschaltung BSc.
Müller, Markus Migration of the component extension into the Linux kernel MSc.
Müller, Robert Konzeption und Implementierung eines ressourceenadaptiven multimedialen Informationssystems auf ressourcenbeschränkten Endgeräten unter JavaME MSc.
Mutafchiev, Stoyan Hybride Navigationsvisualisierung auf mobilen Geräten Dipl.
Nesbigall, Stefan Quantenbasierte Koordination von Multiagentensystemen BSc.
Neßelrath, Robert TaKG Ein Toolkit zur automatischen Klassifikation von Gesten MSc.
Offenberg, Janosch Binaurale Lokalisierung beweglicher Schallquellen BSc.
Osthof, Markus Focus fusion of digital images BSc.
Paltzer, Niko Debugging constraint propagation MSc.
Peters, Henning Hardware and software extensions for a FTIR Multi-Touch Interface MSc.
Portz, Michael Denoising of a 3-D Cryo-Electron-Tomogram via Non-Local-Means MSc.
Prohaska, Alexander Building Web Query Subsumption Hierarchies MSc.
Quan, Nguyen Chi Hoang Die Komposition von musikbezogenen Web-Services und ihre Integration in ein multimodales Dialogsystem BSc.
Rabe, Markus Towards Model Checking of Distributed Probalistic Systems BSc.
Ranieri, Bruno Improving a single interlaced image using optical flow BSc.
Reineke, Jan Caches in WCET Analysis Diss
Reischuk, Raphael Maurice Reconciling Copying and Trailing for Constraint Programming Systems BSc.
Reuter, Alexander Design and Implementation of an Efficient Scientific HDR Image Viewer BSc.
Rieser, Verena Bootstrapping reinforcement learning-based dialogue strategies from Wizard-of-Oz data Zugl.: Diss
Rossberg, Andreas Typed open programming Diss
Roth, Jean Marc Stereo correspondence for slanted surfaces: local and global methods BSc.
Rudi, David Personal Mobile Health Trainer BSc.
Rusev, Rostislav Bitvector Reasoning with SPASS MSc.
Rusinov, Momchil Homomorphism Homogeneous Graphs MSc.
Sammodi, Osama Incremental relevance feedback for TopX MSc.
Sander, Oliver Structural descriptors for the analysis of protein structure, function, and evolution Diss
Sattelmann, Stefan Function Pointer Analysis for C Programs BSc.
Schewe, Sven Synthesis of distributed systems Diss
Schmidt, Simon Frederik Variationsansatz bei PIV Dipl.
Schmidt, Torsten Merkmalsextraktion mit nichtlinearen Prozessen Dipl.
Schönleben, Oliver Six degrees of benchmarking hypervolume algorithms Bach.
Schug, Benjamin An Extensible Rendering Interface and an OpenGL Renderer for the RTSG Scene Graph Library BSc.
Schuh, Stefan Smoothed Analysis of Binary Search Trees with Perturbed Indices BSc.
Shevalieva, Ivelina Transformation XML-basierter eLearning-Module nach PDF, Powerpoint und in Podcast Dipl.
Shi, Kuangyu Path-line oriented visualization of dynamical flow fields Diss
Smith, Kaleigh Contours and contrast Diss
Sönmez, Orhan Learning Game Theoretic Model Parameters Applied to Adversarial Classification MSc.
Sonntag, Daniel Introspective methods for adaptable dialogue-based question answering Diss
Spieler, David Score-based FCT-handling in WS-BPEL 2.0 BSc.
Stadtmüller, Marco A variational approach for audio synchronization MSc.
Steinel, Andreas HDR acquisition, processing, and tone-mapping of astronomical images MSc.
Stoll, Michael Improving the prediction of defect localization methods by intelligent choices of rest runs BSc.
Styp-Rekowsky, Philipp von Auswertung von Benutzeraktionen in intelligenten Lernsystemen zur meta-kognitiven Unterstüzung von Lerninhalten BSc.
Talwar, Priti Development of computational methods for metabolic network analysis based on metabolomics data Diss
Taneva, Bilyana Conjoint analysis: a tool for preference analysis MSc.
Tang, Ching Hoo Ant Colony Optimization Using a Single Ant BSc.
Tarrach, Thorsten Spi2F# - a prototype code generator for security protocols BSc.
Thater, Stefan Minimal recursion semantics as dominance constraints Diss.
Tiwary, Hans Raj Complexity of some polyhedral enumeration problems Diss
Tsonkov, Hristo Evaluation von Systemen zur automatischen Textklassifikation von Gerichtsentscheidungen MSc.
Velasquez, Miguel Andres Granados Background estimation from photographs with application to ghost removal in high dynamic range image reconstruction MSc.
Velten, Michael mbias - Ein System zur probabilistischen Vorhersage von Objektinteraktionen mittels Markov-Modellen BSc.
Vollmann, Robert Navigatioin of big units through areas with narrow passages in real-time strategy games MSc.
von Bomhard, Thomas Minimization of tree automata BSc.
Wagner, Silke Stability proofs for hybrid systems Diss
Wang, Danyi 3D shape complexity using view similarity Dipl.
Waßmuth, Sebastian Wegsuche mit dem A*-Algorithmus in hirarchischen polygonbasierten Umgebungsmodellen Dipl.
Weber, Denis Incorporating dynamic multilingual named entities into multimodal dialogue systems Dipl.
Wolter, Sabrina Extending the YAGO Onthology MSc.
Xu, Fei-Yu Bootstrapping relation extraction from semantic seeds Diss.
Yoshida, Akiko Evaluation and enhancement of HDR image appearance on displays of varying dynamic range Diss
Zhang, Xin Using LEO-II to Prove Properties of an Explicit Substitution M-set Model BSc.
Zhang, Yi Robust deep linguistic processing Diss.
Ziaja, Sebastian Finanzinformationssysteme Bach.
Zimmer, Christian Approximate information filtering in structured peer-to-peer networks Diss
Zimmer, Jürgen MathServe - A Framework for Semantic Reasoning Services Diss
Freunde der Saarbrücker Informatik