PhD Thesis Publications of the International Max Planck Research School for Computer Science

2025

  1. Thesis
    D1IMPR-CS
    “Share-Based and Envy-Based Approaches to Fair Division of Indivisible Goods,” Universität des Saarlandes, Saarbrücken, 2025.

2024

  1. Thesis
    D2IMPR-CS
    “Efficient and Differentiable Combinatorial Optimization for Visual Computing,” Universität des Saarlandes, Saarbrücken, 2024.
  2. Thesis
    D2IMPR-CS
    “Towards Designing Inherently Interpretable Deep Neural Networks for Image Classification,” Universität des Saarlandes, Saarbrücken, 2024.
  3. Thesis
    D1IMPR-CS
    “Algorithms for Knapsacks, Paths and Strings,” Universität des Saarlandes, Saarbrücken, 2024.
  4. Thesis
    D2IMPR-CS
    “Advancing Image and Video Recognition with Less Supervision,” Universität des Saarlandes, Saarbrücken, 2024.
  5. Thesis
    D6IMPR-CS
    “Physically Plausible 3D Human Motion Capture and Synthesis with Interactions,” Universität des Saarlandes, Saarbrücken, 2024.
  6. Thesis
    D4IMPR-CSD6
    “Representing and Reconstructing General Non-rigid Objects with Neural Models,” Universität des Saarlandes, Saarbrücken, 2024.

2023

  1. Thesis
    D4IMPR-CS
    “Perceptually Driven Methods for Improved Gaze-contingent Rendering,” Universität des Saarlandes, Saarbrücken, 2023.
  2. Thesis
    D5IMPR-CS
    “Enriching Open-world Knowledge Graphs with Expressive Negative Statements,” Universität des Saarlandes, Saarbrücken, 2023.
  3. Thesis
    D4IMPR-CS
    “Efficient Image-Based Rendering,” Universität des Saarlandes, Saarbrücken, 2023.
  4. Thesis
    D1IMPR-CS
    “Beyond Flatland : Exploring Graphs in Many Dimensions,” Universität des Saarlandes, Saarbrücken, 2023.
  5. Thesis
    D1IMPR-CS
    “Algorithms for Sparse Convolution and Sublinear Edit Distance,” Universität des Saarlandes, Saarbrücken, 2023.
  6. Thesis
    D4IMPR-CSD2
    “Learning-based 3D Human Motion Capture and Animation Synthesis,” Universität des Saarlandes, Saarbrücken, 2023.
  7. Thesis
    RG1IMPR-CS
    “On a Notion of Abduction and Relevance for First-Order Logic Clause Sets,” Universität des Saarlandes, Saarbrücken, 2023.
  8. Thesis
    BIOIMPR-CS
    “Predicting and Analyzing HIV-1 Adaptation to Broadly Neutralizing Antibodies and the Host Immune System Using Machine Learning,” Universität des Saarlandes, Saarbrücken, 2023.
  9. Thesis
    D5IMPR-CS
    “Subgroup Discovery for Structured Target Concepts,” Universität des Saarlandes, Saarbrücken, 2023.
  10. Thesis
    D2IMPR-CS
    “Learning from Imperfect Data Incremental Learning and Few-shot Learning,” Universität des Saarlandes, Saarbrücken, 2023.
  11. Thesis
    D3IMPR-CS
    “Towards Uncovering Hidden Internet Traffic Characteristics,” Universität des Saarlandes, Saarbrücken, 2023.
  12. Thesis
    D3IMPR-CS
    “Towards Enabling Cross-layer Information Sharing to Improve Today’s Content Delivery Systems,” Universität des Saarlandes, Saarbrücken, 2023.
  13. Thesis
    D3IMPR-CS
    “Routegazing Analysing the Evolving Internet Routing Ecosystem,” Universität des Saarlandes, Saarbrücken, 2023.
  14. Thesis
    D3IMPR-CS
    “Characterizing the loT Ecosystem at Scale,” Universität des Saarlandes, Saarbrücken, 2023.
  15. Thesis
    D4IMPR-CS
    “Design and Applications of Perception-based Mesh, Image, and Display-related Quality Metrics,” Universität des Saarlandes, Saarbrücken, 2023.

2022

  1. Thesis
    D1IMPR-CS
    “Hazard-free Clock Synchronization,” Universität des Saarlandes, Saarbrücken, 2022.
  2. Thesis
    D5IMPR-CS
    “Knowledge Extraction from Fictional Texts,” Universität des Saarlandes, Saarbrücken, 2022.
  3. Thesis
    D5IMPR-CS
    “More than the sum of its parts,” Universität des Saarlandes, Saarbrücken, 2022.
  4. Thesis
    D5IMPR-CS
    “Data Science Methods for the Analysis of Controversial Social Media Discussions,” Universität des Saarlandes, Saarbrücken, 2022.
  5. Thesis
    D4IMPR-CS
    “Latency Hiding and High Fidelity Novel View Synthesis on Thin Clients Using Decoupled Streaming Rendering from Powerful Servers,” Universität des Saarlandes, Saarbrücken, 2022.
  6. Thesis
    D2IMPR-CS
    “Lifted Edges as Connectivity Priors for Multicut and Disjoint Paths,” Universität des Saarlandes, Saarbrücken, 2022.
  7. Thesis
    D5IMPR-CS
    “Entities with Quantities: Extraction, Search and Ranking,” Universität des Saarlandes, Saarbrücken, 2022.
  8. Thesis
    D1IMPR-CS
    “On Time, Time Synchronization and Noise in Time Measurement Systems,” Universität des Saarlandes, Saarbrücken, 2022.
  9. Thesis
    D5IMPR-CS
    “Operationalizing Fairness for Responsible Machine Learning,” Universität des Saarlandes, Saarbrücken, 2022.
  10. Thesis
    D1IMPR-CS
    “Fine-Grained Complexity and Algorithm Engineering of Geometric Similarity Measures,” Universität des Saarlandes, Saarbrücken, 2022.
  11. Thesis
    D2IMPR-CS
    “Understanding and Improving Robustness and Uncertainty Estimation in Deep Learning,” Universität des Saarlandes, Saarbrücken, 2022.
  12. Thesis
    D5IMPR-CS
    “Extracting Personal Information from Conversations,” Universität des Saarlandes, Saarbrücken, 2022.
  13. Thesis
    D6IMPR-CSD4
    “3D Hand Reconstruction From Monocular Camera With Model-Based Priors,” Universität des Saarlandes, Saarbrücken, 2022.
  14. Thesis
    D1IMPR-CS
    “Pulse Propagation, Graph Cover, and Packet Forwarding,” Universität des Saarlandes, Saarbrücken, 2022.

2021

  1. Thesis
    D2IMPR-CS
    “Long-term future prediction under uncertainty and multi-modality,” Universität des Saarlandes, Saarbrücken, 2021.
  2. Thesis
    D1IMPR-CS
    “Finding Fair and Efficient Allocations,” Universität des Saarlandes, Saarbrücken, 2021.
  3. Thesis
    BIOIMPR-CS
    “Novel graph based algorithms fortranscriptome sequence analysis,” Universität des Saarlandes, Saarbrücken, 2021.
  4. Thesis
    D5IMPR-CS
    “Explainable Methods for Knowledge Graph Refinement and Exploration via Symbolic Reasoning,” Universität des Saarlandes, Saarbrücken, 2021.
  5. Thesis
    D5IMPR-CS
    “Enhancing Explainability and Scrutability of Recommender Systems,” Universität des Saarlandes, Saarbrücken, 2021.
  6. Thesis
    D4IMPR-CS
    “Real-time human performance capture and synthesis,” Universität des Saarlandes, Saarbrücken, 2021.
  7. Thesis
    D3IMPR-CS
    “From the Edge to the Core: Towards Informed Vantage Point Selection for Internet Measurement Studies,” Universität des Saarlandes, Saarbrücken, 2021.
  8. Thesis
    D5IMPR-CS
    “Discovering robust dependencies from data,” Universität des Saarlandes, Saarbrücken, 2021.
  9. Thesis
    D5IMPR-CS
    “Information-Theoretic Causal Discovery,” Universität des Saarlandes, Saarbrücken, 2021.
  10. Thesis
    BIOIMPR-CSD5
    “Structural Building Blocks in Graph Data,” Universität des Saarlandes, Saarbrücken, 2021.
  11. Thesis
    D5IMPR-CS
    “Text-image synergy for multimodal retrieval and annotation,” Universität des Saarlandes, Saarbrücken, 2021.
  12. Thesis
    D2IMPR-CSD4
    “From Pixels to People,” Universität des Saarlandes, Saarbrücken, 2021.
  13. Thesis
    D1IMPR-CS
    “Variety Membership Testing in Algebraic Complexity Theory,” Universität des Saarlandes, Saarbrücken, 2021.
  14. Thesis
    BIOIMPR-CS
    “Computational solutions for addressing heterogeneity in DNA methylation data,” Universität des Saarlandes, Saarbrücken, 2021.
  15. Thesis
    D5IMPR-CS
    “Deep Latent-Variable Models for Neural Text Generation,” Universität des Saarlandes, Saarbrücken, 2021.
  16. Thesis
    D2IMPR-CS
    “Adversarial Content Manipulation for Analyzing and Improving Model Robustness,” Universität des Saarlandes, Saarbrücken, 2021.
  17. Thesis
    D4IMPR-CS
    “Self-supervised reconstruction and synthesis of faces,” Universität des Saarlandes, Saarbrücken, 2021.
  18. Thesis
    D1IMPR-CS
    “Counting Patterns in Strings and Graphs,” Universität des Saarlandes, Saarbrücken, 2021.

2020

  1. Thesis
    BIOIMPR-CS
    “Computational models of gene expression regulation,” Universität des Saarlandes, Saarbrücken, 2020.
  2. Thesis
    D5IMPR-CS
    “Causal Inference on Discrete Data,” Universität des Saarlandes, Saarbrücken, 2020.
  3. Thesis
    RG1IMPR-CS
    “Formalization of Logical Calculi in Isabelle/HOL,” Universität des Saarlandes, Saarbrücken, 2020.
  4. Thesis
    D2IMPR-CS
    “Improved Methods and Analysis for Semantic Image Segmentation,” Universität des Saarlandes, Saarbrücken, 2020.
  5. Thesis
    D2IMPR-CSD4
    “Towards Accurate Multi-Person Pose Estimation in the Wild,” Universität des Saarlandes, Saarbrücken, 2020.
  6. Thesis
    D1IMPR-CS
    “Of Keyboards and Beyond,” Universität des Saarlandes, Saarbrücken, 2020.
  7. Thesis
    IMPR-CSBIO
    “Interpretable methods in cancer diagnostics,” Universität des Saarlandes, Saarbrücken, 2020.
  8. Thesis
    D2IMPR-CS
    “Multicut Optimization Guarantees & Geometry of Lifted Multicuts,” Universität des Saarlandes, Saarbrücken, 2020.
  9. Thesis
    D4IMPR-CS
    “Live inverse rendering,” Universität des Saarlandes, Saarbrücken, 2020.
  10. Thesis
    D4IMPR-CS
    “Real-time 3D Hand Reconstruction in Challenging Scenes from a Single Color or Depth Camera,” Universität des Saarlandes, Saarbrücken, 2020.
  11. Thesis
    D2IMPR-CS
    “Sensing, Interpreting, and Anticipating Human Social Behaviour in the Real World,” Universität des Saarlandes, Saarbrücken, 2020.
  12. Thesis
    D2IMPR-CS
    “Understanding and Controlling Leakage in Machine Learning,” Universität des Saarlandes, Saarbrücken, 2020.
  13. Thesis
    D1IMPR-CS
    “Approximation Algorithms for Network Design and Cut Problems in Bounded-Treewidth,” Universität des Saarlandes, Saarbrücken, 2020.
  14. Thesis
    D2IMPR-CS
    “Learning from Limited Labeled Data - Zero-Shot and Few-Shot Learning,” Universität des Saarlandes, Saarbrücken, 2020.

2019

  1. Thesis
    D5IMPR-CS
    “Question Answering over Knowledge Bases with Continuous Learning,” Universität des Saarlandes, Saarbrücken, 2019.
  2. Thesis
    BIOIMPR-CS
    “Analyzing Epigenomic Data in a Large-Scale Context,” Universität des Saarlandes, Saarbrücken, 2019.
  3. Thesis
    IMPR-CSD5
    “Enhancing Privacy and Fairness in Search Systems,” Universität des Saarlandes, Saarbrücken, 2019.
  4. Thesis
    RG1IMPR-CS
    “Decision Procedures for Linear Arithmetic,” Universität des Saarlandes, Saarbrücken, 2019.
  5. Thesis
    BIOIMPR-CS
    “From genes to transcripts : integrative modeling and analysis of regulatory networks,” Universität des Saarlandes, Saarbrücken, 2019.
  6. Thesis
    BIOIMPR-CS
    “Computational Approaches for Improving Treatment and Prevention of Viral Infections,” Universität des Saarlandes, Saarbrücken, 2019.
  7. Thesis
    BIOIMPR-CSD1D5
    “What We Leave Behind : Reproducibility in Chromatin Analysis within and Across Species,” Universität des Saarlandes, Saarbrücken, 2019.
  8. Thesis
    D5IMPR-CS
    “Search and Analytics Using Semantic Annotations,” Universität des Saarlandes, Saarbrücken, 2019.
  9. Thesis
    D5IMPR-CSD1
    “Understanding Quantities in Web Tables and Text,” Universität des Saarlandes, Saarbrücken, 2019.
  10. Thesis
    D1IMPR-CS
    “On Some Covering, Partition and Connectivity Problems in Graphs,” Universität des Saarlandes, Saarbrücken, 2019.
  11. Thesis
    D5IMPR-CS
    “Matrix Factorization over Diods and its Applications in Data Mining,” Universität des Saarlandes, Saarbrücken, 2019.
  12. Thesis
    D4IMPR-CS
    “Learning-based Face Reconstruction and Editing,” Universität des Saarlandes, Saarbrücken, 2019.
  13. Thesis
    D4IMPR-CS
    “Artificial Intelligence for Efficient Image-based View Synthesis,” Universität des Saarlandes, Saarbrücken, 2019.
  14. Thesis
    IMPR-CSD2
    “Generalizations of the Multicut Problem for Computer Vision,” Universität des Saarlandes, Saarbrücken, 2019.
  15. Thesis
    BIOIMPR-CS
    “Interpretable Machine Learning Methods for Prediction and Analysis of Genome Regulation in 3D,” Universität des Saarlandes, Saarbrücken, 2019.
  16. Thesis
    D5IMPR-CS
    “Credibility Analysis of Textual Claimswith Explainable Evidence,” Universität des Saarlandes, Saarbrücken, 2019.
  17. Thesis
    D4IMPR-CS
    “Model-based Human Performance Capture in Outdoor Scenes,” Universität des Saarlandes, Saarbrücken, 2019.
  18. Thesis
    D2IMPR-CS
    “Intents and Preferences Prediction Based on Implicit Human Cues,” Universität des Saarlandes, Saarbrücken, 2019.
  19. Thesis
    D1IMPR-CS
    “Plane and Simple,” Universität des Saarlandes, Saarbrücken, 2019.
  20. Thesis
    IMPR-CS
    “Accountable infrastructure and its impact on internet security and privacy,” Universität des Saarlandes, Saarbrücken, 2019.
  21. Thesis
    D2IMPR-CS
    “Mobile Eye Tracking for Everyone,” Universität des Saarlandes, Saarbrücken, 2019.
  22. Thesis
    RG1IMPR-CS
    “Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates,” Universität des Saarlandes, Saarbrücken, 2019.

2018

  1. Thesis
    BIOIMPR-CS
    “Analysis of the protein-Ligand and protein-peptide interactions using a combined sequence- and structure-based approach,” Universität des Saarlandes, Saarbrücken, 2018.
  2. Thesis
    IMPR-CS
    “Practical Dynamic Information Flow Control,” Universität des Saarlandes, Saarbrücken, 2018.
  3. Thesis
    IMPR-CS
    “Applicable and sound polyhedral optimization of low-level programs,” Universität des Saarlandes, Saarbrücken, 2018.
  4. Thesis
    D5IMPR-CS
    “Biomedical Knowledge Base Construction from Text and its Applications in Knowledge-based Systems,” Universität des Saarlandes, Saarbrücken, 2018.
  5. Thesis
    BIOIMPR-CS
    “Computational Haplotyping: Theory and Practice,” Universität des Saarlandes, Saarbrücken, 2018.
  6. “A Tale of Two Packing Problems: Improved Algorithms and Tighter Bounds for Online Bin Packing and the Geometric Knapsack Problem,” Universität des Saarlandes, Saarbrücken, 2018.
  7. Thesis
    D1IMPR-CS
    “Algorithmic Results for Clustering and Refined Physarum Analysis,” Universität des Saarlandes, Saarbrücken, 2018.
  8. Thesis
    D2IMPR-CS
    “From Perception over Anticipation to Manipulation,” Universität des Saarlandes, Saarbrücken, 2018.
  9. Thesis
    D5IMPR-CS
    “Leveraging Semantic Annotations for Event-focused Search & Summarization,” Universität des Saarlandes, Saarbrücken, 2018.
  10. Thesis
    BIOIMPR-CS
    “Understanding Regulatory Mechanisms Underlying Stem Cells Helps to Identify Cancer Biomarkers,” Universität des Saarlandes, Saarbrücken, 2018.
  11. Thesis
    D2IMPR-CS
    “Image Manipulation against Learned Models Privacy and Security Implications,” Universität des Saarlandes, Saarbrücken, 2018.
  12. Thesis
    RG1IMPR-CS
    “An Approximation and Refinement Approach to First-Order Automated Reasoning,” Universität des Saarlandes, Saarbrücken, 2018.
  13. Thesis
    D2IMPR-CS
    “Gaze Estimation and Interaction in Real-World Environments,” Universität des Saarlandes, Saarbrücken, 2018.

2017

  1. Thesis
    D1IMPR-CS
    “On Flows, Paths, Roots, and Zeros,” Universität des Saarlandes, Saarbrücken, 2017.
  2. Thesis
    D5IMPR-CS
    “Alignment of Multi-Cultural Knowledge Repositories,” Universität des Saarlandes, Saarbrücken, 2017.
  3. Thesis
    D1IMPR-CS
    “Approximation Algorithms for Vietoris-Rips and Ĉech Filtrations,” Universität des Saarlandes, Saarbrücken, 2017.
  4. Thesis
    D1IMPR-CS
    “Graph Models for Rational Social Interaction,” Universität des Saarlandes, Saarbrücken, 2017.
  5. Thesis
    IMPR-CS
    “ManyDSL One Host for All Language Need,” Universität des Saarlandes, Saarbrücken, 2017.
  6. Thesis
    D1IMPR-CS
    “Preliminaries for Distributed Natural Computing Inspired by the Slime Mold Physarum Polycephalum,” Universität des Saarlandes, Saarbrücken, 2017.
  7. Thesis
    D5IMPR-CS
    “Efficient knowledge Management for Named Entities from Text,” Universität des Saarlandes, Saarbrücken, 2017.
  8. Thesis
    D1IMPR-CS
    “Metastability-Containing Circuits, Parallel Distance Problems, and Terrain Guarding,” Unversität des Saarlandes, Saarbrücken, 2017.
  9. Thesis
    D4IMPR-CS
    “High-quality face capture, animation and editing from monocular video,” Universität des Saarlandes, Saarbrücken, 2017.
  10. Thesis
    D4IMPR-CS
    “High Dynamic Range Imaging: Problems of Video Exposure Bracketing, Luminance Calibration and Gloss Editing,” Universität des Saarlandes, Saarbrücken, 2017.
  11. Thesis
    D5IMPR-CS
    “Constructing Lexicons of Relational Phrases,” Universität des Saarlandes, Saarbrücken, 2017.
  12. Thesis
    D5IMPR-CS
    “Distributed Querying of Large Labeled Graphs,” Universität des Saarlandes, Saarbrücken, 2017.
  13. Thesis
    IMPR-CS
    “Decision Algorithms for Modelling, Optional Control and Verification of Probalistic Systems,” Universität des Saarlandes, Saarbrücken, 2017.
  14. Thesis
    D2IMPR-CS
    “Analysis and Improvement of the Visual Object Detection Pipeline,” Universität des Saarlandes, Saarbrücken, 2017.
  15. Thesis
    D5IMPR-CS
    “Automatic Methods for Low-Cost Evaluation and Position-Aware Models for Neural Information Retrieval,” Universität des Saarlandes, Saarbrücken, 2017.
  16. Thesis
    IMPR-CSD4
    “R-symmetry for Triangle Meshes: Detection and Applications,” Universität des Saarlandes, Saarbrücken, 2017.
  17. Thesis
    D2IMPR-CS
    “Learning to Segment in Images and Videos with Different Forms of Supervision,” Universität des Saarlandes, Saarbrücken, 2017.
  18. Thesis
    D1IMPR-CS
    “Incentives in Dynamic Markets,” Universität des Saarlandes, Saarbrücken, 2017.
  19. Thesis
    D5IMPR-CS
    “Populating Knowledge bases with Temporal Information,” Universität des Saarlandes, Saarbrücken, 2017.
  20. Thesis
    D2IMPR-CS
    “Image Classification with Limited Training Data and Class Ambiguity,” Universität des Saarlandes, Saarbrücken, 2017.
  21. Thesis
    D2IMPR-CS
    “Towards Holistic Machines: From Visual Recognition To Question Answering About Real-world Image,” Universität des Saarlandes, Saarbrücken, 2017.
  22. Thesis
    D5IMPR-CS
    “Probabilistic Graphical Models for Credibility Analysis in Evolving Online Communities,” Universität des Saarlandes, Saarbrücken, 2017.
  23. Thesis
    BIOIMPR-CS
    “Analyzing DNA Methylation Signatures of Cell Identity,” Universität des Saarlandes, Saarbrücken, 2017.
  24. Thesis
    D4IMPR-CS
    “Smarter Screen Space Shading,” Universität des Saarlandes, Saarbrücken, 2017.
  25. Thesis
    D5IMPR-CS
    “Joint Models for Information and Knowledge Extraction,” Universität des Saarlandes, Saarbrücken, 2017.
  26. Thesis
    D2IMPR-CS
    “Generation and Grounding of Natural Language Descriptions for Visual Data,” Universität des Saarlandes, Saarbrücken, 2017.
  27. Thesis
    BIOIMPR-CSD5
    “Knowledge-driven Entity Recognition and Disambiguation in Biomedical Text,” Universität des Saarlandes, Saarbrücken, 2017.
  28. Thesis
    BIOIMPR-CS
    “Bi-(N-) cluster editing and its biomedical applications,” Universität des Saarlandes, Saarbrücken, 2017.
  29. Thesis
    RG1IMPR-CS
    “Logics for Rule-based Configuration Systems,” Universität des Saarlandes, Saarbrücken, 2017.
  30. Thesis
    D2IMPR-CS
    “People detection and tracking in crowded scenes,” Universität des Saarlandes, Saarbrücken, 2017.
  31. Thesis
    RG1IMPR-CS
    “Superposition: Types and Induction,” Universität des Saarlandes, Saarbrücken, 2017.
  32. Thesis
    IMPR-CS
    “Interactive On-Skin Devices for Expressive Touch-based Interactions,” Universität des Saarlandes, Saarbrücken, 2017.
  33. Thesis
    D4IMPR-CS
    “Structure-aware Content Creation,” Universität des Saarlandes, Saarbrücken, 2017.

2016

  1. Thesis
    RG1IMPR-CS
    “A Machine-checked Proof of Correctness of Pastry,” Universität des Saarlandes, Saarbrücken, 2016.
  2. Thesis
    D4IMPR-CS
    “Biomechanical Models for Human-Computer Interaction,” Universität des Saarlandes, Saarbrücken, 2016.
  3. Thesis
    D2IMPR-CS
    “Bayesian Non-Parametrics for Multi-Modal Segmentation,” Universität des Saarlandes, Saarbrücken, 2016.
  4. Thesis
    D5IMPR-CS
    “Methods for Open Information Extraction and Sense Disambiguation on Natural Language Text,” Universität des Saarlandes, Saarbrücken, 2016.
  5. Thesis
    BIOIMPR-CS
    “Network Biology Methods for Functional Characterization and Integrative Prioritization of Disease Genes and Proteins,” Universität des Saarlandes, Saarbrücken, 2016.
  6. Thesis
    D4IMPR-CS
    “Efficient Methods for Physically-based Rendering of Participating Media,” Universität des Saarlandes, Saarbrücken, 2016.
  7. Thesis
    D4IMPR-CS
    “Finite Horizon Analysis of Markov Automata,” Universität des Saarlandes, Saarbrücken, 2016.
  8. Thesis
    BIOIMPR-CS
    “Computational Methods for Breath Metabolomics in Clinical Diagnostics,” Universität des Saarlandes, Saarbrücken, 2016.
  9. Thesis
    D4IMPR-CS
    “Perceptual Modeling for Stereoscopic 3D,” Universität des Saarlandes, Saarbrücken, 2016.
  10. Thesis
    D4IMPR-CS
    “User-Guided Scene Stylization using Efficient Rendering Techniques,” Universität des Saarlandes, Saarbrücken, 2016.
  11. Thesis
    RG1IMPR-CS
    “New Concepts for Real Quantifier Elimination by Virtual Substitution,” Universität des Saarlandes, Saarbrücken, 2016.
  12. Thesis
    D1IMPR-CS
    “Tight(er) Bounds for Similarity Measures, Smoothed Approximation and Broadcasting,” Universität des Saarlandes, Saarbrücken, 2016.
  13. Thesis
    D1IMPR-CS
    “Algorithms for Classical and Modern Scheduling Problems,” Universität des Saarlandes, Saarbrücken, 2016.
  14. Thesis
    BIOIMPR-CS
    “Improving and Validating Data-driven Genotypic Interpretation Systems for the Selection of Antiretroviral Therapies,” Universität des Saarlandes, Saarbrücken, 2016.
  15. Thesis
    D2IMPR-CSD4
    “Articulated People Detection and Pose Estimation in Challenging Real World Environments,” Universität des Saarlandes, Saarbrücken, 2016.
  16. Thesis
    IMPR-CS
    “Graph-based Methods for Unsupervised and Semi-supervised Data Analysis,” Universität des Saarlandes, Saarbrücken, 2016.
  17. Thesis
    D4IMPR-CS
    “Interactive, Example-driven Synthesis and Manipulation of Visual Media,” Universität des Saarlandes, Saarbrücken, 2016.
  18. Thesis
    D4IMPR-CS
    “From Motion Capture to Interactive Virtual Worlds: Towards Unconstrained Motion-Capture Algorithms for Real-time Performance-Driven Character Animation,” Universität des Saarlandes, Saarbrücken, 2016.
  19. Thesis
    D4IMPR-CSD2
    “Tracking Hands in Action for Gesture-based Computer Input,” Universität des Saarlandes, Saarbrücken, 2016.
  20. Thesis
    D5IMPR-CS
    “Commonsense Knowledge Acquisition and Applications,” Universität des Saarlandes, Saarbrücken, 2016.
  21. Thesis
    D4IMPR-CS
    “Depth, Shading, and Stylization in Stereoscopic Cinematograph,” Universität des Saarlandes, Saarbrücken, 2016.
  22. Thesis
    IMPR-CS
    “Progressive Stochastic Reconstruction Technique for Cryo Electron Tomography,” Universität des Saarlandes, Saarbrücken, 2016.
  23. Thesis
    D5IMPR-CS
    “Question Answering and Query Processing for Extended Knowledge Graphs,” Universität des Saarlandes, Saarbrücken, 2016.

2015

  1. Thesis
    IMPR-CS
    “Processor Pipelines in WCET Analysis,” Universität des Saarlandes, Saarbrücken, 2015.
  2. Thesis
    D1IMPR-CS
    “Coordinating Selfish Players in Scheduling Games,” Universität des Saarlandes, Saarbrücken, 2015.
  3. Thesis
    D4IMPR-CS
    “Marker-less Motion Capture in General Scenes with Sparse Multi-camera Setups,” Universität des Saarlandes, Saarbrücken, 2015.
  4. Thesis
    IMPR-CSD4
    “Path Sampling Techniques for Efficient Light Transport Simulation,” Universität des Saarlandes, Saarbrücken, 2015.
  5. Thesis
    RG1IMPR-CS
    “Symbolic Orthogonal Projections: A New Polyhedral Representation for Reachability Analysis of Hybrid Systems,” Universität des Saarlandes, Saarbrücken, 2015.
  6. Thesis
    D5IMPR-CS
    “Discovering and Disambiguating Named Entities in Text,” Universität des Saarlandes, Saarbrücken, 2015.
  7. Thesis
    BIOIMPR-CS
    “Exact and Heuristic Algorithms for Network Alignment using Graph Edit Distance Models,” Universität des Saarlandes, Saarbrücken, 2015.
  8. Thesis
    RG1IMPR-CS
    “Automatic Authorization Analysis,” Universität des Saarlandes, Saarbrücken, 2015.
  9. Thesis
    D1IMPR-CS
    “On Efficiency and Reliability in Computer Science,” Universität des Saarlandes, Saarbrücken, 2015.
  10. Thesis
    D4IMPR-CS
    “Data-driven Approaches for Interactive Appearance Editing,” Universität des Saarlandes, Saarbrücken, 2015.
  11. Thesis
    D4IMPR-CS
    “Fabricating Custom-shaped Thin-film Interactive Surfaces,” Universität des Saarlandes, Saarbrücken, 2015.
  12. Thesis
    D2IMPR-CSD4
    “Richer Object Representations for Object Class Detection in Challenging Real World Image,” Universität des Saarlandes, Saarbrücken, 2015.
  13. Thesis
    D1IMPR-CS
    “Random Walk-based Algorithms on Networks,” Universität des Saarlandes, Saarbrücken, 2015.
  14. Thesis
    D1IMPR-CS
    “Application of Multiplicative Weights Update Method in Algorithmic Game Theory,” Universität des Saarlandes, Saarbrücken, 2015.
  15. Thesis
    D1IMPR-CS
    “Verification of Program Computations,” Universität des Saarlandes, Saarbrücken, 2015.
  16. Thesis
    D5IMPR-CSRG1
    “Algorithmic Building Blocks for Relationship Analysis over Large Graphs,” Universität des Saarlandes, Saarbrücken, 2015.
  17. Thesis
    RG1IMPR-CS
    “Resolution-based Methods for Linear Temporal Reasoning,” Universität des Saarlandes, Saarbrücken, 2015.
  18. Thesis
    D5IMPR-CS
    “Methods and Tools for Summarization of Entities and Facts in Knowledge Bases,” Universität des Saarlandes, Saarbrücken, 2015.
  19. Thesis
    D4IMPR-CS
    “Pattern Search for the Visualization of Scalar, Vector, and Line Fields,” Universität des Saarlandes, Saarbrücken, 2015.
  20. Thesis
    D5IMPR-CS
    “U-AIDA: A Customizable System for Named Entity Recognition, Classification, and Disambiguation,” Universität des Saarlandes, Saarbrücken, 2015.

2014

  1. Thesis
    D5IMPR-CS
    “Mining Interesting Events on Large and Dynamic Data,” Universität des Saarlandes, Saarbrücken, 2014.
  2. Thesis
    BIOIMPR-CS
    “Identification and Prioritization of Genomic Loci with Disease-specific Methylation,” Universität des Saarlandes, Saarbrücken, 2014.
  3. Thesis
    BIOIMPR-CS
    “Determining and Utilizing the Quasispecies of the Hepatitis B Virus in Clinical Applications,” Universität des Saarlandes, Saarbrücken, 2014.
  4. Thesis
    BIOIMPR-CS
    “Computational Methods for Integrating and Analyzing Human Systems Biology Data,” Universität des Saarlandes, Saarbrücken, 2014.
  5. Thesis
    D1IMPR-CS
    “Sampling from Discrete Distributions and Computing Fréchet Distances,” Universität des Saarlandes, Saarbrücken, 2014.
  6. Thesis
    BIOIMPR-CS
    “Modeling Protein Interactions in Protein Binding Sites and Oligomeric Protein Complexes,” Universität des Saarlandes, Saarbrücken, 2014.
  7. Thesis
    IMPR-CS
    “Synthesis and Control of Infinite-state Systems with Partial Observability,” Universität des Saarlandes, Saarbrücken, 2014.
  8. Thesis
    D5IMPR-CS
    “Efficient Querying and Learning in Probabilistic and Temporal Databases,” Universität des Saarlandes, Saarbrücken, 2014.
  9. Thesis
    BIOIMPR-CS
    “Evolutionary Epigenomics - Identifying Functional Genome Elements by Epigenetic Footprints in the DNA,” Universität des Saarlandes, Saarbrücken, 2014.
  10. Thesis
    RG1IMPR-CS
    “Labelled Superposition,” Universität des Saarlandes, Saarbrücken, 2014.
  11. Thesis
    IMPR-CS
    “Plugging in Trust and Privacy : Three Systems to Improve Widely used Ecosystems,” Universität des Saarlandes, Saarbrücken, 2014.
  12. Thesis
    D4IMPR-CS
    “Ray Tracing of Dynamic Scenes,” Universität des Saarlandes, Saarbrücken, 2014.
  13. Thesis
    BIOIMPR-CS
    “Exploratory Visualizations and Statistical Analysis of Large, Heterogeneous Epigenetic Datasets,” Universität des Saarlandes, Saarbrücken, 2014.
  14. Thesis
    D4IMPR-CSD2
    “Data-driven Methods for Interactive Visual Content Creation and Manipulation,” Universität des Saarlandes, Saarbrücken, 2014.
  15. Thesis
    D1IMPR-CS
    “Multiple Choice Allocations with Small Maximum Loads,” Universität des Saarlandes, Saarbrücken, 2014.
  16. Thesis
    D1IMPR-CS
    “Matrix Rounding, Evolutionary Algorithms, and Hole Detection,” Universität des Saarlandes, Saarbrücken, 2014.
  17. Thesis
    D5IMPR-CS
    “Human Computing and Crowdsourcing Methods for Knowledge Acquisition,” Universität des Saarlandes, Saarbrücken, 2014.
  18. Thesis
    D4IMPR-CS
    “Constrained Camera Motion Estimation and 3D Reconstruction,” Universität des Saarlandes, Saarbrücken, 2014.
  19. Thesis
    D5IMPR-CS
    “Scalable Optimization Algorithms for Recommender Systems,” Universität des Saarlandes, Saarbrücken, 2014.
  20. Thesis
    D5IMPR-CS
    “User-centric Knowledge Extraction and Maintenance,” Universität des Saarlandes, Saarbrücken, 2014.
  21. Thesis
    D4IMPR-CS
    “Kaleidoscopic Imaging,” Universität des Saarlandes, Saarbrücken, 2014.
  22. Thesis
    D2IMPR-CS
    “Combining Visual Recognition and Computational Linguistics : Linguistic Knowledge for Visual Recognition and Natural Language Descriptions of Visual Content,” Universität des Saarlandes, Saarbrücken, 2014.
  23. Thesis
    BIOIMPR-CS
    “Active Transitivity Clustering of Large-scale Biomedical Datasets,” Universität des Saarlandes, Saarbrücken, 2014.
  24. Thesis
    BIOIMPR-CSD1
    “Going Viral : an Integrated View on Virological Data Analysis from Basic Research to Clinical Applications,” Universität des Saarlandes, Saarbrücken, 2014.
  25. Thesis
    D4IMPR-CS
    “Inverse Rendering for Scene Reconstruction in General Environments,” Universität des Saarlandes, Saarbrücken, 2014.

2013

  1. Thesis
    D5IMPR-CS
    “Indexing Methods for Web Archives,” Universität des Saarlandes, Saarbrücken, 2013.
  2. Thesis
    IMPR-CS
    “Rational Cryptography: Novel Constructions, Automated Verification and Unified Definitions,” Universität des Saarlandes, Saarbrücken, 2013.
  3. “Advanced Editing Methods for Image and Video Sequences,” Universität des Saarlandes, Saarbrücken, 2013.
  4. Thesis
    D4IMPR-CS
    “Processing and Tracking Human Motions Using Optical, Inertial, and Depth Sensors,” Universität des Saarlandes, Saarbrücken, 2013.
  5. Thesis
    D1IMPR-CS
    “Toward Better Computation Models for Modern Machines,” Universität des Saarlandes, Saarbrücken, 2013.
  6. Thesis
    D4IMPR-CS
    “Of Assembling Small Sculptures and Disassembling Large Geometry,” Universität des Saarlandes, Saarbrücken, 2013.
  7. Thesis
    RG1IMPR-CSD1
    “Superposition Modulo Theory,” Universität des Saarlandes, Saarbrücken, 2013.
  8. Thesis
    RG1IMPR-CS
    “Formal Verification of the Pastry Protocol,” Universität des Saarlandes, Saarbrücken, 2013.
  9. Thesis
    IMPR-CSBIO
    “Genome Signature based Sequence Comparison for Taxonomic Assignment and Tree Inference,” Universität des Saarlandes, Saarbrücken, 2013.
  10. Thesis
    D5IMPR-CS
    “Sentiment Analysis with Limited Training Data,” Universität des Saarlandes, Saarbrücken, 2013.
  11. Thesis
    D4IMPR-CS
    “Data Driven Analysis of Faces from Images,” Universität des Saarlandes, Saarbrücken, 2013.
  12. Thesis
    D4IMPR-CS
    “Cache Based Optimization of Stencil Computations an Algorithmic Approach,” Universität des Saarlandes, Saarbrücken, 2013.
  13. Thesis
    D5IMPR-CS
    “Soundtrack Recommendation for Images,” Universität des Saarlandes, Saarbrücken, 2013.
  14. Thesis
    D4IMPR-CS
    “Statistical Part-based Models for Object Detection in Large 3D Scans,” Universität des Saarlandes, Saarbrücken, 2013.
  15. Thesis
    D5IMPR-CS
    “Automatic Population of Knowledge Bases with Multimodal Data about Named Entities,” Universität des Saarlandes, Saarbrücken, 2013.
  16. Thesis
    D5IMPR-CS
    “Methods and Tools for Temporal Knowledge Harvesting,” Universität des Saarlandes, Saarbrücken, 2013.

2012

  1. Thesis
    D5IMPR-CS
    “Methods for Constructing an Opinion Network for Politically Controversial Topics,” Universität des Saarlandes, Saarbrücken, 2012.
  2. Thesis
    D4IMPR-CS
    “Retrieval-based Approaches for Tracking and Reconstructing Human Motions,” Universität des Saarlandes, Saarbrücken, 2012.
  3. Thesis
    D5IMPR-CS
    “Efficient Query Processing and Index Tuning Using Proximity Scores,” Universität des Saarlandes, Saarbrücken, 2012.
  4. Thesis
    D5IMPR-CS
    “Socially Enhanced Search and Exploration in Social Tagging Networks,” Universität des Saarlandes, Saarbrücken, 2012.
  5. Thesis
    D5IMPR-CS
    “Methods and Models for Web Archive Crawling,” Universität des Saarlandes, Saarbrücken, 2012.
  6. Thesis
    D4IMPR-CS
    “Perceptual Display: Exceeding Display Limitations by Exploiting the Human Visual System,” Universität des Saarlandes, Saarbrücken, 2012.
  7. Thesis
    D2IMPR-CS
    “Semi-supervised Learning for Image Classification,” Universität des Saarlandes, Saarbrücken, 2012.
  8. Thesis
    D5IMPR-CS
    “Effective Searching of RDF Knowledge Bases,” Universität des Saarlandes, Saarbrücken, 2012.
  9. Thesis
    D1IMPR-CS
    “Harnessing the Power of GPUs for Problems in Real Algebraic Geometry,” Universität des Saarlandes, Saarbrücken, 2012.
  10. Thesis
    D1IMPR-CS
    “Randomized Rumor Spreading in Social Networks & Complete Graphs,” Universität des Saarlandes, Saarbrücken, 2012.
  11. Thesis
    D4IMPR-CS
    “Signal Processing Methods for Beat Tracking, Music Segmentation, and Audio Retrieval,” Universität des Saarlandes, Saarbrücken, 2012.
  12. Thesis
    D4IMPR-CS
    “Topological Analysis of Discrete Scalar Data,” Universität des Saarlandes, Saarbrücken, 2012.
  13. Thesis
    IMPR-CS
    “Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis,” Universität des Saarlandes, Saarbrücken, 2012.
  14. Thesis
    D4IMPR-CS
    “Automated Methods for Audio-based Music Analysis with Applications to Musicology,” Universität des Saarlandes, Saarbrücken, 2012.
  15. Thesis
    IMPR-CSD5
    “Mining the Evolution of Software Component Usage,” Universität des Saarlandes, Saarbrücken, 2012.
  16. Thesis
    D5IMPR-CS
    “Automatic Extraction of Facts, Relations, and Entities for Web-scale Knowledge Base Population,” Universität des Saarlandes, Saarbrücken, 2012.
  17. Thesis
    D1IMPR-CS
    “General Analysis Tool Box for Controlled Perturbation Algorithms and Complexity and Computation of Θ-Guarded Regions,” Universität des Saarlandes, Saarbrücken, 2012.
  18. Thesis
    IMPR-CS
    “A Uniform Approach to the Complexity and Analysis of Succinct Systems,” Universität des Saarlandes, Saarbrücken, 2012.
  19. Thesis
    IMPR-CSD4
    “Algorithms and Data Structures for Interactive Ray Tracing on Commodity Hardware,” Universität des Saarlandes, Saarbrücken, 2012.
  20. Thesis
    BIOIMPR-CS
    “Novel Approaches to the Integration and Analysis of Systems Biology,” Universität des Saarlandes, Saarbrücken, 2012.
  21. Thesis
    BIOIMPR-CS
    “Finding Regions of Aberrant DNA Copy Number Associated With Tumor Phenotype,” Universität des Saarlandes, Saarbrücken, 2012.
  22. Thesis
    RG1IMPR-CSD5
    “Efficient Reasoning Procedures for Complex First-order Theories,” Universität des Saarlandes, Saarbrücken, 2012.
  23. Thesis
    IMPR-CS
    “Correspondence Problems in Computer Vision: Novel Models, Numerics, and Applications,” Universität des Saarlandes, Saarbrücken, 2012.

2011

  1. Thesis
    BIOIMPR-CS
    “Statistical Learning Methods for Bias-aware HIV Therapy Screening,” Universität des Saarlandes, Saarbrücken, 2011.
  2. Thesis
    D4IMPR-CS
    “Symmetry in 3D Shapes -- Analysis and Applications to Model Synthesis,” Universität des Saarlandes, Saarbrücken, 2011.
  3. Thesis
    BIOIMPR-CS
    “Analysis of HIV-host interaction on different scales,” Universität des Saarlandes, Saarbrücken, 2011.
  4. Thesis
    D5IMPR-CS
    “Exploiting graph-structured data in generative probabilistic models,” Universität des Saarlandes, Saarbrücken, 2011.
  5. Thesis
    D4IMPR-CS
    “Visually Pleasing Real-time Global Illumination Rendering for Fully-dynamic Scenes,” Universität des Saarlandes, Saarbrücken, 2011.
  6. Thesis
    BIOIMPR-CS
    “Novel analysis approaches to context-dependent molecular networks,” Universität des Saarlandes, Saarbrücken, 2011.
  7. Thesis
    BIOIMPR-CSD1
    “Maximal Common Subgraph DAGs: Theory and Application to Virtual Screening in Drug Development,” Universität des Saarlandes, Saarbrücken, 2011.
  8. Thesis
    IMPR-CS
    “Multicast MAC Extensions for High Rate Real-Time Traffic in Wireless LANs,” Universität des Saarlandes, Saarbrücken, 2011.
  9. Thesis
    IMPR-CSD1
    “A Riemann-Roch Theory for Sublattices of the Root Lattice A n, Graph Automorphisms and Counting Cycles in Graphs,” Universität des Saarlandes, Saarbrücken, 2011.
  10. Thesis
    D1IMPR-CS
    “Polynomially Solvable Cases of Hypergraph Transversal and Related Problems,” Universität des Saarlandes, Saarbrücken, 2011.
  11. Thesis
    D4IMPR-CS
    “Deformable Shape Matching,” Universität des Saarlandes, Saarbrücken, 2011.
  12. Thesis
    BIOIMPR-CSD1
    “Genotypic Analysis of HIV-1 Coreceptor Usage,” Universität des Saarlandes, Saarbrücken, 2011.
  13. Thesis
    D1IMPR-CS
    “Toward a complexity theory for randomized search heuristics : black box models,” Universität des Saarlandes, Saarbrücken, 2011.
  14. Thesis
    D4IMPR-CS
    “GPU Data Structures for Graphics and Vision,” Universität des Saarlandes, Saarbrücken, 2011.

2010

  1. Thesis
    BIOIMPR-CS
    “Bioinformatical Approaches to Ranking of anti-HIV Combination Therapies and Planning of Treatment Schedule,” Universität des Saarlandes, Saarbrücken, 2010.
  2. Thesis
    D4IMPR-CS
    “Human Visual System Models in Computer Graphics,” Universität des Saarlandes, Saarbrücken, 2010.
  3. Thesis
    D5IMPR-CS
    “Temporal Search in Web Archives,” Universität des Saarlandes, Saarbrücken, 2010.
  4. Thesis
    D5IMPR-CS
    “Graph-Based Methods for Large-Scale Multilingual Knowledge Integration,” Universität des Saarlandes, Saarbrücken, 2010.
  5. Thesis
    D1IMPR-CSD5
    “Two-dimensional packing problems,” Universität des Saarlandes, Saarbrücken, 2010.
  6. Thesis
    D4IMPR-CS
    “Modelling Human Pose and Shape Based on a Database of Human 3D Scans,” Universität des Saarlandes, Saarbrücken, 2010.
  7. Thesis
    D4IMPR-CS
    “Exploiting Coherence in Lighting and Shading Computations,” Universität des Saarlandes, Saarbrücken, 2010.
  8. Thesis
    RG1IMPR-CS
    “Saturation-based Decision Procedures for Fixed Domain and Minimal Model Semantics,” Universität des Saarlandes, Saarbrücken, 2010.
  9. Thesis
    D1IMPR-CS
    “Randomized Rounding and Rumor Spreading with Stochastic Dependencies,” Universität des Saarlandes, Saarbrücken, 2010.
  10. Thesis
    D4IMPR-CS
    “Reconsidering Light Transport : Acquisition and Display of Real-World Reflectance and Geometry,” Universität des Saarlandes, Saarbrücken, 2010.
  11. Thesis
    RG1IMPR-CS
    “Reasoning in Combinations of Theories,” Universität des Saarlandes, Saarbrücken, 2010.
  12. Thesis
    RG1IMPR-CS
    “Hierarchic Decision Procedures for Verification,” Universität des Saarlandes, Saarbrücken, 2010.
  13. Thesis
    D1IMPR-CS
    “Random combinatorial structures and randomized search heuristics,” Universität des Saarlandes, Saarbrücken, 2010.
  14. Thesis
    D1IMPR-CS
    “Kernelization of generic problems : upper and lower bounds,” Universität des Saarlandes, Saarbrücken, 2010.
  15. Thesis
    D1IMPR-CS
    “Algorithmic Game Theory and Networks,” Universität des Saarlandes, Saarbrücken, 2010.
  16. Thesis
    D4IMPR-CS
    “Digital Processing and Management Tools for 2D and 3D Shape Repositories,” Universität des Saarlandes, Saarbrücken, 2010.
  17. Thesis
    BIOIMPR-CS
    “Ontology-based Similarity Measures and their Application in Bioinformatics,” Universität des Saarlandes, Saarbrücken, 2010.
  18. Thesis
    IMPR-CS
    “Formal Verification of Demand Paging,” Universität des Saarlandes, Saarbrücken, 2010.
  19. Thesis
    BIOIMPR-CS
    “Characterization, Classification and Alignment of Protein-protein Interfaces,” Universität des Saarlandes, Saarbrücken, 2010.

2009

  1. Thesis
    D4IMPR-CS
    “High Quality Dynamic Reflectance and Surface Reconstruction from Video,” Universität des Saarlandes, Saarbrücken, 2009.
  2. Thesis
    D5IMPR-CS
    “Graph-based Classification and Clustering of Entities in Heterogeneous Networks,” Universität des Saarlandes, Saarbrücken, 2009.
  3. Thesis
    D4IMPR-CS
    “Capturing and Reconstructing the Appearance of Complex 3D Scenes,” Universität des Saarlandes, Saarbrücken, 2009.
  4. Thesis
    D4IMPR-CS
    “Filtering and Optimization Strategies for Markerless Human Motion Capture with Skeleton-based Shape Models,” Universität des Saarlandes, Saarbrücken, 2009.
  5. Thesis
    D1IMPR-CS
    “Analyses of Evolutionary Algorithms,” Universität des Saarlandes, Saarbrücken, 2009.
  6. Thesis
    D5IMPR-CS
    “Statistical Learning Techniques for Text Categorization with Sparse Labeled Data,” Universität des Saarlandes, Saarbrücken, 2009.
  7. Thesis
    D5IMPR-CS
    “Searching and Ranking in Entity-Relationship Graphs,” Universität des Saarlandes, Saarbrücken, 2009.
  8. Thesis
    D1IMPR-CS
    “Geometric Algorithms for Algebraic Curves and Surfaces,” Universität des Saarlandes, Saarbrücken, 2009.
  9. Thesis
    D5IMPR-CSD1
    “Decentralized Link Analysis in Peer-to-Peer Web Search Networks,” Universität des Saarlandes, Saarbrücken, 2009.
  10. Thesis
    D1IMPR-CS
    “Weak and Strong ε-Nets for Geometric Range Spaces,” Universität des Saarlandes, Saarbrücken, 2009.
  11. Thesis
    D4IMPR-CS
    “Perceptually-motivated, Interactive Rendering and Editing of Global Illumination,” Universität des Saarlandes, Saarbrücken, 2009.
  12. Thesis
    D4IMPR-CS
    “Robust and Efficient Processing Techniques for Static and Dynamic Geometric Data,” Universität des Saarlandes, Saarbrücken, 2009.
  13. Thesis
    D4IMPR-CS
    “Feature Extraction for Visual Analysis of DW-MRI Data,” Universität des Saarlandes, Saarbrücken, 2009.
  14. Thesis
    D1IMPR-CS
    “Problems of Unknown Complexity: Graph isomorphism and Ramsey theoretic numbers,” Universität des Saarlandes, Saarbrücken, 2009.
  15. Thesis
    D4IMPR-CS
    “Template Based Shape Processing,” Universität des Saarlandes, Saarbrücken, 2009.
  16. Thesis
    D5IMPR-CS
    “Automated Construction and Growth of a Large Ontology,” Universität des Saarlandes, Saarbrücken, 2009.

2008

  1. Thesis
    D1IMPR-CS
    “Traversing Large Graphs in Realistic Settings,” Universität des Saarlandes, Saarbrücken, 2008.
  2. Thesis
    D4IMPR-CS
    “Efficient shadow map filtering,” Universität des Saarlandes, Saarbrücken, 2008.
  3. Thesis
    D1IMPR-CS
    “Robust and Efficient Software for Problems in 2.5-Dimensional Non-Linear Geometry - Algorithms and Implementations,” Universität des Saarlandes, Saarbrücken, 2008.
  4. Thesis
    BIOIMPR-CS
    “Computational Epigenetics - Bioinformatic methods for epigenome prediction, DNA methylation mapping and cancer epigenetics,” Universität des Saarlandes, Saarbrücken, 2008.
  5. Thesis
    D4IMPR-CS
    “New 3D Scanning Techniques for Complex Scenes,” Universität des Saarlandes, Saarbrücken, 2008.
  6. Thesis
    D4IMPR-CS
    “Animation and Performance Capture Using Digitized Models,” Universität des Saarlandes, Saarbrücken, 2008.
  7. Thesis
    D1IMPR-CS
    “Real root isolation for exact and approximate polynomials using Descartes’ rule of signs,” Universität des Saarlandes, Saarbrücken, 2008.
  8. Thesis
    D4IMPR-CS
    “Advanced Methods for Relightable Scene Representations in Image Space,” Universität des Saarlandes, Saarbrücken, 2008.
  9. Thesis
    BIOIMPR-CSD1
    “Modeling of Flexible Side Chains for Protein-Ligand Docking,” Universität des Saarlandes, Saarbrücken, 2008.
  10. Thesis
    RG1IMPR-CS
    “Superposition and Decision Procedures - Back and Forth,” Universität des Saarlandes, Saarbrücken, 2008.
  11. Thesis
    IMPR-CS
    “The Correctness of a Distributed Real-Time System,” Universität des Saarlandes, Saarbrücken, 2008.
  12. Thesis
    D4IMPR-CS
    “On Generalized Barycentric Coordinates and Their Applications in Geometric Modeling,” Universität des Saarlandes, Saarbrücken, 2008.
  13. Thesis
    IMPR-CSD1
    “Approximation Algorithms for Geometric Optimization Problems,” Universität des Saarlandes, Saarbrücken, 2008.
  14. Thesis
    D5IMPR-CS
    “Modeling and exploiting user search behavior for information retrieval,” Universität des Saarlandes, Saarbrücken, 2008.
  15. Thesis
    BIOIMPR-CS
    “Analysis of recombination in Molecular Sequence Data,” Universität des Saarlandes, Saarbrücken, 2008.
  16. Thesis
    D1IMPR-CS
    “NP-hard Networking Problems : Exact and Approximate Algorithms,” Universität des Saarlandes, Saarbrücken, 2008.
  17. Thesis
    BIOIMPR-CSD1
    “Structural Descriptors for the Analysis of Protein Structure, Function, and Evolution,” Universität des Saarlandes, Saarbrücken, 2008.
  18. Thesis
    BIOIMPR-CSD1
    “Model-Based Anti-HIV Therapy,” Universität des Saarlandes, Saarbrücken, 2008.
  19. Thesis
    D4IMPR-CS
    “Contours and Contrast,” Universität des Saarlandes, Saarbrücken, 2008.
  20. Thesis
    BIOIMPR-CS
    “Computational Approaches in Supramolecular Chemistry with a special Focus on Virtual Screening,” Universität des Saarlandes, Saarbrücken, 2008.
  21. Thesis
    BIOIMPR-CS
    “Development of Computational Methods for Metabolic Network Analysis based on Metabolomics Data,” Universität des Saarlandes, Saarbrücken, 2008.
  22. Thesis
    D1IMPR-CS
    “Complexity of Some Polyhedral Enumeration Problems,” Universität des Saarlandes, Saarbrücken, 2008.
  23. Thesis
    IMPR-CSRG1
    “Stability Proofs for Hybrid Systems,” Universität des Saarlandes, Saarbrücken, 2008.
  24. Thesis
    D4IMPR-CS
    “Evaluation and Enhancement of HDR Image Appearance on Displays of Varying Dynamic Range,” Universität des Saarlandes, Saarbrücken, 2008.
  25. Thesis
    D5IMPR-CS
    “Approximate Information Filtering in Structured Peer-to-Peer Networks,” Universität des Saarlandes, Saarbrücken, 2008.

2007

  1. Thesis
    D1IMPR-CS
    “Binary Decision Diagrams and Integer Programming,” Universität des Saarlandes, Saarbrücken, 2007.
  2. Thesis
    D5IMPR-CS
    “Advanced Methods for Query Routing in Peer-to-Peer Information Retrieval,” Universität des Saarlandes, Saarbrücken, 2007.
  3. Thesis
    D1IMPR-CS
    “Use and Avoidance of Randomness,” Universität des Saarlandes, Saarbrücken, 2007.
  4. Thesis
    D4IMPR-CS
    “Reconstruction and Rendering of Time-Varying Natural Phenomena,” Universität des Saarlandes, Saarbrücken, 2007.
  5. Thesis
    D1IMPR-CS
    “Engineering Combinatorial Optimization Algorithms to Improve the Lifetime of OLED Displays,” Universität des Saarlandes, Saarbrücken, 2007.
  6. Thesis
    D1IMPR-CS
    “Fast algorithms for two scheduling problems,” Universität des Saarlandes, Saarbrücken, 2007.
  7. Thesis
    D4IMPR-CS
    “Perception-inspired tone mapping,” Universität des Saarlandes, Saarbrücken, 2007.
  8. Thesis
    D1IMPR-CSD5
    “On the Spectral Retrieval and Efficient Top-k Query Processing,” Universität des Saarlandes, Saarbrücken, 2007.
  9. Thesis
    D1IMPR-CS
    “Geometric Optimization and Querying - Exact and Approximate,” Universität des Saarlandes, Saarbrücken, 2007.
  10. Thesis
    D5IMPR-CS
    “Top-k Aggregation Queries in Large-Scale Distributed Systems,” Universität des Saarlandes, Saarbrücken, 2007.
  11. Thesis
    D4IMPR-CS
    “New Editing Techniques for Video Post-Processing,” Universität des Saarlandes, Saarbrücken, 2007.
  12. Thesis
    D1IMPR-CSD5
    “Efficient Index Structures for and Applications of the CompleteSearch Engine,” Universität des Saarlandes, Saarbrücken, 2007.
  13. Thesis
    D4IMPR-CS
    “Numerical and Variational Aspects of Mesh Parameterization and Editing,” Universität des Saarlandes, Saarbrücken, 2007.

2006

  1. Thesis
    BIOIMPR-CSD1
    “Combining protein structure prediction with experiments and functional information,” Universität des Saarlandes, Saarbrücken, 2006.
  2. Thesis
    D4IMPR-CS
    “Learning-Based Facial Animation,” Universität des Saarlandes, Saarbrücken, 2006.
  3. Thesis
    IMPR-CS
    “Formal Verification of a Processor with Memory Management Units,” Universität des Saarlandes, Saarbrücken, 2006.
  4. Thesis
    D1IMPR-CSD5
    “Algorithm Engineering for Large Data Sets,” Universität des Saarlandes, Saarbrücken, 2006.
  5. Thesis
    D5IMPR-CS
    “Die Sphere-Search-Suchmaschine zur Graphbasierten Suche auf Heterogenen, Semistrukturierten Daten,” Universität des Saarlandes, Saarbrücken, 2006.
  6. Thesis
    D1IMPR-CS
    “Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms Optimized Implementation, Experiments and Applications,” Universität des Saarlandes, Saarbrücken, 2006.
  7. Thesis
    IMPR-CSRG1
    “Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment,” Universität des Saarlandes, Saarbrücken, 2006.
  8. Thesis
    D4IMPR-CS
    “High-Fidelity Imaging - The Computational Models of the Human Visual System in High Dynamic Range Video Video Compression, Visible Difference Prediction and Image Processing,” Universität des Saarlandes, Saarbrücken, 2006.
  9. Thesis
    D1IMPR-CS
    “Minimum Cycle Basis, Algorithms & Applications,” Universität des Saarlandes, Saarbrücken, 2006.
  10. Thesis
    D1IMPR-CS
    “Combinatorial Approaches to Trunk Packing Problem,” Universität des Saarlandes, Saarbrücken, 2006.
  11. Thesis
    D4IMPR-CS
    “Efficient Global Illumination for Dynamic Scenes,” Universität des Saarlandes, Saarbrücken, 2006.
  12. Thesis
    D4IMPR-CS
    “Dynamic Remeshing and Applications,” Universität des Saarlandes, Saarbrücken, 2006.
  13. Thesis
    D4IMPR-CS
    “Computational Differential Geometry Tools for Surface Interrogation, Fairing, and Design,” Universität des Saarlandes, Saarbrücken, 2006.

2005

  1. Thesis
    D4IMPR-CS
    “Faces and Hands: Modeling and Animating Anatomical and Photorealistic Models with Regard to the Communicative Competence of Virtual Humans,” Universität des Saarlandes, Saarbrücken, 2005.
  2. Thesis
    D1IMPR-CS
    “Constraints and Changes,” Universität des Saarlandes, Saarbrücken, 2005.
  3. Thesis
    IMPR-CSD1
    “Distance Computation for Extended Quadratic Complexes,” Universität des Saarlandes, Saarbrücken, 2005.
  4. Thesis
    D4IMPR-CS
    “Towards Real-Time Novel View Synthesis Using Visual Hulls,” Universität des Saarlandes, Saarbrücken, 2005.
  5. Thesis
    D5IMPR-CS
    “Variability of Packet Round-Trip Times and Passive Bottleneck Bandwith Estimation,” Universität des Saarlandes, Saarbrücken, 2005.
  6. Thesis
    D4IMPR-CS
    “New Techniques for the Modeling, Processing and Visualization of Surfaces and Volumes,” Universität des Saarlandes, Saarbrücken, 2005.
  7. Thesis
    IMPR-CS
    “Temporal Verification with Transition Invariants,” Universität des Saarlandes, Saarbrücken, 2005.
  8. Thesis
    D5IMPR-CS
    “Integrated Data, Message, and Process Recovery for Failure Masking in Web Services,” Universität des Saarlandes, Saarbrücken, 2005.
  9. Thesis
    D5IMPR-CS
    “Combination Methods for Automatic Document Organization,” Universität des Saarlandes, Saarbrücken, 2005.
  10. Thesis
    D5IMPR-CS
    “Automatic Generation of Thematically Focused Information Portals from Web Data,” Universität des Saarlandes, Saarbrücken, 2005.
  11. Thesis
    D5IMPR-CS
    “TopX: Efficient Top-k Query Processing for Text, Semistructured, and Structured Data,” Universität des Saarlandes, Saarbrücken, 2005.
  12. Thesis
    D4IMPR-CS
    “From Image-based Motion Analysis to Free-Viewpoint Video,” Universität des Saarlandes, Saarbrücken, 2005.

2004

  1. Thesis
    IMPR-CS
    “Programmanalyse des XRTL Zwischencodes,” Universität des Saarlandes, Saarbrücken, 2004.
  2. Thesis
    D1IMPR-CS
    “Probabilistic Analysis of Discrete Optimization Problems,” Universität des Saarlandes, Saarbrücken, 2004.
  3. “New Acquisition Techniques for Real Objects and Light Sources in Computer Graphics,” Universität des Saarlandes, Saarbrücken, 2004.
  4. Thesis
    D4IMPR-CS
    “Efficient, Image-based Appearance Acquisition of Real-World Objects,” Cuvillier Verlag, Göttingen, 2004.
  5. Thesis
    D1IMPR-CS
    “Geometric Algorithms for Object Placement and Planarity in a Terrain,” Universität des Saarlandes, Saarbrücken, 2004.
  6. Thesis
    D1IMPR-CS
    “Worst Case Instances are Fragile,” Universität des Saarlandes, Saarbrücken, 2004.
  7. Thesis
    D1IMPR-CS
    “Online Problems and Two-Player Games: Algorithms and Analysis,” Universität des Saarlandes, Saarbrücken, 2004.
  8. Thesis
    D5IMPR-CS
    “Die XXL-Suchmaschine zur ontologiebasierten Ähnlichkeitssuche in XML-Dokumenten,” Universität des Saarlandes, Saarbrücken, 2004.
  9. Thesis
    D1IMPR-CS
    “Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions,” Universität des Saarlandes, Saarbrücken, 2004.
  10. Thesis
    D4IMPR-CS
    “Realtime Ray Tracing and Interactive Global Illumination,” Universität des Saarlandes, Saarbrücken, 2004.
  11. Thesis
    D1IMPR-CS
    “Collision detection for Curved Rigid Objects in the Context of Dynamics Simulations,” Universität des Saarlandes, Saarbrücken, 2004.
  12. Thesis
    IMPR-CS
    “Optimal Global Instruction Scheduling for the Itanium® Processor Architecture,” Universität des Saarlandes, Saarbrücken, 2004.

2003

  1. Thesis
    BIOIMPR-CSD1
    “Computational Analysis of HIV Drug resistance Data,” Universität des Saarlandes, Saarbrücken, 2003.
  2. Thesis
    D4IMPR-CS
    “Shadow Techniques for Interactive and Real-Time Applications,” Universität des Saarlandes, Saarbrücken, 2003.
  3. Thesis
    D4IMPR-CS
    “Hardware-Supported Cloth Rendering,” Universität des Saarlandes, Saarbrücken, 2003.
  4. Thesis
    D4IMPR-CS
    “A Head Model with Anatomical Structure for Facial Modeling and Animation,” Universität des Saarlandes, Saarbrücken, 2003.
  5. Thesis
    D4IMPR-CS
    “Realistic, Real-Time Shading and Rendering of Objects with Complex Materials,” Universität des Saarlandes, Saarbrücken, 2003.
  6. Thesis
    D1IMPR-CS
    “Algorithms for the Steiner Problem in Networks,” Universität des Saarlandes, Saarbrücken, 2003.
  7. Thesis
    D4IMPR-CS
    “High Quality Reconstruction and Interactive Tonemapping of Global Illumination Solutions,” Universität des Saarlandes, Saarbrücken, 2003.
  8. Thesis
    D4IMPR-CS
    “Efficient Acquisition, Representation, and Rendering of Light Fields,” Universität des Saarlandes, Saarbrücken, 2003.

2002

  1. Thesis
    D1IMPR-CS
    “Filter Algorithms for Approximate String Matching,” Universität des Saarlandes, Saarbrücken, 2002.
  2. Thesis
    D1IMPR-CS
    “Design and Analysis of Sequential and Parallel Single-Source Shortest-Paths Algorithms,” Universität des Saarlandes, Saarbrücken, 2002.
  3. Thesis
    D1IMPR-CS
    “New Applications of SPQR-Trees in Graph Drawing,” Universität des Saarlandes, Saarbrücken, 2002.
  4. Thesis
    D1IMPR-CS
    “An Exact and Efficient Approach for Computing a Cell in an Arrangement of Quadrics,” Universität des Saarlandes, Saarbrücken, 2002.

2001

  1. Thesis
    D1IMPR-CS
    “Curve Reconstruction and the Traveling Salesman Problem,” Universität des Saarlandes, Saarbrücken, 2001.
  2. Thesis
    D1IMPR-CS
    “LEDA-SM: External Memory Algorithms and Data Structures in Theory and Practice,” Universität des Saarlandes, Saarbrücken, 2001.
  3. Thesis
    D1IMPR-CS
    “Combinatorial Curve Reconstruction and the Efficient Exact Implementation of Geometric Algorithms,” Universität des Saarlandes, Saarbrücken, 2001.
  4. Thesis
    D5IMPR-CS
    “Einige Optimierungsmethoden hierarchischer Schaltkreise,” Universität des Saarlandes, Saarbrücken, 2001.
  5. Thesis
    IMPR-CS
    “Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem,” Universität des Saarlandes, Saarbrücken, 2001.
  6. Thesis
    D1IMPR-CS
    “A Combinatorial Approach to Orthogonal Placement Problems,” Universität des Saarlandes, Saarbrücken, 2001.
  7. Thesis
    D1IMPR-CS
    “Approximation Algorithms for Combinatorial Optimization Problems in Graph Coloring and Network Design,” Universität des Saarlandes, Saarbrücken, 2001.
  8. Thesis
    IMPR-CS
    “A Uniform Constraint-based Framework for the Verification of Infinite State Systems,” Universität des Saarlandes, Saarbrücken, 2001.
  9. Thesis
    D1IMPR-CS
    “Average-case Complexity of Shortest-paths Problems,” Universität des Saarlandes, Saarbrücken, 2001.
  10. Thesis
    D5IMPR-CS
    “Transaktionen in föderierten Datenbanksystemen unter eingeschränkten Isolation Levels,” Universität des Saarlandes, Saarbrücken, 2001.
  11. Thesis
    D4IMPR-CS
    “Efficient High-Quality Fairing of Discrete Curves and Surfaces,” Universität des Saarlandes, Saarbrücken, 2001.
  12. Thesis
    D1IMPR-CS
    “Planar Nef Polyhedra and Generic Higher-dimensional Geometry,” Universität des Saarlandes, Saarbrücken, 2001.
  13. Thesis
    D1IMPR-CS
    “Constrained Shortest Paths and Related Problems,” Universität des Saarlandes, Saarbrücken, 2001.

2000

  1. Thesis
    D1IMPR-CS
    “New Approaches to Protein Docking,” Universität des Saarlandes, Saarbrücken, 2000.
  2. Thesis
    D1IMPR-CS
    “Crossing Minimization in Automatic Graph Drawing,” Universität des Saarlandes, Saarbrücken, 2000.