Abschlüsse 2007

 

 

Name
Titel der Arbeit Lehrstuhl Abschluss
Aalam, Giw
Georeferenzierung von Suchergebnissen auf Basis von annotierten Daten und Geoinformationssystemen Weikum BSc.
Abdel Maksoud, Mohamed
Generating code from abstract VHDL models Wilhelm Dipl./MSc.
Abujarour, Mohammed
Efficient XML query processing and full-text search Weikum Dipl./MSc.
Ahrenberg, Lukas
Methods for transform, analysis and rendering of complete light representations Seidel Diss./ PhD
Altmeyer, Christiane
Generierung komponentenbasierter Multimedia-Anwendungen Scheidig BSc.
Alvarez Amaya, Victor Manuel
Approximation of minimum spanning trees of set of points in the Hausdorff metric Seidel R. Dipl./MSc.
Avramov, Aleksandar
Concept and implementatioin of a monitor for the component extension Scheidig BSc.
Bach, Harriet
Towards a Wavelet representation of implicit diffusion Weickert Dipl./MSc.
Barbian, Christoph
Laufzeiten von Synergienberechnungen Schreyer BSc.
Bauer, Frank
Anisotropic filters for 3D scalar- and tensor-valued data Weickert Dipl./MSc.
Bauer, Martin
Symbolic game solving with arithmetic data types Finkbeiner BSc.
Beck, Daniel
Hierarchical classification using NLP techniques Uszkoreit Dipl./MSc.
Becker, Tobias
Image interpolation methods and enhancements Weickert BSc.
Behle, Markus
Binary decision diagrams and integer programming Eisenbrand Diss./ PhD
Bender, Matthias
Advanced methods for query routing in peer-to-peer information retrieval Weikum Diss./ PhD
Benke, Tim
Semantic overlay networks for peer-to-peer web search Weikum BSc.
Berg, Matthias
On key-dependent encryption Backes Dipl./MSc.
Bogojeska, Jasmina
Stability analysis of oncogenetic trees mixture models Rahnenführer Dipl./MSc.
Böhm, Peter
Formal verification of a clock synchronization method in a distributed automotive system Paul Dipl./MSc.
Böttcher, Süntje
Multiparty computation in an asynchronous network Backes BSc.
Boutter, Christophe
An Eclipse plugin for MoDeST Hermanns Dipl./MSc.
Boyarinov, Vladimir
Embedding C0 programs in VSE Stephan Dipl./MSc.
Brill, Dominik
Deductive Model Checking with Transition Constraint Systems Finkbeiner Dipl./MSc.
Brudaru, Irina Ioana
Heuristics for average diameter approximation with external memory algorithms Meyer Dipl./MSc.
Bünte, Sven
Automatic abstraction of communication sequences Finkbeiner BSc.
Bünte, Sven
Fault tolerance analysis of the FlexRay startup procedure using model checking Finkbeiner Dipl./MSc.
Caroli, Manuel
Evaluation of a generic method for analyzing controlled-perturbation algorithms Mehlhorn Dipl./MSc.
Celikik, Marjan
Efficient large-scale clustering of spelling variants, with applications to error-tolerant text search Weikum Dipl./MSc.
Chitea, Alexandru Adrian
Efficient semantic annotation of the English Wikipedia Weikum Dipl./MSc.
Condea, Cosmin
Design and implementation of a page fault handler in C0 Paul Dipl./MSc.
Condea, Cosmin
Design and implementation of a page fault handler in C0 Paul Dipl./MSc.
Conrad, Jan
Ein mobiler Webservice zur Realisierung von community-basiertem Administrieren von Informations- und Navigationsdiensten durch ein (D)GPS-basiertes Visualisierungstool für Smartphones Wahlster Dipl./MSc.
Dell, Holger
Complexity of the cover polynomial Bläser Dipl./MSc.
Dettori, Emanuel
Stereorekonstruktion zum Benchmarking eines Indoor-Positionierungssystems Wahlster BSc.
Dimitrov, Valentin
UbiSpot: an in- and outdoor positioning client for Symbian OS Wahlster Dipl./MSc.
Dimova, Dilyana
Propositional abduction Weidenbach BSc.
Dividino, Renata
Semiotic-based ontology evaluation tool Wahlster Dipl./MSc.
Doczkal, Christian
Strong normalization of call-by-push-value Smolka BSc.
Dreßler, Christian
First-Order Proof Documentation Weidenbach BSc.
Dumitriu, Daniel
Graph-based conservative surface reconstruction Mehlhorn Dipl./MSc.
Ebert, Franziska
Translation validation for optimizing compilers Finkbeiner Dipl./MSc.
Eigner, Fabienne Sophie
Cryptographic soundness of simpler symbolic signatures and authentications Backes BSc.
Eisentraut, Christian
Complete completeness for weak bisimulation semantics Hermanns Dipl./MSc.
El-Abed, Sascha
Hole filling in images and in video sequences H. P. Seidel Dipl./MSc.
Elbassuomi, Shady
Adaptive personalization of web search Weikum BSc.
Emeliyanenko, Pavel
Visualization of points and segments of real algebraic plane curves Mehlhorn, MPI Informatik Dipl./MSc.
Emeliyanenko, Pavel
Visualization of points and segments of real algebraic plane curves Mehlhorn Dipl./MSc.
Ermis, Evren
Graphendarstellung von Quelltext als Ansatz zur Erkennung von stereotypischen Programmteilen Finkbeiner Dipl./MSc.
Federmann, Christian
Very large language models for machine translation Uszkoreit Dipl./MSc.
Fietzke, Arnaud
Labelled splitting Weidenbach Dipl./MSc.
Fischer, Sabine
Formal verification of a Big Integer library including division Paul Dipl./MSc.
Forster, Ralf
Die zukünftige Rolle des Lagers im B2B-Handel Zentes Dipl./MSc.
Frey, Jochen
Constraint-basierte Generierung parametrisierbarer, multimodaler Comic-Layouts für verlaufsorientierte Meeting-Zusammenfassungen Wahlster Dipl./MSc.
Friedrich, Tobias
Use and avoidance   Diss./ PhD
Friedrich, Tobias
Use and avoidance of randomness   Diss./ PhD
Gärtner, Oliver
Correlation-based docking with unequally spaced fast fourier transforms Lenhof Dipl./MSc.
Gehl, Björn
Export-Tool: ActiveMath to IMS QTI Siekmann BSc.
Gehrmann, Tim
Der Einsatz von Spreading Activation in SmartWeb zur Auflösung sprachlicher Mehrdeutigkeit Wahlster Dipl./MSc.
Gerke, Michael
Implementation of frame and symbol transmission in a time triggered serial bus architecture Paul BSc.
Gerling, Sebastian
LAN crypt gateway and secure browser access Backes BSc.
Gogolok, Robert
Reverse Engineering des Interrupt-Subsystems von OpenBSD - Eine Modellierung mittels Statecharts Scheidig BSc.
Görgen, Daniel Oliver
Adaptives Agentenverhalten unterstützt durch Genetische Algorithmen und Neuronale Netze für den Einsatz in Computerspielen Siekmannn Dipl./MSc.
Gorius, Manuel
Application layer hybrid error coding - (AL-HEC) for in-home multicast digital TV distribution Herfet Dipl./MSc.
Götz, Michaela
On the complexity of tree pattern matching Koch BSc.
Götzmann, Daniel Norbert
Formale Begriffsanalyse in Java Zeller BSc.
Grochulla, Martin Peter
Trust model for eVoting Backes BSc.
Haddad, Walid
Inequality constraints on synchronization counters Finkbeiner BSc.
Hardt, Moritz A. W.
Testing polynomial identities with fewer random bits Bläser Dipl./MSc.
Haupert, Jens
Ein Werkzeug zur Modellierung und Simulation von Benutzerassistenzsystemen in instrumentierten Umgebungen Wahlster Dipl./MSc.
Haupt, Thorsten
New methods for median filtering Weickert Dipl./MSc.
Heinz, Johannes
Implementation of an Approximate Information Filtering Approach (MAPS) Weikum Dipl./MSc.
Hemmer, Michael
Exact computation of the adjacency graph of an arrangement of quadrics Diss./ PhD
Heß, Karin
Automatische Verknüpfung historischer und zeitgenößischer Wörterbücher und Enzyklopädien Weikum Dipl./MSc.
Hörz, Maël
Cache-aware procedure placement at compile-time Wilhelm BSc.
Hritcu, Catalin
Step-indexed semantic model of types for the functional object calculus Smolka Dipl./MSc.
Hussain, Muhammad Sarmad
Decoder-supported automated image quality analysis for HDTV broadcast Herfet Dipl./MSc.
Ihrke, Ivo
Reconstruction and rendering of time-varying natural phenomena Seidel, H. P. Diss./ PhD
Isak-Geidel, Sergej
Implementierung eines Tools für Übersetzungs aus C0-Quellcode in die Smallstep-Semantik in Isabelle/HOL Paul BSc.
Jansen, Thomas
On the complexity of evaluating conjunctive queries Koch Dipl./MSc.
Kahl, Gerrit
Ausgabeplanung für einen mobilen multimodalen Einkaufsassistenten Wahlster BSc.
Kahl, Gerrit
PEG und MaMiNa: Erkennung von Zeigegesten in einer instrumentierten Umgebung und auf Landmarken basierte Wegsuche zur Navigation Wahlster Dipl./MSc.
Karrenbauer, Andreas
Engineering combinatorial optimization algorithms to improve the lifetime of OLED displays Mehlhorn Diss./ PhD
Karrenberg, Ralf
Memory aware realtime ray tracing: the bounding plane hierarchy Slussallek BSc.
Katov, Marin
Ray Tracing of Points Slusallek Dipl./MSc.
Kaufer, Frank
WSMO-MX: A logic programming based hybrid Semantic Web service matchmaker Siekmann Dipl./MSc.
Keppner, Christoph
Automatisiertes Testen mit DHC Vision und SAP eCATT Wilhelm Dipl./MSc.
Kerber, Jens
Digital Art of Bas-Relief Sculpting Seidel, H.-P. Dipl./MSc.
Kersten, Christian
Kamera- und markerbasierte Interaktion auf mobilen Geräten Wahlster BSc.
Khan, Nazar
Silhouette-based 2D-3D pose estimation using implicit algebraic surfaces Weickert Dipl./MSc.
Kohn, Sascha
Wiedergabe und Präsentation von tracebasierten Implementierungssichten über den Linuxkern Scheidig Dipl./MSc.
Kohn, Sascha
Wiedergabe und Präsentation von tracebasierten Implementierungssichten über den Linuxkern Scheidig Dipl./MSc.
Kopp, alina
Design and implementation of an automatic semantic annotation service Weikum Dipl./MSc.
Krauß, Christopher
Information flow control for semantic web services Siekmann Dipl./MSc.
Krawczyk, Grzegorz Marek
Perception-inspired tone mapping H.-P. Seidel Diss./ PhD
Kuhlmann, Marco
Dependency structures and lexicalized grammars Herfet Diss./ PhD
Kuhlmann, Marco
Dependency structures and lexicalized grammars Seidel Diss./ PhD
Lang, Benjamin
Parameterisierbares Layout inhaltsorientierter, multi-modaler Zusammenfassungen von Meetings anhand der Zeitungsmetapher in einem Constraint basierten Ansatz Wahlster Dipl./MSc.
Lintu, Andrei
Realistic rendering and reconstruction of astronomical objects and an aumented reality application for astronomy Dipl./MSc.
Lorig, Daniel
Automatische Testfall-Erzeugung für das Debugging-Werkzeug JINSI Zeller Dipl./MSc.
Lucas, Philipp
CGIS: high-level data-parallel GPU programming Wilhelm Diss./ PhD
Machablishvili, Levan
Computing k-hop broadcast trees exactly %?% Dipl./MSc.
Mai, Steven
Replayer - Visualizing process replay Zeller BSc.
Mainberger, Markus
Computing the fundamental matrix in computer vision from dense optic flow fields Weickert BSc.
Marchenkova, Anna
Design and Implementation of DDR SDRAM Memory Controller Paul Dipl./MSc.
Matijevic, Domagoj
Geometric optimization and querying exact & approximate Wilhelm Diss./ PhD
Mehlmann, Gregor
Die SSL-Shading-Sprache Slusallek BSc.
Meier, Marc
Complexity of search problems and Nash equilibria Bläser BSc.
Metzger, Steffen
High-order difference unification and waverule categorization Siekmann BSc.
Michel, Sebastian
Top-K aggregation queries in large-scale distributed systems Herfet Diss./ PhD
Mileva, Yana Momchilova
Invariance with optic flow Weickert Dipl./MSc.
Mohammadi, Esfandiar
Denotational Semantics for Propositional Light Affine Logic Smolka BSc.
Moll, Andreas
Ballview Lehnhof Diss./ PhD
Morbach, Christian
FIRMS - A framework for interactive and resource-adaptive multimedia streaming Wahlster BSc.
Müller, Markus
Implementing Fuzzy identity-based encryption Backes BSc.
Müller, Robert
Binäre Codierung XML-basierter DVB-Service-Informationen Herfet BSc.
Nasar, Noreen
Finite element method for diffusion filtering Weickert Dipl./MSc.
Nenova, Stefana Sashova
Extraction of attack signatures Zeller Dipl./MSc.
Neuhaus, Stephan
Repeating the past experimental and empirical methods in system and software security Zeller Diss./ PhD
Omyla, Daniel
Implementation quantenmechanischer Verfahren für die Bibliothek BALL Hildebrandt BSc.
Pandey, Gaurav
Retrieval model enhancement by implicit feedback from query logs Weikum Dipl./MSc.
Pecina, Kim Rouven
Mechanized verification of security protocols using causality-based abstractions Backes BSc.
Pekczynski, Patrick
Domain approximations for finite set constraint variables Department of Computer Science Dipl./MSc.
Pekczynski, Patrick
Domain approximations for finite set constraint variables Smolka Dipl./MSc.
Peng, Shu
Adaptive recursive filters Weickert BSc.
Pentchev, Hristo
Verified expression evaluation for multiplication and division Paul Dipl./MSc.
Persch, Nico
Multiframe superresolution image synthesis by variational optic flow compensation and Wiener filtering Weickert BSc.
Petrova, Elena
Verification of the C0 compiler implementation on the source code level Paul Diss./ PhD
Pfleger, Norbert
Context-based multimodal interpretation: An integrated approach to multimodal fusion and discourse processing Wahlster Diss./ PhD
Pinkel, Simon Georg
Alice server pages Smolka BSc.
Poczobut-Maul, Jerzy
Elastic regularization for motion estimation Weickert BSc.
Pohl, Andreas
Developing failure-relevant metrics Zeller Dipl./MSc.
Putz, Oliver
Approximation algorithms for the multi-criteria MAX TSP problem Bläser BSc.
Pyrga, Evangelia
Ahortets paths in time-dependent networks and their applications Max-Planck-Insitute for Computer Science Dipl./MSc.
Quirin, Thomas
Design and implementation of an encryption system for smartphones Siekmann Dipl./MSc.
Rahmani, Ali
Graphische Darstellung eines Tagessollplanes Siekmann BSc.
Rauch, Bernd Michael
Virtualizatin of memory-based devices Scheidig Dipl./MSc.
Reolon, Frank
Kontextsensitive, P2P-basierte Erkennung und Darstellung von Gefahren in einer Motorradumgebung Wahlster Dipl./MSc.
Roller, Robert
Adaption eines multimodalen Dialogsystems für Infotainmentapplikationen und die Integration in eine Embedded-Platform im Automobil Wahlster Dipl./MSc.
Rumpler, Martin
Statusbasierte Verhaltenssteuerung von virtuellen Charakteren Wahlster Diss./ PhD
Ruth, Ingo
Entwurf und Implementierung eines auditiven Informationssystems für Benutzergruppen im Zoo Wahlster BSc.
Schaadt, Christian
Taktische Kartenanalyse für Ressourcen-Management und Stadt-Planung in Echtzeitstrategiespielen Siekmann BSc.
Schaefer, Peter
Qualitative investigation of edge-preserving nonlinear denoising approaches Weickert BSc.
Scheuer, Oliver
Aufbereitung und Analyse von Benutzeraktionen in intelligenten Lernsystemen Melis Dipl./MSc.
Schilz, Manuel
High-Resolution multiple points tracking on the GPU Seidel, H.-P. BSc.
Schmidt Frank
Trading Systeme für Market timing Schmidt Dipl./MSc.
Schmitt, Daniel
WNETS Max-Planck-Insitute for Computer Science Dipl./MSc.
Schmitt, Daniel
A framework for testing and evaluating algorithms and models for wireless sensor networks Mehlhorn Dipl./MSc.
Scholz, Volker
New editing techniques for video post-processing Seidel Diss./ PhD
Schreck, Daniel
Quality of source level documentation Zeller Dipl./MSc.
Schröter, Adrian
Mining significant patterns from software evolution Zeller Dipl./MSc.
Schubotz, Rene
Programming and simulation of quantum agents Siekmann Dipl./MSc.
Shi, Wangjun
Erstellung einer graphischen Oberfläsche für das Analysetool xGCC Podelski BSc.
Sing, Tobias
Model-based anti-HIV therapy   Diss./ PhD
Solomon, Silvana
Evaluation of relevance feedback algorithms for XML retrieval Weikum Dipl./MSc.
Spohn, Marco
Multikriterielle Analyse im Bereich der Persönlichen Finanzplanung Schmidt Dipl./MSc.
Stadtmüller, Marco
An XPath 2.0 full-text query parser for the TopX search engine Weikum BSc.
Tevs, Art
Realistic real-time rendering of refractive objects Seidel, H.-P. Dipl./MSc.
Thielen, Martin
Design and development of a quality of service framework for the network-integrated multimedia middleware (NMM) Slusallek Dipl./MSc.
Tsonkov, Hristo
Der Unterschied zwischen Web Content Accessibility Guidelines 1.0 und 2.0 und die Auswirkung auf das Gesetz "Barrierefreie Informationstechnik - Verordnung" (BITV) Wahlster BSc.
Tzigarov, Hristo
Extended Oracle proof methods for Isabelle/HOL: Reflection and SMV support Paul Dipl./MSc.
Ullrich, Carsten
Course generation as a hierarchical task network planning problem Siekmann Diss./ PhD
Vela, Ovidiu-Iulian
Taxonomie-basierte Informationsextraktion aus heterogenen Finanzberichten für Business Intelligence Anwendungen Krieger BSc.
Wallacher, Erik
Das direkte und inverse akustische Streuproblem im Rd Herfet Diss./ PhD
Walz, Alexander
Design, Implementierung und Analyse von Verhandlungsstrategien und Koordinationsmechanismen für Geschäftsagenten in Wertschöpfungsnetzwerken Siekmann Dipl./MSc.
Wang, Fei-Yue
Entwurf eines Multiline Addressing Schemas für passive Matrix OLED-Display mittels nichtnegativer Matrix Zerlegung Slusallek Dipl./MSc.
Warwas, Stefan
Deploying Service-Oriented Architectures with Multi-Agent Systems: A Model-Driven Approach Siekmann Dipl./MSc.
Weber, Ingmar
Efficient index structures for and applications of the CompleteSearch engine Smolka Diss./ PhD
Weiß, Cathrin
Mining vulnerability patterns in Mozilla Zeller Dipl./MSc.
Wender, Johannes
XPlanA: Situiert adaptives Offlineplanen für Agenten mittels maschineller Lernverfahren Siekmann Dipl./MSc.
Wischnewski, Patrick
Contextual rewriting in SPASS Hermanns Dipl./MSc.
Woop, Sven
DRPU a programmable hardware architecture for real-time ray tracing of coherent dynamic scenes Slusallek Diss./ PhD
Xing, Zhiguo
Eine MetaSuchmaschine SouSou für semantische Webdienste Wahlster Dipl./MSc.
Yuan, Ye
Design and implementation of a camera-based bar code recognition software for windows mobile devices Weickert Dipl./MSc.
Yürekli, Süleyman
A calculus for a subset of XQuery and its optimization Koch Dipl./MSc.
Zayer, Rhaleb
Numerical and variational aspects of mesh parameterization and editing Herfet Diss./ PhD
Ziaja, Sebastian
Finanzinformationssysteme Schmidt BSc.
Ziemer, Harald
Prototypische Entwicklung eines Softwarewerkzeuges zur Integration heterogener Modelle in verteilten Kooperationsumgebungen Schmidt Dipl./MSc.
Zimmer, Henning Lars
PDE-based Image Compression using Corner Information Weickert Dipl./MSc.
Zimmer, Sebastian
Rotational invariant block matching for the nonlocal means algorithm for image denoising Weickert BSc.
Zimmer, Stephan
Intelligent combination of a first order theorem prover and SMT procedures Weidenbach Dipl./MSc.
Freunde der Saarbrücker Informatik