|
|
|
Name |
Titel |
Typ |
Lehrstuhl/Betreuer |
Abushammala, Mohammed |
Formal verification of VSE proof rules |
Bac |
Stephan |
Aubertin, Tim |
Enhanced proximity search for the complete search engine |
Dipl, MSc |
Bast |
Backes, Christina |
GeneTrail a statistical framework and web-application for analyzing gene set characteristics |
Dipl, MSc |
Lenhof |
Baktiev, Murat |
Permutation semantics of separation logic |
Dipl, MSc |
Smolka |
Bartels, Norbert |
Tangible user interface |
Bac |
|
Bauer, Jörg |
Analysis of communication topologies by partner abstraction |
Diss |
Wilhelm |
Benthin, Carsten |
Realtime ray tracing on current CPU architectures |
Diss |
Slusallek |
Böhm, Peter |
Implementation of the high-level components of a bus controller for a time-triggered serial bus |
Bac |
Paul |
Brandherm, Boris |
Eingebettete dynamische Bayessche Netze n-ter Ordnung |
Diss |
Herfet |
Bruhn, Andrés |
Variationelle optische Flussberechnung |
Diss |
Weickert |
Cai, Yiwen |
Verification of TCP open and close phase |
Dipl, MSc |
Finkbeiner |
Chirawatkul, Pleng |
Stuctured peer-to-peer search to build a bibliographic paper recommendation system |
Dipl, MSc |
Weikum |
Debusmann, Ralph |
Extensible dependency grammar: a modular grammar formalism based on multigraph description |
Diss |
Herfet |
Dell, Holger |
Seed points in PDE-driven interpolation |
Bac |
Weickert |
Dementiev, Roman |
Algorithm engineering for large data sets |
Diss |
Herfet |
Demir, Melih |
Predicting component failures at early design time |
Dipl, MSc |
Zeller |
Dietrich, Dominik |
The task-layer of the OMEGA system |
Dipl, MSc |
Siekmann |
Dimitrova, Rayna |
Model checking with abstraction refinement for well-structured systems |
Dipl, MSc |
Podelski |
Dollmann, Thorsten |
Fuzzy business process modeling: Konzeption und Implementierung eines Modellierungswerkzeugs zur Berücksichtigung unscharfer Informationen in Geschäftsprozessmodellen |
Dipl, MSc |
Scheer |
Eisentraut, Christian |
Strongly convergent weak bisimulation congruence |
Bac |
Hermanns |
El-Abed, Sascha |
A computer graphics-based analysis-by-synthesis approach for the joint recovery of the gas and dust distributions in bipolar planetary nebulae from visible and radio wavelength observations |
Bac |
Magnor |
Epoh, Jean Gilbert |
Interactive location-centered broadband informationplatform |
Dipl, MSc |
Wahlster |
Fallmann, Sergej |
Progressive global illumination for highly complex models |
Dipl, MSc |
Slusallek |
Feld, Michael |
Erzeugung von Sprecherklassifikationsmodulen für multiple Plattformen |
Dipl, MSc |
Wahlster |
Fermüller, Christian G. |
Run-time byte code compilation optimization, and interpretation for Alice |
Dipl, MSc |
Smolka |
Fischer, Daniel |
Alwis - A visualization tool for concept based retrieval schemes |
Bac |
Mehlhorn |
Fischer, Sabine |
Formal verification of a big integer library written in C0 |
Bac |
Paul |
Fouz, Mahmoud |
Hereditary discrepancies in different numbers of colors |
Bac |
Doerr |
Franzen, Bärbel |
Codegenerierung für CSP-OZ |
Bac |
Wilhelm |
Fries, Benedikt |
OWLS-MX Hybride Suche von semantischen Webdiensten |
Dipl, MSc |
Siekmann |
Fuchs, Denitza |
Verteilte Annotation von Dokumenten - Entwurf und Implementierung eines modularen Annotationsservers auf Basis von NLP-Technologien |
Bac |
Weikum |
Gebhard, Gernot |
A pattern matcher generator for retargetable code generation and optimisation |
Dipl, MSc |
Wilhelm |
Germesin, Sebastian |
Spracherkennung mit dynamisch geladenen, spezifischen Akustikmodellen |
Bac |
Wahlster |
Gorius, Manuel |
Umsetzung digitaler TV-Signale auf das DVB-IPI Streaming-Format |
Bac |
Herfet |
Grabowski, Robert |
Computational aspects of non-projective dependencs grammars |
Dipl, MSc |
Smolka |
Graupmann, Jens |
Die Sphere-Search-Suchmaschine zur graphbasierten Suche auf heterogenen, semistrukturierten Daten |
Diss |
Weikum |
Groß, Andreas |
Erstellen von Zustandsgraphen mit dem GDB |
Bac |
Zeller |
Groß, Anne |
Enhancing the usability of an information management application |
Dipl, MSc |
Wahlster |
Groß, Christian |
Dienstgüte und Energieverbrauch in IEEE 802.15.4 und ZigBee |
Dipl, MSc |
Hermanns |
Grundmann, Benedikt |
Alwis - A visualization tool for concept based retrieval schemes |
Bac |
Mehlhorn |
Guo, Xing |
Improving fold recognition using protein and domain interactions |
Dipl, MSc |
Lengauer |
Hachenberger, Peter |
Boolean operations on 3d selective nef complexes |
Diss |
|
Hardt, Moritz |
Hybrid logic revisited |
Bac |
Smolka |
Horbach, Matthias |
Proof nets for intuitionistic logic |
Dipl, MSc |
Smolka |
Hümbert, Christian |
Parametric WCET analysis |
Dipl, MSc |
Wilhelm |
Hussong, René |
A parallel wavelet-based genetic algorithm for the structural interpretation of protein ENDOR spectra |
Dipl, MSc |
Lenhof |
Huwig, Kurt |
Fallstudie: Randomisierte Stress-Tests des SPONTS |
Bac |
Zeller |
Iqbal, Yasir |
Flexible backing-off strategies for HMM based named entity recognition |
Dipl, MSc |
Weikum |
Jansen, Thomas |
Optimal join trees |
Bac |
Koch |
Kaminski, Mark |
Completeness results for higher-order equational logic |
Dipl, MSc |
Smolka |
Kärger, Philipp |
Ontologie-basierter Mediator zum Zugriff auf heterogene und verteilte Lerninhalte |
Dipl, MSc |
Melis |
Krause, Michael |
Corner detection in digital images using local tomography |
Bac |
Weickert |
Kruppa, Michael |
Migrating characters: effective user guidance in instrumented environments |
Diss |
Wahlster |
Lehmann, Karsten |
Automatisches Bestimmen fehlerverursachender Programmzustände in Eclipse |
Dipl, MSc |
Zeller |
Li, Hongbo |
Automatische Ereignis- und Relationserkennung mit Seeds von variierender Komplexität |
Dipl, MSc |
Uszkoreit |
Ludwig, Michel |
Extensions of the knuth-bendix ordering with LPO-like properties |
Dipl, MSc |
Waldmann |
Mangel, Thomas |
Query-driven term correlations for advanced P2P query routing |
Bac |
Paul |
Mantiuk, Rafal |
High-fidelity imaging |
Diss |
Herfet |
Matthies, Niklas |
Präzise Bestimmung längster Programmpfade anhand von Zustandsgraphen unter Berücksichtigung von Schleifen-Nebenbedingungen |
Dipl, MSc |
Wilhelm |
Maue, Jens |
A goal-directed shortest path algorithm using precomputed cluster distances |
Dipl, MSc |
Mehlhorn |
Meyer, Andreas |
Realtime polyhedal visual hulls |
Bac |
Paul |
Meyer, Andreas |
Generic implementation and benchmarks of a linear-time planar-map overlay algorithm |
Dipl, MSc |
Kettner |
Michail, Dimitrios |
Minimum cycle basis |
Diss |
Weikum |
Mirwald, Marcus |
Untersuchung eines segmentierten Speichermodells zur Unterstützung speicherbezogener KP-Konzepte |
Dipl, MSc |
Scheidig |
Möhl, Mathias |
Drawings as models of syntactic structure: theory and algorithms |
Dipl, MSc |
Smolka |
Parkitny, Sebastian |
A comparative study of pub / sub methods in structured p2p networks |
Dipl, MSc |
Weikum |
Pentchev, Hristo |
Verification of expression evaluation |
Bac |
Paul |
Recktenwald, Fabian |
Sampling and interpolation of the plenoptic function from sparse data |
Dipl, MSc |
Magnor |
Reichel, Joachim |
Combinatorial approaches for the trunk packing problem |
Diss |
Herfet |
Schäf, Martin |
Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften |
Dipl, MSc |
Podelski |
Schmidt, Michael |
Combined static and dynamic analysis for effective buffer minimization in streaming XQuery evaluation |
Dipl, MSc |
Koch |
Schmitt, Daniel |
Implementierung einer Überlagerung von konvexen Arrangements der Kugeloberfläche |
Bac |
Mehlhorn |
Schmittler, Jörg |
SaarCOR a hardware-architecture for realtime ray tracing |
Diss |
Slusallek |
Schneider, Thorsten |
Dynamics in large-scale peer-to-peer-networks |
Dipl, MSc |
Weikum |
Schreiber, Martin |
Neighbourhood-conscious record linkage |
Bac |
Weikum |
Schröter, Adrian |
Predicting component failures at design time |
Bac |
Zimmermann |
Schu, Isabell |
Time-series rule discovery on gene expression data |
Dipl, MSc |
Weikum |
Schuler, David |
Detecting software theft with API call sequence sets |
Dipl, MSc |
Zeller |
Schwaiger, Arndt Stephan Georg |
Modellierung und Analyse individuellen Konsumentenverhaltens mit probabilistischen Holonen |
Diss |
Herfet |
Shadrin, Andrey |
Design and implementation of the portmapper and RPC primitives in the context of the SOS |
Dipl, MSc |
Paul |
Stahmer, Björn Patrick |
SimMarket: Simulation des Abverkaufsverhaltens von Artikeln des Einzelhandels mit probabilistischen Agenten |
Diss |
Siekmann |
Stanev, Stilian |
Benutzerunterstützte Modellerfassung der Raumgeometrie mittels einer steuerbaren Projektor-Kamera-Einheit |
Dipl, MSc |
Wahlster |
Starostin, Artem |
Formal verification of a C-library for strings |
Dipl, MSc |
Paul |
Steurer, David |
Tight bounds on the min-max Boundary decomposition cost of weighted graphs |
Bac |
Mehlhorn |
Steurer, David |
An asymptotic approximation scheme for multigraph edge coloring |
Dipl, MSc |
|
Tawara, Takehiro |
Efficient global illumination for dynamic scenes |
Diss |
H. P. Seidel |
Tevs, Art |
Multi-Stereorekonstruktion nicht-lambert`scher Oberflächen mittels Graph-Cut Optimierung |
Bac |
Magnor |
Theobald, Martin |
TopX |
Diss |
Weikum |
Tolosi, Laura |
Analysis of array CGH data for the estimation of genetic tumor progression |
Dipl, MSc |
Rahnenführer |
Vrugt, Jürgen Te |
A dynamic multi-application dialog engine for task-oriented voice user interfaces |
Diss |
Herfet |
Wagner, Marc |
Mediation between text-editors and proof assistance systems |
Dipl, MSc |
Siekmann |
Wasinger, Rainer |
Multimodal interaction with mobile devices: fusing a broad spectrum of modality combinations |
Diss |
Wahlster |
Weber, Dennis |
Solving large sparse linear systems exactly |
Dipl, MSc |
Mehlhorn |
Weber, Jens M. |
Pfadsuche und Bewegung von Agentengruppen im offenen Terrain für Echtzeitstrategiespiele |
Dipl, MSc |
Siekmann |
Wellner, Christoph |
Design und Implementierung eines Mehrbenutzer-Szenarios in einer verteilten TV-Umgebung |
Dipl, MSc |
Slusallek |
Werner, Frank |
Validation and analysis of formal methods using an airbag control unit |
Dipl, MSc |
Hermanns |
Ying, Wenxiang |
Edge based HDR compression |
Dipl, MSc |
Seidel |
Yoshizawa, Shin |
Computational differential geometry tools for surface interrogation, fairing, and design |
Diss |
Slusallek |
|
|
