|
|
|
| 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 |
|
|