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

2022

  1. Thesis
    D5IMPR-CS
    “Knowledge Extraction from Fictional Texts,” Universität des Saarlandes, Saarbrücken, 2022.
  2. Thesis
    D5IMPR-CS
    “More than the sum of its parts,” Universität des Saarlandes, Saarbrücken, 2022.
  3. Thesis
    D5IMPR-CS
    “Data Science Methods for the Analysis of Controversial Social Media Discussions,” Universität des Saarlandes, Saarbrücken, 2022.
  4. Thesis
    D2IMPR-CS
    “Lifted Edges as Connectivity Priors for Multicut and Disjoint Paths,” Universität des Saarlandes, Saarbrücken, 2022.
  5. Thesis
    D5IMPR-CS
    “Entities with Quantities: Extraction, Search and Ranking,” Universität des Saarlandes, Saarbrücken, 2022.
  6. Thesis
    D1IMPR-CS
    “On Time, Time Synchronization and Noise in Time Measurement Systems,” Universität des Saarlandes, Saarbrücken, 2022.
  7. Thesis
    D5IMPR-CS
    “Operationalizing Fairness for Responsible Machine Learning,” Universität des Saarlandes, Saarbrücken, 2022.
  8. Thesis
    D1IMPR-CS
    “Fine-Grained Complexity and Algorithm Engineering of Geometric Similarity Measures,” Universität des Saarlandes, Saarbrücken, 2022.
  9. Thesis
    D2IMPR-CS
    “Understanding and Improving Robustness and Uncertainty Estimation in Deep Learning,” Universität des Saarlandes, Saarbrücken, 2022.
  10. Thesis
    D5IMPR-CS
    “Extracting Personal Information from Conversations,” 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
    D5IMPR-CS
    “Discovering robust dependencies from data,” Universität des Saarlandes, Saarbrücken, 2021.
  8. Thesis
    D5IMPR-CS
    “Information-Theoretic Causal Discovery,” Universität des Saarlandes, Saarbrücken, 2021.
  9. Thesis
    BIOIMPR-CSD5
    “Structural Building Blocks in Graph Data,” Universität des Saarlandes, Saarbrücken, 2021.
  10. Thesis
    D5IMPR-CS
    “Text-image synergy for multimodal retrieval and annotation,” Universität des Saarlandes, Saarbrücken, 2021.
  11. Thesis
    D2IMPR-CSD4
    “From Pixels to People,” Universität des Saarlandes, Saarbrücken, 2021.
  12. Thesis
    D1IMPR-CS
    “Variety Membership Testing in Algebraic Complexity Theory,” Universität des Saarlandes, Saarbrücken, 2021.
  13. Thesis
    BIOIMPR-CS
    “Computational solutions for addressing heterogeneity in DNA methylation data,” Universität des Saarlandes, Saarbrücken, 2021.
  14. Thesis
    D5IMPR-CS
    “Deep Latent-Variable Models for Neural Text Generation,” Universität des Saarlandes, Saarbrücken, 2021.
  15. Thesis
    D2IMPR-CS
    “Adversarial Content Manipulation for Analyzing and Improving Model Robustness,” Universität des Saarlandes, Saarbrücken, 2021.
  16. Thesis
    D4IMPR-CS
    “Self-supervised reconstruction and synthesis of faces,” Universität des Saarlandes, Saarbrücken, 2021.
  17. 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
    D4IMPR-CS
    “Live inverse rendering,” Universität des Saarlandes, Saarbrücken, 2020.
  9. 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.
  10. Thesis
    D2IMPR-CS
    “Sensing, Interpreting, and Anticipating Human Social Behaviour in the Real World,” Universität des Saarlandes, Saarbrücken, 2020.
  11. Thesis
    D2IMPR-CS
    “Understanding and Controlling Leakage in Machine Learning,” Universität des Saarlandes, Saarbrücken, 2020.
  12. Thesis
    D1IMPR-CS
    “Approximation Algorithms for Network Design and Cut Problems in Bounded-Treewidth,” 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. Thesis
    D1IMPR-CS
    “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
    D2IMPR-CS
    “Image Manipulation against Learned Models Privacy and Security Implications,” Universität des Saarlandes, Saarbrücken, 2018.
  11. Thesis
    RG1IMPR-CS
    “An Approximation and Refinement Approach to First-Order Automated Reasoning,” 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
    IMPR-CSD5
    “Algorithms for Shared-Memory Matrix Completion and Maximum Inner Product Search,” Universität des Saarlandes, Saarbrücken, 2016.
  22. Thesis
    D4IMPR-CS
    “Depth, Shading, and Stylization in Stereoscopic Cinematograph,” Universität des Saarlandes, Saarbrücken, 2016.
  23. Thesis
    IMPR-CS
    “Progressive Stochastic Reconstruction Technique for Cryo Electron Tomography,” Universität des Saarlandes, Saarbrücken, 2016.
  24. 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.