Abschlüsse 2004

 

 

Name Titel Jahr Lehrstuhl Typ
Ali, Safdar Architecting disparate eHealth systems interoperable through web services 2004 Fuhr Dipl,MSc
Angelova, Ralitsa Neighborhood conscious hypertext categorization 2004 Weikum Dipl,MSc
Annen, Thomas Radiance transfer using spherical harmonic gradients 2004 Hans-Peter Seidel Dipl,MSc
Backes, Werner Programmanalyse des XRTL Zwischencodes 2004 Podelski Diss
Baus, Andreas Symbolic constraints in linear integer programming 2004 Mehlhorn Dipl,MSc
Bayjanov, Jumamurat Scoring pathway activity from gene expression data 2004 Lengauer Dipl,MSc
Beier, René Probabilistic analysis of discrete optimization problems 2004 Diss
Berberich, Eric Exact Arrangements of Quadric Intersection Curves 2004 Mehlhorn Dipl,MSc
Berberich, Klaus Lorenz Time-aware and trend-based authority ranking 2004 Weikum Dipl,MSc
Bergau, Michael Globale Optimierung über Polynomappoximation am Fallbeispiel Proteindocking 2004 Dipl,MSc
Bergmeister, Achim Diffusionsfilter auf Waveletzerlegung von Audiosignalen 2004 Weickert Dipl,MSc
Bohnenberger, Thorsten Decision theoretic planning for user adaptive systems : dealing with multiple goals and resource limitations 2004 Wahlster Diss
Bouillon, Philipp A framework for delta debugging in eclipse 2004 Zeller Dipl,MSc
Broschart, Andreas Advanced divide-and-conquer algorithms for computing two-hop covers for large collections of XML documents 2004 Weikum Dipl,MSc
Burchardt, Andreas NMR-basiertes Protein-Docking 2004 keine Angabe Dipl,MSc
Cornelius, Ralf Ensuring confidentiality in BDI agent systems by using labelling 2004 Siekmann Dipl,MSc
Daubert, Katja Hardware-Supported Cloth Rendering 2004 Hans-Peter Seidel Diss
Eberhart, Andreas Ontology-based Infrastructure for Intelligent Applications 2004 Wahlster Diss
Efremov, Alexander Efficient ray tracing of trimmed NURBS surfaces 2004 Hans-Peter Seidel Dipl,MSc
Eske, Vladimir User profile management in a web search engine 2004 Weikum Dipl,MSc
Frotscher, Patrick Agentenbasierter Auktionsserver für mobilen Holzhandel 2004 Siekmann Dipl,MSc
Fuchs, Christian Acquisition of surface scattering objects 2004 Hans-Peter Seidel Dipl,MSc
Fuchs, Martin Reflectance of human faces 2004 Seidel, H. P. Dipl,MSc
Gerber, Andreas Flexible Kooperation zwischen autonomen Agenten in dynamischen Umgebungen 2004 Siekmann Diss
Gerstacker, Miriam ATHAX - animation tool for HTML and XML 2004 Weikum Dipl,MSc
Günther, Johannes Realtime caustics using distributed photon mapping 2004 Slusallek Dipl,MSc
Heinz, Thomas HiPAC 2004 Feldmann Dipl,MSc
Hochstraßer, Martin AWALOC 2004 Wahlster Dipl,MSc
Hoffmann, Simon Interactive reconstruction of image-based visual hulls in a distributed ray tracing framework 2004 Slusallek Dipl,MSc
Jacobs, Swen Instance generation methods for automated reasoning 2004 Ganzinger Dipl,MSc
Jung, Ralf Ambiente Klanglandschaften in instrumentierten Umgebungen 2004 Wahlster Dipl,MSc
Klauk, Mathias Ein Algorithmus zur Konstruktion des Voronoidiagramms von Kreisbögen 2004 Schömer Dipl,MSc
Klein, Christian Controlled perturbation for Voronoi diagrams 2004 Dipl,MSc
Knoblich, Ulf Biologically motivated learning for information extraction from semi-structured documents 2004 Siekmann Dipl,MSc
Koster, Martin Real-time rendering of human hair using programmable graphics hardware 2004 Hans-Peter Seidel Dipl,MSc
Küntzer, Jan Modellierung und Implementierung einer Datenbank für BioMiner 2004 Lenhof Dipl,MSc
Lambert, Christian Modellierung dreidimensionaler Simulationen mit Hilfe von Verhaltensautomaten 2004 Wilhelm Dipl,MSc
Lauer, Christoph Speichergraphen f"ur Java Programme 2004 Zeller Dipl,MSc
Leidinger, Alexander A virtual memory architecture for ray tracing hardware 2004 Slusallek Dipl,MSc
Li, Ming Towards real-time novel view synthesis using visual hulls 2004 Seidel Diss
Luxenburger, Julia Query-log based authority analysis for web information search 2004 Weikum Dipl,MSc
Matheis, Thomas Business Integration: Entwicklung von Konzepten und Werkzeugen zum Aufbau und Betrieb von kollaborativen date warehouses 2004 Scheer Dipl,MSc
Meier, Andreas Proof Planning with Multiple Strategies 2004 Seidel Diss
Michels, Thomas Intelligente Informationssuche und Organisation von handwerksrelevanten Webseiten für das Handwerkerinformationsportal (HIP) 2004 Weikum Dipl,MSc
Mukherjee, Rupali Ambient graphics for an informative picture frame 2004 Wahlster Dipl,MSc
Naujoks, Rouven A heuristic for solving interior point methods exactly 2004 Dipl,MSc
Nieser, Ralf Argo 2004 Uszkoreit Dipl,MSc
Odeh, Marwan Topologische Dependenzgrammatik fürs Arabische 2004 Smolka BSc
Oertzen, Georg Timo von Das Konstruktionsproblem 2004 Slusallek Diss
Ohlmann, Michael Variability of pocket round-trip times and passive bottleneck bandwidth estimation 2004 Weikum Diss
Olejnik, Daniel OntoLT 2004 Uszkoreit Dipl,MSc
Osbild, Ralf Präsentation und Realisierung eines deterministischen Algorithmus zur Lösung des 3-dimensionalen Durchmesserproblems nach Sergei Bespamyatnikh 2004 Seidel, R. Dipl,MSc
Park, Wooseok Dynamische und vertrauensbasierte Koalitionsbildung zwischen Informationsagenten 2004 Siekmann Dipl,MSc
Parshin, Oleg Formal Simulation of Machine Instructions with Interrupts by Assembler Instructions 2004 Dipl,MSc
Priesnitz, Tim Subtype satisfiability and entailment 2004 Niehren Diss
Puin, Rolf-Armin Development and analysis of a multi-agent based architecture for supply chain simulations 2004 Siekmann Dipl,MSc
Pyda, Varadarajulu Reddy Integration of light weight workflow managment system with content management system using web services 2004 Weikum Dipl,MSc
Ray, Rahul Geometric Algorithms for Object Placement and Planarity in a Terrain 2004 Mehlhorn Diss
Rock, Georg Formal Methods for Real-Time Requirements Engineering 2004 Jörg Siekmann Diss
Rohe, Markus Efficient implementation of zero-knowledge proofs for watermark detection in multimedia data 2004 Siekmann Dipl,MSc
Rupp, Andy A software system for packet trace customization with application to NIDS evaluation 2004 Feldmann Dipl,MSc
Rurainski, Alexander Semidefinite Programmierung in der Bioinformatik 2004 Lenhof Dipl,MSc
Rybalchenko, Andrey Temporal verification with transition invariants 2004 Wilhelm Diss
Schäf, Martin Rekonstruktion von bewegtem Stoff mittels diekter Suchverfahren 2004 Slusallek BSc
Schäfer, Guido Worst case instances are fragile 2004 Diss
Schaffrath, Gregor Aufzeichnung von Angriffen in hochvolumigen Netzwerken mit Mitteln der Intrusion Detection 2004 Feldmann Dipl,MSc
Schillo, Michael Multiagent robsustness: autonomy vs. organisation 2004 Siekmann Diss
Schmaltz, Christian Photon path distribution in inhomogeneous scattering media 2004 Hans-Peter Seidel Dipl,MSc
Schmidt, Michael Bernward Security Wirkung von Fault Injection Tests 2004 Dipl,MSc
Schregle, Roland Daylight simulation with photon maps 2004 Seidel, H. P. Diss
Schultheis, Holger Verfahren zur Interpolation physiologischer Daten zur Online-Erkennung kognitiver und affektiver Benutzerzustände 2004 Wahlster Dipl,MSc
Schwarz, Ulrich Implementierung und Analyse von agentenbasierten Marktmechanismen zur Gestaltung effizienter Wertschöpfungsnetzwerke 2004 Siekmann Dipl,MSc
Shi, Kuangyu Extracting the topological structure of higher order critical points of 3D vector fields 2004 Seidel Dipl,MSc
Simon, Jens TwinUX@SB 2004 Scheidig Dipl,MSc
Sivadasan, Naveen Online Problems and Two-Player Games: Algorithms and Analysis 2004 Mehlhorn Diss
Sokoll, Thorsten Einsatz von CSCW (Computer Supported Cooperative Work) und Groupware zur Optimierung von Arbeitsabläufen 2004 Hotz Dipl,MSc
Spassova, Lübomira Fluid Beam - Konzeption und Realisierung eines Display-Kontinuums mittels einer steuerbaren Projektor-Kamera-Einheit 2004 Butz Dipl,MSc
Stutz, Bernhard Suchstrategien für optimale Katalysatoren in der kombinatorischen Chemie 2004 Lenhof Dipl,MSc
Theis, David Dekonvolution digitaler Bilder 2004 Weickert Dipl,MSc
Thesing, Stephan Safe and precise WCET determination by abstract interpretation of pipeline models 2004 Wilhelm Diss
Thiel, Sven Efficient algorithms for constraint propagation and for processing tree descriptions 2004 Diss
Tichy, Carsten Intelligente, agentenbasierte Ressourcenverwaltung innerhalb der CASA-Dienstesuite 2004 Siekmann Dipl,MSc
Tsyba, Vasily Formal specification and verification of the L4 task scheduler 2004 Paul Dipl,MSc
Warken, Thomas Collision detection for curved rigid objects in the context of dynamics simulations 2004 Mehlhorn Diss
Weißgerber, Peter Design and Application of an API for Mining CVS Repositories 2004 Dipl,MSc
Werth, Kai EXUS - EXact Union of Spheres 2004 Mehlhorn Dipl,MSc
Wesche, Gerold Conceptual free-form styling in virtual environments 2004 Seidel Diss
Wiegratz, Steffen Instruktionsanordnung durch Tabu-Suche 2004 Wilhelm Dipl,MSc
Wies, Thomas Symbolic shape analysis 2004 Podelski Dipl,MSc
Wilhelm, Michael Johannes Analyse und Visualisierung von Softwaresystemen in Bezug auf Stabilit"at, Wartbarkeit und Wiederverwendbarkeit 2004 Wilhelm Dipl,MSc
Winkel, Sebastian Optimal global instruction scheduling for the Itanium processor architecture 2004 Wilhelm Diss
Woop, Sven A ray tracing hardware architecture for dynamic scenes 2004 Slusallek Dipl,MSc
Yoshida, Akiko Perceptual evaluation of tone mapping operators 2004 Hans-Peter Seidel Dipl,MSc
Yu, Hang Importance sampling in photon tracing 2004 Hans-Peter Seidel Dipl,MSc
Zeitlin, Georgi Jewsejewitsch Retraining of the text classifiers and meta-learning 2004 Weikum BSc
Zenner, Christian Agentenbasierte Verhandlungsmechanismen für die Bildung virtueller Unternehmensstrukturen 2004 Siekmann Dipl,MSc
Freunde der Saarbrücker Informatik