Startseite
Aktuell
Vereinsportrait
Vorstand
Guenter-Hotz-Medaille
Bachelor-Preis
Infobrief
Veranstaltungen
Mitglied werden
Jobs
Service
Alumni Netzwerk
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.
 
  Created and designed by FdSI Impressum