Dissertationen

2018

  • Banova, Vassilena: Eine Methode zur Identifikation, Bewertung und Anpassung von Geschäftsprozessen für die Mobilisierung. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Cejuela Pérez, Juan Miguel: Augmenting Humans. A Text Mining Approach. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Chen, Nutan: Efficient Movement Representation and Prediction with Machine Learning. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Cheng, Long: System Level Periodic Thermal Management for Hard Real-Time Systems. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Greger, Vanessa Gisela Maria: Analyse und Gestaltung des IT-Controllings in der öffentlichen Verwaltung. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Lakatos, Dominic: Multi-Dimensional Nonlinear Oscillation Control of Compliantly Actuated Robots. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Lotz, Alex: Managing Non-Functional Communication Aspects in the Entire Life-Cycle of a Component-Based Robotic Software System. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Milletari, Fausto: Hough Voting Strategies for Segmentation, Detection and Tracking. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Pfaff, Matthias: Ontology-Based Semantic Data Integration in the Domain of IT Benchmarking. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Rettenberger, Sebastian: Scalable I/O on Modern Supercomputers for Simulations on Unstructured Meshes. Dissertation, 2018 mehr…
  • Satagopam, Venkata Pardhasaradhi: Applying data integration and knowledge management techniques to analyze systems biology data. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Schulze Frielinghaus, Stefan: Interprocedural Program Analysis – Herbrand Equalities and Local Solvers. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Stampfer, Dennis: Contributions to System Composition using a System Design Process driven by Service Definitions for Service Robotics. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Wagner, Steffen: Implicit Remote Attestation for Microkernel-based Embedded Systems. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Wilde, Torsten: Assessing the Energy Efficiency of High Performance Computing (HPC) Data Centers. Dissertation, 2018 mehr… Volltext (mediaTUM)
  • Willnecker, Felix: Memory-aware Multi-Objective Optimization of Deployment Topologies for Distributed Applications. Dissertation, 2018 mehr… Volltext (mediaTUM)

2017

  • Albarqouni, Shadi : Machine Learning for Biomedical Applications: From Crowdsourcing to Deep Learning. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Alperowitz, Lukas: ProCeeD – A Framework for Continuous Prototyping. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Alsheakhali, Mohamed: Machine Learning for Medical Instrument Detection and Pose Estimation in Retinal Microsurgery. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Bakhtiari, Arash: High Order Adaptive Semi-Lagrangian/Volume-Integral Methods for Parallel Advection-Diffusion Simulations. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Banescu, Sebastian-Emilian: Characterizing the Strength of Software Obfuscation Against Automated Attacks. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Barthel, Michael: Erkennung und Verfolgung von relevanten Objekten zur semantischen Annotierung von dynamischen, monokularen Szenen am Beispiel von Fußballübertragungen. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Becker, Klaus: Software Deployment Analysis for Mixed Reliability Automotive Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Bier, Philipp Christoph Sebastian: Umsetzung des datenschutzrechtlichen Auskunftsanspruchs auf Grundlage von Usage-Control und Data-Provenance-Technologien. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Bieth, Marie: Localising Anatomical Structures and Quantifying Tumour Burden in PET/CT Images using Machine Learning. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Brunel, Robert: Enhancing Relational Database Systems for Managing Hierarchical Data. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Bustin, Aurelien: Advanced Reconstruction Techniques in Free-Breathing Multi-Contrast High-Resolution Cardiac Magnetic Resonance Imaging. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Cai, Caixia: 6D Visual Servoing for Industrial Manipulators applied to Human-Robot Interaction Scenarios. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Chen, Guang: Efficient 3D Human Motion Perception System with Un-supervision, Randomization and Discrimination. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Christ, Patrick Ferdinand: Convolutional Neural Networks for Classification and Segmentation of Medical Images. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Comprés Ureña, Isaías Alberto: Resource-Elasticity Support for Distributed Memory HPC Applications. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Costache, Sorina Gratiela: Traffic Information Dissemination in Road Transportation Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Diekmann, Cornelius Hermann: Provably Secure Networks: Methodology and Toolset for Configuration Management. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Eckhardt, Jonas: Categorizations of Product-related Requirements in Practice – Observations and Improvements. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Elguindy, Ahmed: Control and Stability of Power Systems using Reachability Analysis. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Engel, Jakob-Julian: Large-Scale Direct SLAM and 3D Reconstruction in Real-Time. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Femmer, Henning: Requirements Engineering Artifact Quality: Definition and Control. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Füller, Kathrin: Customer Integration 4.0: Leveraging Customer Knowledge in Innovation Processes by Using Digital Technologies. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Gardiazabal Schilling, José Francisco: Robotic freehand SPECT Imaging. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Gómez Damián, Pedro Agustín: Accelerating Quantitative Magnetic Resonance Imaging. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Herb, Teresina: Method to develop an overall architecture for Cooperative ITS. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Herold, Nadine: Incident Handling Systems with Automated Intrusion Response. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Hu, Biao: Schedulability Analysis of General Task Model and Demand Aware Scheduling in Mixed-Criticality Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Hubig, Nina: Analyzing and Predicting Large Vector-, Graph- and Spatio-Temporal Data. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Ivanchev, Jordan: Analysis, Planning, Control and Surveillance of Traffic Performance Defining Components for Robust, Sustainable and Efficient Road Transportation Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Jaimez Tarifa, Mariano: Motion Estimation, 3D Reconstruction and Navigation with Range Sensors. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Jarema, Denis: Efficient Eulerian Gyrokinetic Simulations with Block-Structured Grids. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Jergler, Martin: Distributed Workflow Coordination in Publish/Subscribe Environments. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Kilic, Fatih: Security Investigation in Encrypted Environment. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Kittel, Thomas: Code and Data Integrity of Modern Operating Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Knorr, Sebastian Bernhard: Leveraging the User's Face as a Known Object in Handheld Augmented Reality. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Kothmayr, Thomas: A Distributed Data Processing Perspective on Industrial Real-Time Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Kresse, Ingo: A semantic constraint-based Robot Motion Control for Generalizing Everyday Manipulation Actions. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Langenberg, Robert: Analysis and Optimization of the Offline Software of the ATLAS Experiment at CERN. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Li, Rui: Data Mining and Machine Learning Methods for High-dimensional Patient Data in Dementia Research: Voxel Features Mining, Subgroup Discovery and Multi-view Learning. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Maurus, Samuel: Exploratory Knowledge-Mining from Complex Data Contexts in Linear Time. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Minnerup, Pascal Marcel: An Efficient Method for Testing Autonomous Driving Software against Nondeterministic Influences. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Mund, Jakub Mikołaj: Measurement-based Quality Assessment of Requirements Specifications for Software-Intensive Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Narayan, Nitesh: MiNT: MULTIMODAL iNTERACTION FOR MODELING AND MODEL REFACTORING. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Neumann, René: CAVA – A Verified Model Checker. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Parra Hinojosa, Alfredo: Toward Resilient Exascale PDE Solvers Using the Combination Technique. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Peter, Loic: Automating and Assisting Image Segmentation with Decision Forests. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Pinkau, Chris: Stochastic Scheduling with Precedence Constraints. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Pongratz, Johann: IT-Architektur für die digitale Hochschule. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Pöss, Meikel: Methodologies for a Comprehensive Approach to Measuring the Performance of Decision Support Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Reschenhofer, Thomas: Empowering End-users to Collaboratively Analyze Evolving Complex Linked Data. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Riesinger, Christoph: Scalable scientific computing applications for GPU-accelerated heterogeneous systems. Dissertation, 2017 mehr… Volltext ( DOI ) Volltext (mediaTUM)
  • Rivera Acevedo, Jose Adan: Distributed Optimization for Electric Vehicle Charging Control. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Röder, Nina: Exploring the Effect of Workarounds in Ambidextrous Organizations. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Schaub, Alexander: Robust Perception from Optical Sensors for Reactive Behaviors in Autonomous Robotic Vehicles. Dissertation, 2017 mehr…
  • Scheuermann, Constantin: A Metamodel for Cyber-Physical Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Schwarzmayr, Thomas: Assembly and Analysis of Next-Generation Sequencing Data. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Sharma, Kanishka: Machine Learning Methods for Segmentation in Autosomal Dominant Polycystic Kidney Disease. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Souiai, Mohamed: Convex Semantic Priors for Continuous Multi-Label Optimization. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Tan, David Joseph: Learn to Track: From Images to 3D Data. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Teufl, Sabine Maria: Seamless Model-based Requirements Engineering: Models, Guidelines, Tools. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Tsvetkov, Tsvetko Ivanchev: Verification of Autonomic Actions in Mobile Communication Networks. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Velten, Michael: Hardware-based Integrity Protection combined with Continuous User Verification in Virtualized Systems. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Wollersheim, Jan: Eine Methode zur Analyse von Cloud-Service-Qualität aus der Käuferperspektive. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Xiao, Huang: Adversarial and Secure Machine Learning. Dissertation, 2017 mehr… Volltext (mediaTUM)
  • Zettinig, Oliver: Advanced Ultrasound Imaging Techniques for Computer Assisted Interventions. Dissertation, 2017 mehr… Volltext (mediaTUM)

2016

  • Adam, Daniel: Konzept einer bionischen E/E-Architektur für Fahrzeuge nach dem Vorbild des menschlichen Körpers. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Akkaya Türkavci, Cigdem: A Comprehensive Analysis on Citizen Adoption of E-Government Services: A Cross-Cultural Analysis. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Bauer, Veronika Maria: Analysing and supporting software reuse in practice. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Berariu, Anca: On Using Domain Knowledge for Advanced Programming Tools. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Böck, Matthias: Learning of Probabilistic Models to Infer Gene Regulatory Networks. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Büttner, David: Improving Hybrid Codes Through MPI-Aware OpenMP. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Carstens, Simeon: Bayesian structure determination from Chromosome Conformation Capture data and avenues to improve conformational sampling. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Chatelain, Pierre: Quality-Driven Control of a Robotized Ultrasound Probe. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Chen, Chao: Motion Planning for Nonholonomic Vehicles with Space Exploration Guided Heuristic Search. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Chen, Chen: A multimodal biosensor-based system with compatibility for telemonitoring and epidemiological services. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Chen, Gang: Resource Management in Real-time Multicore Embedded Systems: Performance and Energy Perspectives. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Demir, Ismail: Visual Abstractions for Analyzing Uncertain Multidimensional Data. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Dippon, Andreas: Natural Interaction in Multi-Device Environments. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Drost, Bertram Heinrich: Point Cloud Computing for Rigid and Deformable 3D Object Recognition. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Dörfel, Robert Urs: Power-Management in Automotiven Systemen - Integration und Umsetzung am Beispiel der PLASA-Plattform. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Eder, Sebastian: Exploiting Execution Profiles in Software Maintenance and Test. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Emara, Karim Ahmed Awad El-Sayed: Safety-aware Location Privacy in Vehicular Ad-hoc Networks. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Fadaei, Salman: Algorithmic Mechanism Design via Relaxation and Rounding. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Ferstl, Florian: Visualizing the Variability in Ensemble Simulations. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Finis, Jan Peter: On Supporting Hierarchical Data in Relational Main-Memory Database Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Freiherr von Gleissenthall, Klaus: Cardinalities in Software Verification. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Frtunikj, Jelena: Safety Framework and Platform for Functions of Future Automotive E/E Systems. Dissertation, 2016 mehr…
  • Fuchs, Christoph: Limits and Chances of Social Information Retrieval. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Fürst, Bernhard: Multi-modal Registration and Robotic Imaging for Computer Assisted Surgery. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Gaschler, Andre K.: Efficient Geometric Predicates for Integrated Task and Motion Planning. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Geist, Christian: Generating Insights in Social Choice Theory via Computer-aided Methods. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Goffart, Klaus: Entscheidungsverhalten im Fahrzeug am Beispiel von Parkplatzentscheidungen. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Goldberg, Tatyana: Next Generation Machine Learning Prediction of Protein Cellular Sorting. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Haladjian, Juan: TangoHapps: An Integrated Development Environment for Smart Textiles. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Han, Gel: Development of an Indoor Location Tracking System for the Operating Room. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Hapfelmeier, Andreas: Incremental Linear Model Trees on Big Data. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Hauder, Matheus: Empowering End-Users to Collaboratively Structure Knowledge-Intensive Processes. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Hauptmann, Benedikt: Reducing System Testing Effort by Focusing on Commonalities in Test Procedures. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Hoberg, Patrick: Kunden- und Anbietereinfluss im Vergleich – Eine Untersuchung zum Geschäftsprozess-Outsourcing-Erfolg. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Holling, Dominik: Defect-based Quality Assurance with Defect Models. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Hopf, Thomas: Phenotype prediction from evolutionary sequence covariation. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Huang, Chun-Hao: Tracking by Detection of 3D Human Shapes in Multi-camera Environments. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Höppner, Hannes: Analysis of Human Intrinsic Stiffness Modulation and its Use in Variable-Stiffness Robots. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Hörnig, Martin: Kameraparameter-Nachführung durch natürliche Landmarken in Sequenzen monokularer Bilder am Beispiel von Fußballübertragungen mit Anwendungen zu automatischer Ballbesitz- und Spielereigniserkennung. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Itoh, Yuta: Calibration and Use of Optical See-Through Head-Mounted Displays toward Indistinguishable Augmented Reality. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Jarema, Mihaela: Visual Analysis of Statistical Aspects of Ensemble Data. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Junker, Maximilian: Specification and Analysis of Availability for Software-Intensive Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Kannengießer, Nils Timotheus: Improving Copy Protection for Mobile Apps. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Keddis, Nadine: Capability-Based System-Aware Planning and Scheduling of Workflows for Adaptable Manufacturing Systems. Dissertation, 2016 mehr…
  • Kelbert, Florian Manuel: Data Usage Control for Distributed Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Khakhutskyy, Valeriy: Sparse Grids for Big Data: Exploiting Parsimony for Large-Scale Learning. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Kohlmayer, Florian: Datenschutz und biomedizinische Forschung: Konzepte und Lösungen für Anonymität. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Kowitz, Christoph: Applying the Sparse Grid Combination Technique in Linear Gyrokinetics. Dissertation, 2016 mehr…
  • Krugel, Johannes: Approximate Pattern Matching with Index Structures. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Krusche, Stephan: Rugby - A Process Model for Continuous Software Engineering. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Kunčar, Ondřej: Types, Abstraction and Parametric Polymorphism in Higher-Order Logic. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Lamche, Béatrice: Improving the User Experience in Mobile Recommender Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Lehmann, Alexander: Mobile Social Situation Detection. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Leis, Viktor: Query Processing and Optimization in Modern Database Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Ma, Meng: Personalized Interaction with Medical Information in Mixed Reality Environments. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Meisinger, Michael Johannes: A Service-Oriented Development Process for Distributed Reactive Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Meister, Oliver: Sierpinski Curves for Parallel Adaptive Mesh Refinement in Finite Element and Finite Volume Methods. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Mösenlechner, Lorenz: The Cognitive Robot Abstract Machine – A Framework for Cognitive Robotics. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Mühlbauer, Tobias: On Scalable and Flexible Transaction and Query Processing in Main-Memory Database Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Noschinski, Lars: Formalizing Graph Theory and Planarity Certificates. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Osendorfer, Christian Anton: Connectionist Models for Learning Local Image Descriptors: An empirical case study. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Pankratz, Frieder: Augmented Reality for Augmented Reality. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Peters, Sebastian Matthias: MIBO – A Framework for the Integration of Multimodal Intuitive Controls in Smart Buildings. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Pramsohler, Thomas: Modellbasierte Adaptierung von Softwarekomponenten am Beispiel Automotive Infotainment. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Pölsterl, Sebastian Walter: Algorithms for Large-scale Learning from Heterogeneous Survival Data. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Resch, Christoph: Enhancing Projective Spatial Augmented Reality in Industry – A Model Based Approach for Registration and Calibration. Dissertation, 2016 mehr…
  • Rosenberg, Zuzana: Simulation Approach for Managing and Analyzing Dynamic Complexities in Business Process Change Projects. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Rödiger, Wolf-Steffen: Scalable Distributed Query Processing in Parallel Main-Memory Database Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Rückstieß, Thomas Frank: Reinforcement Learning in Supervised Problem Domains. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Sayih, Marouane: Web Engineering mit XML-Technologien. Dissertation, 2016 mehr…
  • Schlamp, Johann: An Evaluation of Architectural Threats to Internet Routing. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Schlund, Maximilian: Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Schneider, Alexander W.: Decision Support for Application Landscape Diversity Management. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Schneider, Florian: URML: Towards Visual Negotiation of Complex System Requirements. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Schulte zu Berge, Christian Ulrich: Real-time Processing for Advanced Ultrasound Visualization. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Schulze, Florian: Conversational Context for Mobile Notification Management. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Seitz, Michael J.: Simulating pedestrian dynamics – Towards natural locomotion and psychological decision making. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Steidl, Daniela: Cost-Effective Quality Assurance For Long-Lived Software Using Automated Static Analysis. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Stähle, Hauke: A Model-Based Framework for System-Wide Plug-and-Play with Flexible Timing Verification for Automotive Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Stühmer, Jan: A Convex Optimization Framework for Connectivity Constraints in Image Segmentation and 3D Reconstruction. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Uekermann, Benjamin Walter: Partitioned Fluid-Structure Interaction on Massively Parallel Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Unterweger, Kristof Gregor: High-Performance Coupling of Dynamically Adaptive Grids and Hyperbolic Equation Systems. Dissertation, 2016 mehr…
  • Urbanek, Holger Stefan: iEMG: Imaging Electromyography. Dissertation, 2016 mehr…
  • Vetter, Christoph: Accelerated Registration and Reconstruction for Functional Nuclear Imaging. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Vicedo Jover, Maria Esmeralda: Comprehensive analysis of intrinsically disordered protein content in organisms exposed to extreme ambient conditions. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Wagner, Martin Otto Werner: Gefahrenerkennung in Konfigurationen verteilter Systeme. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Weiß, Michael: System Architectures to Improve Trust, Integrity and Resilience of Embedded Systems. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Wucherer, Patrick: Simulation in medical education – A novel full-scale immersive team-based simulation environment for objective performance assessment of surgical excellence. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Wüchner, Tobias: Behavior-based Malware Detection with Quantitative Data Flow Analysis. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • Zhang, Feihu: Data Fusion for Advanced Driver Assistance Systems Based on Random Finite Set Statistic. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • del Razo Sarmina, Jose Victor: Coordinated Electric Vehicle Charging in Residential and Highway Environments. Dissertation, 2016 mehr… Volltext (mediaTUM)
  • von Sivers, Isabella Katharina Maximiliana: Modellierung sozialpsychologischer Faktoren in Personenstromsimulationen – Interpersonale Distanz und soziale Identitäten. Dissertation, 2016 mehr… Volltext (mediaTUM)

2015

  • Barla Harter, Isil Burcu: Optimization of Resilience in Virtual Networks. Dissertation, 2015 mehr…
  • Bayer, Justin Simon: Learning Sequence Representations. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Belagiannis, Vasileios: Human pose estimation in complex environments. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Berges, Marc-Pascal: Object-Oriented Programming through the Lens of Computer Science Education. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Beyene, Tewodros Awgichew: Temporal Program Verification and Synthesis as Horn Constraints Solving. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Breuer, Alexander Nikolas: High Performance Earthquake Simulations. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Brunnert, Andreas: Continuous Performance Evaluation and Capacity Planning for Enterprise Applications. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Buse, Gerrit: Exploiting Many-Core Architectures for Dimensionally Adaptive Sparse Grids. Dissertation, 2015 mehr…
  • Böhm, Markus: IT-bezogene Herausforderungen im Kontext von Unternehmensdesinvestitionen – Ein Erklärungsansatz für den IT-Desintegrationserfolg. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Büchler, Matthias: Semi-Automatic Security Testing of Web Applications with Fault Models and Properties. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Campetelli, Alarico: An Approach for Hybrid Modelling and Formal Verification in FOCUS. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Chajdas, Matthäus Georg: A voxel-based visualization pipeline for high-resolution geometry. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Chen, Lili: Multiple People Tracking-by-Detection in a Multi-camera Environment. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Chen, Yuxiang: 3D Image Processing for Structural Analysis of Macromolecules Using Cryo-Electron Tomography. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Cheng, Xiaoyin: Improving Reconstruction of Dynamic PET Imaging by Utilizing Temporal Coherence and Pharmacokinetics. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Dany, Fabian: Zur Nutzerakzeptanz bei telemedizinischen Systemen. Dissertation, 2015 mehr…
  • Diebold, Julia: Convex Variational Methods for Semantic Image Analysis. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Dietrich, Alexander Markus: Whole-Body Impedance Control of Wheeled Humanoid Robots. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Dongus, Konrad: Risk, Governance, and Performance in Information Systems Projects. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Duschl, Markus: Critical Assessment of Data Visualization from the Electronic Horizon in the Context of a Deceleration Assistance System. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Eder, Martin: Compliant Modular Worm-like Robotic Mechanisms with Decentrally Controlled Fluid Actuators. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Eichler, Jörn Gunnar: Model-based Security Engineering of Electronic Business Processes – A framework for security engineering in the domain of business process management. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Engel, Tobias: Information Sharing as a Competitive Supply Chain Strategy: Mapping the Various Antecedents. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Frühling, Sebastian: Intelligente Steuerung von automatischen Kamerasystemen in Nachrichtenstudios durch verbale Kontrolle. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Funke, Florian Andreas: Adaptive Physical Optimization in Hybrid OLTP & OLAP Main-Memory Database Systems. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Fähling, Jens: PS³ - Entwicklung und Evaluation einer Methode für die Szenario-Erstellung von Produkt-Service Systemen auf Basis eines kreativen Problemlösungsprozesses unter Anwendung von Analogien. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Ganslmeier, Thomas: Framework für die Realisierung eines hybriden Gesamtsystems zur hardwareunabhängigen Entwicklung elektronischer Fahrzeugapplikationen. Dissertation, 2015 mehr…
  • Geisinger, Michael: Game-based Synthesis for Distributed Control of Industrial Assembly Lines. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Geyer, Fabien: End-to-End Flow-Level Quality-of-Service Guarantees for Switched Networks. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Graf von Stillfried-Rattonitz, Georg Norbert Christoph Dominik: Kinematic Modelling of the Human Hand for Robotics. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Gubichev, Andrey: Query Processing and Optimization in Graph Databases. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Guillén Carías, Carla Beatriz: Knowledge-based Performance Monitoring for Large Scale HPC Architectures. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Guzmán Ortega, Adriana Emitza: Mining User Reviews from Mobile Applications for Software Evolution. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Hariharan, Nitya: Enabling efficient simulations of radiative transfer with CRASH. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Hartl, Alexander: Computational modeling of detection physics for 3D intraoperative imaging with navigated nuclear probes. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Hecht, Maximilian: Prediction of functional effects for sequence variants. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Hennersperger, Christoph Ludwig: Domain-Specific Modeling for Vascular Freehand Ultrasound. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Herz, Alexander: Programming Language Design, Analysis and Implementation for Automated and Effective Program Parallelization. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Holzer, Stefan: Learning-based Approaches for Template Tracking and Interest Point Detection. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Homann, Marcus Rainer: Endbenutzer-Entwicklung mobiler ERP-Applikationen durch den Einsatz eines domänenspezifischen Entwicklungswerkzeuges. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Huber, Josef Michael Martin: Entwurfsmuster zur Unterstützung kollaborativer Ideenentwicklung in virtuellen Ideen Communities. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Kaden, Lars: Verifikation von Parameter-Identifikationsverfahren nichtlinearer Systeme am Beispiel eines physikalischen Reifenmodells. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Kainz, Gerd: Tool Support for Integrated Development of Component-Based Embedded Systems. Dissertation, 2015 mehr…
  • Kammergruber, Walter Christian: A Framework for Working with Cross-Application Social Tagging Data. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Khalafalla, Hoda Mohamed Naguib Gunidi: Issue Tracking Metrics and Assignee Recommendation in Scientific Software Projects. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Kienegger, Harald: Kritische Erfolgsfaktoren und Herausforderungen von Software-as-a-Service basierten Enterprise Resource Planning Einführungsprojekten – Eine explorative Studie am Beispiel von SAP Business ByDesign. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Klein, Andreas: Schattenalgorithmen im langwelligen Infrarotbereich. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Klügel, Niklas: Collaborative Music-Making with Interactive Tabletops. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Kriegel, Simon: Autonomous 3D Modeling of Unknown Objects for Active Scene Exploration. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Kruse, Thibault: Planning for Human-Robot Interaction. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Kumari, Prachi: Model-Based Policy Derivation for Usage Control. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Li, Yang: DRUMS: Domain-specific Requirements Modeling for Scientists. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Lovat, Enrico: Cross-layer Data-centric Usage Control. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Mihaila, Bogdan Andrei: Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Nasseri, Mohammadali: Hybrid Parallel-Serial Micromanipulator for Assisting Ophthalmic Surgery. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Oleynik, Yury: Automatic Characterization of Performance Dynamics with Periscope. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Oswald, Martin Ralf: Convex Variational Methods for Single-View and Space-Time Multi-View Reconstruction. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Paikar-Megaiz, Angila: E-Portfolio- und Social Networking-Systeme zur Unterstützung des lebenslangen Lernens. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Pietzsch, Sylvia: Modellgestützte Sensordatenfusion von Laserscanner und Radar zur Erfassung komplexer Fahrzeugumgebungen. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Rautenhaus, Marc: Interactive 3D visualization of ensemble weather forecasts. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Reichl, Florian: Interactive Sample-Based Rendering of High-Resolution Data Sets. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Ruiz Ugalde, Federico: Compact Models of Objects for Skilled Manipulation. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Röhm, Tobias: The MALTASE Framework For Usage-Aware Software Evolution. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Schröder, Manuel: Development of a Birth Prediction Model Using Virtual Delivery Simulation. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Schweiger, Benno Maximilian: Enhancing In-Car Prediction by Car2X Communication. Dissertation, 2015 mehr…
  • Seedig, Hans Georg: Majority Relations and Tournament Solutions – A Computational Study. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Shah, Hardik: Predictable and high performance multi-core architectures. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Shoukourian, Hayk: Adviser for Energy Consumption Management: Green Energy Conservation. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Siegel, Holger: Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs. Dissertation, 2015 mehr…
  • Sirtl, Holger Norbert: Integrierter Prozess zu Entwurf und Bewertung einer Cloud-basierten Softwarearchitektur. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Solnushkin, Konstantin S.: Automated Design of Computer Clusters. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Spanfelner, Bernd: Specification and analysis of adaptive systems. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Spieckermann, Sigurd: Multi-Task and Transfer Learning with Recurrent Neural Networks. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Strekalovskiy, Evgeny: Convex Relaxation of Variational Models with Applications in Image Analysis. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Stümper, Stefan: Fahrzeugeigenlokalisierung innerhalb bekannter Indoor-Umgebungen mittels Seriensensorik. Dissertation, 2015 mehr…
  • Syrnik, Robert: Untersuchung der fahrdynamischen Potenziale eines elektromotorischen Traktionsantriebs. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Thiele, Bernhard Amadeus: Framework for Modelica Based Function Development. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Traytel, Dmytro: Formalizing Symbolic Decision Procedures for Regular Languages. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Truschin, Sergej: Mobiles Arbeiten im Auto – Rahmenbedingungen, Designprinzipien und eine IT-Referenzarchitektur. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Vogel, Jakob: Tomographic Reconstruction beyond Classical X-ray CT. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Vogelsang, Andreas: Model-based Requirements Engineering for Multifunctional Systems. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Vogl, Sebastian Wolfgang: Data-only Malware. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Vogler, Anna Nicole: Automated Blood-Pressure Regulation in Intensive Care Patients after Cardiac Surgery based on Fuzzy Control. Dissertation, 2015 mehr…
  • Wachs, Matthias: A Secure and Resilient Communication Infrastructure for Decentralized Networking Applications. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Wang, Wei: Dynamic Scene Understanding and Recognition from Properties of Visual Data Structures. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Weihmann, Jeremias: Generalized Petri Nets: Algorithms and Complexity. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Wieland, Thomas: Next-Generation Sequencing Data Analysis. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Wolke, Andreas: Energy efficient capacity management in virtualized data centers. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Wu, Jun: Interactive Virtual Cutting of Elastically Deformable Bodies. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Xiao, Han: From Adversarial Learning to Reliable and Scalable Learning. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Yachdav, Guy: Frameworks for Large Scale Annotation of Proteins, Proteomes and Meta-proteomes. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Yigitsoy, Mehmet: Local and Global Consistency Measures in Intensity-based Medical Image Registration. Dissertation, 2015 mehr… Volltext (mediaTUM)
  • Ziaie, Seyed Pujan: Lifecycle-Based Design Principles for Open Production Communities. Dissertation, 2015 mehr… Volltext (mediaTUM)

2014

  • Annuth, Hendrik: Growing Surface Structures – an Iterative Refinement Surface Reconstruction Approach Deduced from Artificial Neural Networks. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Apinis, Kalmer: Frameworks for analyzing multi-threaded C. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Atanasov, Atanas: Software Idioms for Component-based and Topology-aware Simulation Assembly and Data Exchange in High Performance Computing and Visualisation Environments. Dissertation, 2014 mehr…
  • Bapierre, Halgurt: Context Specific Next Location Prediction. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Barthels, Andreas: Energy-aware Computing in Embedded Systems and its Operating System Support. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Baumgartner, Benedikt: Automation of a Portable Heart-Lung Machine and Patient Monitoring with Data Mining Methods. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Blodow, Nico: Managing Belief States for Service Robots – Dynamic Scene Perception and Spatio-temporal Memory. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Bouard, Alexandre: Middleware-based Security for Future In-Car Networks. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Braun, Lothar: Traffic Analysis on High-Speed Internet Links. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Coskun, Tayfur: Two-Handed User Interfaces for Mobile Devices. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Di, Pengfei: Providing Efficient Key Based Routing for Multiple Applications. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Durus, Murat: Ball Tracking and Action Recognition of Soccer Players in TV Broadcast Videos. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Eckhardt, Wolfgang Florian: Efficient HPC Implementations for Large-Scale Molecular Simulation in Process Engineering. Dissertation, 2014 mehr…
  • Eggers, Martin Hermann Albert: Perspective-Adjusting Appearance Model for Distributed Multi-View Person Tracking. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Freitag, Andreas: Applying Business Capability Models in a Corporate Buyer M&A Process. Dissertation, 2014 mehr…
  • Gatzhammer, Bernhard: Efficient and Flexible Partitioned Simulation of Fluid-Structure Interactions. Dissertation, 2014 mehr…
  • Girschick, Tobias: Enhanced Small Molecule Similarity for Quantitative Structure-Activity Relationship Modeling and Cheminformatics Applications. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Gleirscher, Mario: Behavioural Safety of Technical Systems. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Grbic, Sasa: Advanced Valve Modeling and Multi-Modal Fusion for Minimally Invasive Valve Procedures. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Hamp, Tobias: Sequence-based prediction of protein-protein interactions. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Holz, Ralph-Günther: Empirical analysis of Public Key Infrastructures and Investigation of Improvements. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Huang, Jia: Towards an Integrated Framework for Reliability-Aware Embedded System Design on Multiprocessor System-on-Chips. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Jäntsch, Michael: Non-Linear Control Strategies for Musculoskeletal Robots. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Karg, Michael: Representation, Acquisition and Use of Expectations for Domestic Service Robots. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Klodt, Maria: Convex Relaxation Methods for Image Segmentation and Stereo Reconstruction. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Kofler, Thomas: Ontologischer Ansatz zur abgestimmten Anforderungserschließung für Informationssysteme zur Geschäftsprozessunterstützung. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Kovács, Máté Amadé: Information Flow Security in Tree-Manipulating Processes. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Kunze, Lars: Naïve Physics and Commonsense Reasoning for Everyday Robot Manipulation. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Kurz, Daniel: Sensor-Aided Visual Camera Localization and Tracking for Handheld Augmented Reality. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Köbler, Felix: Analyzing and Leveraging Benefits of Online Social Networking for the Elderly – Effects and Design of Social Networking Sites. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Lichtenthäler, Christina: Legibility of Robot Behavior – Investigating Legibility of Robot Navigation in Human-Robot Path Crossing Scenarios. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Lieb, Michael: Efficient Simulation of Flows Through Complex Geometries in the PDE Framework Peano. Dissertation, 2014 mehr…
  • Lochmann, Klaus: Defining and Assessing Software Quality by Quality Models. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Lê, Minh: Quantitative evaluation of network reliability. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Maalej, Mustapha: Generieren von XML-Editoren in XForms aus XML Schema. Dissertation, 2014 mehr…
  • Maier, Patrick: Augmented Chemical Reactions - Research on 3D Selection and Confirmation Methods. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Manner, Julia: Steuerung plattformbasierter Servicemarktplätze. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Marton, Zoltan-Csaba: Multi-cue Perception for Robotic Object Manipulation – How Spatio-temporal Integration of Multi-modal Information Aids Task Execution. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Mercep, Ljubo: Context-Centric Design of Automotive Human-Machine Interfaces. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Mkhitaryan, Artashes: A Framework for Optimal Dynamic Modelling of Sensing Modalities. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Monahov, Ivan: Integrated software support for quantitative models in the domain of Enterprise Architecture Management. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Mühe, Henrik: Concurrency in Main-Memory Database Systems. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Mühling, Andreas Michael: Investigating Knowledge Structures in Computer Science Education. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Müller, Thomas: Techniques for adapting Industrial Simulation Software for Power Devices and Networks to Multi- and Many-Core Architectures. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Obermeier, Manuela: Enterprise Architecture Management in der öffentlichen Verwaltung: Design, Einführung und Evaluation. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Pahl, Marc-Oliver: Distributed Smart Space Orchestration. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Petkov, Ventsislav: Automatic Performance Engineering Workflows for High Performance Computing. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Petrakis, Ioannis: Equilibrium Analysis of Core-Selecting Auctions and the Impact of Risk Aversion and Allocation Constraints. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Petsch, Susanne M. E.: Analysis of Serial Chain Manipulator Structures with Respect to Efficient Actuation in Context of Abstractly Represented Tasks. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Roth, Sascha: Federated Enterprise Architecture Model Management – Conceptual Foundations, Collaborative Model Integration, and Software Support. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Sarholz, Frederik: Analyse der Signale eines bildgebenden Radars am Beispiel der Straßenverlaufsschätzung. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Schikora, Marek: Airborne Multiple Emitter Tracking by Fusing Heterogeneous Bearing Data. Dissertation, 2014 mehr…
  • Schreiber, Martin: Cluster-Based Parallelization of Simulations on Dynamically Adaptive Grids and Dynamic Resource Management. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Schwarz, Martin Daniel: Static Analysis of Embedded Software with Priority Scheduling and Interrupts. Dissertation, 2014 mehr…
  • Sebastião Correia, Pedro: Methodische Beiträge zur Realisierung einer zentralisierten Server-Client-Architektur für eine sichere IP-basierte Fahrzeugdiagnose am Beispiel einer Service-Werkstatt. Dissertation, 2014 mehr…
  • Seeland, Madeleine: Structural Graph Clustering: Scalable Methods and Applications for Graph Classification and Regression. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Shakir, Dzhoshkun Ismail: Intra-operative Nuclear Imaging Based on Positron-emitting Radiotracers. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Siles Canales, Francisco: Automated Semantic Annotation of Football Games from TV Broadcast. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Sommer, Stephan P.: Model-Driven Tailoring and Assembly of Service Oriented Cyber-Physical-Systems. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Straub, Florian Rudolf: Kollaboratives Information Retrieval auf Basis raum-zeitlicher Small Worlds für verteiltes Social Networking. Dissertation, 2014 mehr…
  • Tertilt, Daniel Nico Sebastian: Evolutionäre Algorithmen zur Performance-Modellierung von Unternehmensanwendungen. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Treib, Marc: GPU-Based Compression for Large-Scale Visualization. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Vaaraniemi, Mikael: Usability Oriented Visualization Techniques for 3D Navigation Map Display. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Weikersdorfer, David: Efficiency by Sparsity: Depth-Adaptive Superpixels and Event-based SLAM. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • Wittmeier, Steffen: Physics-Based Modeling and Simulation of Musculoskeletal Robots. Dissertation, 2014 mehr… Volltext (mediaTUM)
  • von Neumann-Cosel, Kilian: Virtual Test Drive – Simulation umfeldbasierter Fahrzeugfunktionen. Dissertation, 2014 mehr… Volltext (mediaTUM)

2013

  • Ahmadi, Seyed-Ahmad: Image Analysis Methods in Multi-View Transcranial 3D Ultrasound for Diagnosis of Neurological Movement-Disorders. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Akram, Hasan Ibne: Learning Probabilistic Subsequential Transducers. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Albutiu, Martina-Cezara: Scalable Analytical Query Processing. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Auckenthaler, Thomas: Highly Scalable Eigensolvers for Petaflop Applications. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Auer, Stefan: An Embedding Method for Interactive Simulation on Dynamic Surfaces. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Bader, Kai Christian: High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Bader, Roland: Proactive Recommender Systems in Automotive Scenarios. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Bandh, Tobias: Coordination of autonomic function execution in Self-Organizing Networks. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Blum, Tobias: Human-Computer Interaction for Medical Education and Training. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Bulwahn, Lukas: Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Butnaru, Daniel: Computational Steering with Reduced Complexity. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Dobreva, Veneta Mateeva: Efficient Management of RFID Traceability Data. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Drytkiewicz, Witold: The Impact of Architecture on Quality of Electronic Control Systems – The Cost of Architectural Complexity. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Dünnebeil, Sebastian: Modulare Software-Architektur für Mehrwertanwendungen der deutschen Gesundheitstelematik. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Frieß, Marc René: Situative Creativity. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Gaiser, Andreas: Verification of Reachability Properties and Termination for Probabilistic Systems. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Glas, Martin: Ontology-based Model Integration for the Conceptual Design of Aircraft. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Gorzelniak, Lukas: Towards a methodology for improving the comparability of accelerometer-based results for physical activity measurements in older adults. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Gufler, Benjamin: Load-Balanced Massively Parallel Distributed Data Exploration. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Göb, Andreas: SOA und Softwarequalität. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Hagen, Sebastian: Algorithms for the Efficient Verification and Planning of Information Technology Change Operations. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Heidinger, Emanuel: Performance Bounds in Switched Ethernet Onboard Networks. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Huang, Haowei: Ensemble-based Programming for Scientific Applications. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Hölzl, Johannes: Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Kalus, Georg: Projektspezifische Anpassung von Vorgehensmodellen – Feature-basiertes Tailoring. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Karamalis, Athanasios: Ultrasound Confidence Maps and Applications in Medical Image Processing. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Karbyshev, Aleksandr: Monadic Parametricity of Second-Order Functionals. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Kern, Christian: Methods for the Diagnosis and Automatic Repair of Software Systems. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Kinkelin, Holger: Autonomous and Robust Components for Security in Network Domains. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Kretinsky, Jan: Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Lamla, Gregor: Identitätsmanagement in verteilten Umgebungen zur Unterstützung der translationalen medizinischen Forschung. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Lieberknecht, Sebastian: Contributions to Real-time Visual Tracking and Live Environment Modeling for Augmented Reality Applications – Design and Implementation of New Methods and Evaluations on Real Image-based Ground Truth Data. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Maier, Paul: Model-based Plan Assessment for Autonomous Technical Systems. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Maunz, Andreas: Graph Mining Methods for Predictive Toxicology. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Mayer, Manuel: Performance-Modellierung und Simulation eines SAP-Netweaver-Portal-Systems. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Mendoza Garcia, Alejandro: Automation of a Portable Extracorporeal Circulatory Support System with the Use of Adaptive Fuzzy Controllers. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Murarasu, Alin Florindor: Advanced Optimization Techniques for Sparse Grids on Modern Heterogeneous Systems. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Müller, Andreas: Analysis and Control of Middleboxes in the Internet. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Müller, Thomas: Architecture and Methodology for Sensor-Based Robotics on Lie Algebras. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Nägele, Andreas: Large-Scale Bayesian Network Structure Learning. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Papazov, Chavdar: Stochastic and Deterministic Methods for 3D Shape Registration. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Peherstorfer, Benjamin: Model Order Reduction of Parametrized Systems with Sparse Grid Learning Techniques. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Pfaffelmoser, Tobias Josef: Visualization of Uncertain Scalar Data Sets. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Pfoh, Jonas: Leveraging Derivative Virtual Machine Introspection Methods for Security Applications. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Praßer, Fabian : Incremental Ontology-Based Integration for Translational Medical Research. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Reichl, Tobias: Advanced Hybrid Tracking and Navigation for Computer-Assisted Interventions. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Reuß, Andreas: Normalization of Horn Clauses with Disequality Constraints. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Schmelcher, Dominik Karl: Integrationskonzepte und -lösungen zur Etablierung einer Forschungsinfrastruktur für Biobanken. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Schmidt, Jana A.: Machine Learning of Timed Automata. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Schneider, Christian A.: Full Virtual Machine State Reconstruction for Security Applications. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Schäfer, Christian: Predicting the structural effect upon single amino acid exchange. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Schütte, Julian Hendrik: Security Policies in Pervasive Systems – Design of a Modular Security Policy Framework for Semantic, Multi-Domain, Service-Oriented Pervasive Systems. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Seibold, Michael: Operational Business Intelligence as a Service in the Cloud. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Stage, Alexander: A Study of Resource Allocation Methods in Virtualized Enterprise Data Centres. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Staub, Christoph: Micro Endoscope based Fine Manipulation in Robotic Surgery. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Steinhoff, Alexander Sebastian: Enhancing Tagging Systems with a Flexible, Faceted Organization Structure. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Torka, Philipp J.: Dienstorientierte Architekturen: Eine konzeptuelle Herleitung auf Basis eines formalen Prozessmodells. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Töppe, Eno: Convex Optimization Methods for Single View 3D Reconstruction. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Unger, Christian: Contributions to Stereo Vision. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Weinzierl, Marion: Hybrid Geometric-Algebraic Matrix-Free Multigrid on Spacetrees. Dissertation, 2013 mehr… Volltext (mediaTUM)
  • Wicker, Jörg: Large Classifier Systems in Bio- and Cheminformatics. Dissertation, 2013 mehr… Volltext (mediaTUM)

2012

  • Alachiotis, Nikolaos: Algorithms and Computer Architectures for Evolutionary Bioinformatics. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Atasoy, Cana Selen: Endoscopic Video Manifolds for Scene Recognition in Targeted Optical Biopsy. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Baust, Maximilian: Polar Active Contours for Medical Applications. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Benk, Janos: Immersed Boundary Methods within a PDE Toolbox on Distributed Memory Systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Berkovich, Marina: Requirements Engineering für IT-gestützte Product Service Systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Bigdelou, Ali: Operating Room Specific Domain Model for Usability Evaluations and HCI Design. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Blanchette, Jasmin Christian: Automatic Proofs and Refutations for Higher-Order Logic. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Blomer, Jakob: Decentralized Data Storage and Processing in the Context of the LHC Experiments at CERN. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Brieu, Nicolas: Image-based Characterization of Thrombus Formation in Time-lapse DIC Microscopy – Segmentation under Low Contrast and Highly Dynamic Imaging Conditions. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Brill, Markus: Set-Valued Solution Concepts in Social Choice and Game Theory – Axiomatic and Computational Aspects. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Brocco, Michele: A Meta Model for Team Recommendations in Open Innovation Networks. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Böhme, Sascha: Proving Theorems of Higher-Order Logic with SMT Solvers. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Can, Salman: A Highly Versatile Single-Port System for Minimally Invasive Surgery. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Castaneda Zeman, Victor Antonio: Constructive interference for Multi-view Time-of-Flight acquisition. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Cheng, Chih-Hong: An implementation for algorithmic game solving and its applications in system synthesis. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Dick, Christian: Computational Steering for Implant Planning in Orthopedics. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Eißler, Tilo: A highly scalable system for genome based computational microbial diagnostics. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Elser, Benedikt: Latency Prediction for P2P Overlays. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Fraedrich, Roland: Interactive Visualization Techniques for Large-Scale Particle Simulations. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Gradl, Stephan: Performance-Modellierung und Simulation eines SAP-ERP-Systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Greiner, Gero: Sparse Matrix Computations and their I/O Complexity. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Heinemann, Lars: Effective and Efficient Reuse with Software Libraries. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Herrmann, Jan: Zugriffskontrolle in serviceorientierten Architekturen am Beispiel von Geodateninfrastrukturen. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Hinterstoißer, Stefan: Real-Time Detection and Pose Estimation of Low-Textured and Texture-less Objects. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Homm, Florian: Fahrzeugeigenlokalisation im Kontext hochautomatisierter Fahrfunktionen. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Jain, Dominik: Probabilistic Cognition for Technical Systems – Statistical Relational Models for High-Level Knowledge Representation, Learning and Reasoning. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Jetzfellner, Thomas: Quantification of Molecular Probes in Optoacoustic Tomography. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Klank, Ulrich Friedrich: Everyday Perception for Mobile Manipulation in Human Environments. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Klein, Tassilo Johannes: Statistical Image Processing of Medical Ultrasound Radio Frequency Data. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Klenk, Andreas: Bilateral and Multilateral Negotiation for Agreement Discovery and Formation. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Knittl, Silvia: Werkzeugunterstützung für interorganisationales IT-Service-Management – - ein Referenzmodell für die Erstellung einer ioCMDB -. Dissertation, 2012 mehr…
  • Kohl, Jens: Effiziente Diagnose von verteilten Funktionen automobiler Steuergeräte. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Kolev, Kalin: Convexity in Image-Based 3D Surface Reconstruction. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Kraja, Fisnik: Designing High Performance Computing Architectures for Reliable Space Applications. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Kugele , Stefan: Model-Based Development of Software-intensive Automotive Systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Lemaignan, Séverin: Grounding the Interaction: Knowledge Management for Interactive Robots. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Mair, Elmar: Efficient and Robust Pose Estimation Based on Inertial and Visual Sensing. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Mayer, Christoph: Facial Expression Recognition With A Three-Dimensional Face Model. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Menkens, Christian: From Service Delivery to Web-Telecom Converged Application Delivery in the Telecommunication Industry. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Merenda, Stefano: The Metamodelling Language M2L – An Approach for Seamless Language Engineering and Formal Metamodelling. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Minin, Alexey: Modeling of Dynamical Systems with Complex Valued Recurrent Neural Networks. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Mueller, Marianne Larissa: Data Mining Methods for Medical Diagnosis – Test Selection, Subgroup Discovery, and Contrained Clustering. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Nagel, Michael: The QUARC Metamodel: A Communication-Based Generic Project Model. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Nair, Suraj: Visual Tracking of Multiple Humans with Machine Learning based Robustness Enhancement applied to Real-World Robotic Systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Nepper, Patrick: Continuous, seamless integration of users into the software design of interactive systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Neubeck, Philipp: A Probabilitistic Theory of Interactive Systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Neubert, Christian: Facilitating Emergent and Adaptive Information Structures in Enterprise 2.0 Platforms. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Neumann, Alexander: Simulationsbasierte Messtechnik zur Prüfung von Head-up Displays. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Pauly, Olivier: Random Forests for Medical Applications. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Reich, Dirk-Michael: Wissen, wann sich Wiederverwendung lohnt: e-FACTS, ein Modell zur einfachen ökonomischen Bewertung von Software-Produktlinien in der Automobilindustrie. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Riaz, Zahid: Visual Interpretation of Human Body Language for Interactive Scenarios. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Roderus , Martin: Parallelization Strategies for Density Functional Software. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Ruepp, Oliver: Recovery of Structure and Motion from Monocular Images under Poor Lighting and Texture Conditions. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Saballus, Björn: Maintaining Reference Graphs in Fully Decentralized Systems. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Safi, Asad Ali: Towards Computer-Aided Diagnosis of Pigmented Skin Lesions. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Schlegel, Michael: Zeitkalibrierung in Augmented Reality Anwendungen. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Schmidl, Jörg: Fostering Knowledge Exchange Based on Relevant Activities. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Schmidt, Tim-Christian: Representation and parallelization techniques for classical planning. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Schmidts, Christian: Fahrbahnerkennung und -rekonstruktion in der Ebene durch Analyse von Umfeldveränderungen in Folgen von monokularen Grauwertbildern. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Schmitt, Corinna: Secure Data Transmission in Wireless Sensor Networks. Dissertation, 2012 mehr…
  • Schraufstetter, Stefanie: A Pricing Framework for the Efficient Evaluation of Financial Derivatives based on Theta Calculus and Adaptive Sparse Grids. Dissertation, 2012 mehr…
  • Schwarz, Loren Arthur: Machine Learning for Human Motion Analysis and Gesture Recognition. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Sedlacek, Matous: Sparse Approximate Inverses for Preconditioning, Smoothing, and Regularization. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Sehnke, Frank: Parameter Exploring Policy Gradients and their Implications. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Seyffarth, Torsten: Bildbasierte Abstandsregelung für Kraftfahrzeuge. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Simon, Christina: Straßenumfeldmodellierung durch Fusion und Interpretation von Sensordaten zur spurgenauen Positionierung des Fahrzeugs. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Stangl, Harald: SCRIPT: A Framework for Scenario-Driven Prototyping. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Vigh, Csaba Attila: Parallel Simulation of the Shallow Water Equations on Structured Dynamically Adaptive Triangular Grids. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Wang, Lejing: Novel techniques for integrating video augmented X-ray imaging into orthopedic and trauma surgery. Dissertation, 2012 mehr… Volltext (mediaTUM)
  • Ziegler, Georg: Efficiency and Pricing in Combinatorial Auctions and the Impact of Side Constraints. Dissertation, 2012 mehr… Volltext (mediaTUM)

2011

  • Acker, Ralph: Access Manager – A DBMS framework for extensible access methods. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Amann, Bernhard: Redundancy and Access Permissions in Decentralized File Systems. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Aulbach, Stefan: Schema Flexibility and Data Sharing in Multi-Tenant Databases. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Bandouch, Jan: Observing and Interpreting Complex Human Activities in Everyday Environments. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Baron von Hoyningen-Huene, Nicolai: Real-time Tracking of Player Identities in Team Sports. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Blume, Moritz: Joint Image and Motion Reconstruction for Positron Emission Tomography. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Buckl, Sabine: Developing Organization-Specific Enterprise Architecture Management Functions Using a Method Base. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Bögelsack, André: Performance und Skalierung von SAP ERP Systemen in virtualisierten Umgebungen. Dissertation, 2011 mehr…
  • Demirci, Stefanie: New Approaches to Computer Assistance for Endovascular Abdominal Aortic Repairs. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Dragicevic, Kristijan: An Execution Trace Verification Method on Linearizability. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Elts, Ekaterina: Erweiterung der Molekulardynamik um innere Freiheitsgrade: Modellierung und verteilte Simulationen auf dem Grid. Dissertation, 2011 mehr…
  • Evans, Nathan: Methods for Secure Decentralized Routing in Open Networks. Dissertation, 2011 mehr…
  • Fedrizzi, Andreas: Action-Related Places for Mobile Manipulation. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Fite-Georgel, Pierre: Augmented Reality Tools for Digital Plant Engineering. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Fite-Georgel, Pierre: Werkzeuge für die erweiterte Realität im digitalen Anlagenbau. Dissertation, 2011 mehr…
  • Flexeder, Andrea: Interprocedural Analysis of Low-Level Code. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Fouquet, Marc: Strategic Resource Management Desicions in Computer Networks. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Friese, Sylvia: On Normalization and Type Checking for Tree Transducers. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Friese, Sylvia: On Normalization and Type Checking for Tree Transducers. Dissertation, 2011 mehr…
  • Fritzsche, Martin: Requirements Engineering für änderungsintensive, marktgetriebene Softwareentwicklungsprojekte von kleinen und mittleren Unternehmen. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Giuliani, Manuel: Comparing Classical and Embodied Multimodal Fusion for Human-Robot Interaction. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Glocker, Benjamin M.: Random Fields for Image Registration. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Gupta, Ashutosh Kumar: Constraint solving for verification. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Haberl, Wolfgang: Code Generation and System Integration of Distributed Automotive Applications. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Haitof, Houssam: A Framework for Autonomic Service-based Resource Management Using a Semantic Approach. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Heibel, Tim Hauke: Medical Tool Tracking in Fluoroscopic Interventions – New Insights in Detection and Tracking of Tubular Tools. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Heider, Jens: Ubiquitous Personal Information Management. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Helming, Jonas: Merging Project Management with System Modeling. Dissertation, 2011 mehr…
  • Herrmannsdörfer, Markus: Evolutionary Metamodeling. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Huber, Manuel: Parasitic Tracking for Ubiquitous Augmented Reality. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Hummel, Benjamin: Integrated Behavior Modeling of Space-Intensive Mechatronic Systems. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Islam, Shareeful: Software Development Risk Management Model – a goal-driven Approach. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Juergens, Elmar: Why and How to Control Cloning in Software Artifacts. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Keitler, Peter: Management of Tracking – and Tracking Accuracy in Industrial Augmented Reality. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Krompaß, Stefan: Topics in Meeting Complex Service Level Objectives for Mixed Database Workloads. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Kuhn, Lukas: Self-diagnosing Agent: Tight Integration of Operational Planning and Active Diagnosis. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Ladikos, Stawros: Real-Time Multi-View 3D Reconstruction for Interventional Environments. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Langer, Philipp: Angebotsmanagement für Hybride IT Produkte: – Prozess- und Datenmodelle für den Vertrieb kundenindividueller IT Lösungen. Dissertation, 2011 mehr…
  • Lasser, Tobias: Tomographic Reconstruction Methods for Optical and Intra-operative Functional Imaging. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Lenz, Claus: Context-aware human-robot collaboration as a basis for future cognitive factories. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Lescher, Christian: Collaboration-based Metrics for Project Management Support in Global Software Engineering. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Martín González, Anabel: Advanced Imaging in Head-Mounted Displays for Patients with Age-Related Macular Degeneration. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Méndez Fernández, Daniel: Requirements Engineering: Artefact-Based Customisation. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Penzenstadler, Birgit: DeSyRe - Decomposition of Systems and their Requirements – Transition from System to Subsystem using a Criteria Catalogue and Systematic Requirements Refinement. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Ramirez, Alejandro: Time-of-flight in Wireless Networks as Information Source for Positioning. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Rickert, Markus: Efficient Motion Planning for Intuitive Task Execution in Modular Manipulation Systems. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Riedl, Christoph: Tool-Supported Innovation Management in Service Ecosystems. Dissertation, 2011 mehr…
  • Schaul, Tom: Studies in Continuous Black-box Optimization. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Scheickl, Oliver: Timing Constraints in Distributed Development of Automotive Real-time Systems. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Schiller, Jennifer: A Framework for Externalizing Information in Agile Meetings. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Schneider, Stefan: Compact Bidding Languages and Supplier Selection for Markets with Economies of Scale and Scope. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Scholz, Andreas: Adaptive Data Processing in Embedded Networks. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Schweda, Christian M.: Development of Organization-Specific Enterprise Architecture Modeling Languages Using Building Blocks. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Taranovych, Yuriy: Web Based Project Coaching – Requirements, Design, Implementation and Evaluation of Online Coaching Services for IT Project Management. Dissertation, 2011 mehr…
  • Tenorth, Moritz: Knowledge Processing for Autonomous Robots. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Vivian, Prinz: Strukturierte Peer-to-Peer-Algorithmen und DHT-basierter Publish/Subscribe für Car-to-X-Anwendungen. Dissertation, 2011 mehr…
  • Wachinger, Christian: Ultrasound Mosaicing and Motion Modeling – Applications in Medical Image Registration. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Zacharias, Franziska: Knowledge Representations for Planning Manipulation Tasks. Dissertation, 2011 mehr… Volltext (mediaTUM)
  • Zikic, Darko: Contributions to Medical Image Registration. Dissertation, 2011 mehr… Volltext (mediaTUM)

2010

  • Abmayr, Thomas: Calibration and Registration Framework for Multisensor Panoramic Color Scanning. Dissertation, 2010 mehr…
  • Anantavrasilp, Isara: Supervised Machine Learning Assisted Real-Time Flow Classification System – A Real-Time Approach to Flow Classification. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Benz, Sebastian: Generating Tests for Feature Interaction. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Bichlmeier, Christoph: Immersive, Interactive and Contextual In-Situ Visualization for Medical Applications. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Buchholz, Martin: Framework zur Parallelisierung von Molekulardynamiksimulationen in verfahrenstechnischen Anwendungen. Dissertation, 2010 mehr…
  • Bürger, Kai: Particle-based Flow Visualization. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Eckhardt, Bernd Stefan: Complexity Analysis of Tries and Spanning Tree Problems. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Eigner, Robert: KOMODE - Ein semantisches Kontextmodell für kollaborative Anwendungen in automobilen ad-hoc Netzwerken. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Ernst, Alexander M.: A Pattern-based Approach to Enterprise Architecture Management. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Feilkas, Martin: Implizite Entwurfsregeln in Softwaresystemen – Entstehung, Erfassung und Konformitätsprüfung. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Fessi, Ali: Resilient Application Layer Signaling based on Supervised Peer-to-Peer (P2P) Networks. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Forster, Florian: Computerunterstützung von kollaborativen Kreativitätsprozessen. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Gruler, Alexander: A Formal Approach to Software Product Families. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Harhurin, Alexander: Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Hoffmann, Holger: Ein Werkzeug zur Entwicklung nutzerorientierter Software- und Service-Prototypen im Fahrzeug. Dissertation, 2010 mehr…
  • Hühn, Oliver: Performance Modelling For Distributed Transaction Processing Systems. Dissertation, 2010 mehr…
  • Ionasec, Razvan Ioan: Patient-specific Modeling and Quantification of the Heart Valves from Multimodal Cardiac Images. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Keil, Andreas: Dynamic Variational Level Sets for Cardiac 4D Reconstruction. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Klug, Tobias: Methoden und Werkzeuge zur automatischen Kontrolle der Thread-Platzierung auf Mehrkernprozessoren. Dissertation, 2010 mehr…
  • Kutter, Oliver: Visual Computing for Computer Assisted Interventions. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Lachmund, Sven: Auto-generation of least privileges access control policies for applications supported by user input recognition. Dissertation, 2010 mehr…
  • Lechner, Silke-Maria: EddySim: A Problem Solving Environment for Hardware-Related Eddy Current Simulations in Magnetic Resonance Imaging. Dissertation, 2010 mehr…
  • Liu, Rui: Automatic 3D World Modeling with High-Precision Laser Scanner. Dissertation, 2010 mehr…
  • Luttenberger, Michael: Solving Polynomial Systems on Semirings – A Generalization of Newton's Method. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Maalej, Walid: Intention-Based Integration of Software Engineering Tools. Dissertation, 2010 mehr…
  • Miederer, Isabelle: Mathematical Modelling of Neurological Image Data in [<sup>11</sup>C]Flumazenil Positron Emission Tomography. Dissertation, 2010 mehr…
  • Miederer, Isabelle: Mathematische Modellbildung Neurologischer Bilddaten in der [<sup>11</sup>C]Flumazenil Positronen-Emissions-Tomographie. Dissertation, 2010 mehr…
  • Münz, Gerhard: Traffic Anomaly Detection and Cause Identification Using Flow-Level Measurements. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Nestler, Simon: Konzeption, Implementierung und Evaluierung von Benutzerschnittstellen für lebensbedrohliche, zeitkritische und instabile Situationen. Dissertation, 2010 mehr…
  • Niedermayer, Heiko: Architecture and Components of secure and anonymous Peer-to-Peer systems. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Ott, Michael: Inference of Large Phylogenetic Trees on Parallel Architectures. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Petter, Michael: Interprocedural Polynomial Invariants. Dissertation, 2010 mehr…
  • Pfaller, Christian: Anforderungsorientierter modellbasierter Softwaretest reaktiver Systeme. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Pflüger, Dirk Michael: Spatially Adaptive Sparse Grids for High-Dimensional Problems. Dissertation, 2010 mehr…
  • Reiter, Herbert: Reduktion von Integrationsproblemen für Software im Automobil durch frühzeitige Erkennung und Vermeidung von Architekturfehlern. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Rettinger, Achim: Latent-Class Statistical Relational Learning with Uncertain Formal Ontologies. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Sadanandan, Sandeep: Counting in the Jacobian of Hyperelliptic Curves – In the light of genus 2 curves for cryptography. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Schmohl, Robert: The Contextual Map – Detecting and exploiting Affinity between contextual Information in context-aware mobile Environments. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Schneider, Kathrin: Eine Methode zur Konzeption eines Outsourcingmodells am Beispiel Fremdvergaben auf Gesamtfahrzeugebene. Dissertation, 2010 mehr…
  • Scholl, Tobias: Community-Driven Data Grids. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Schwerdtfeger, Björn: Pick-by-Vision: Bringing HMD-based Augmented Reality into the Warehouse. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Sunyaev, Ali: Design and Application of a Security Analysis Method for Healthcare Telematics in Germany. Dissertation, 2010 mehr…
  • Taki, Arash: Improvement and Automatic Classification of IVUS-VH (Intravascular Ultrasound – Virtual Histology) Images. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Thoma, Stephan: Mensch-Maschine-Interaktionskonzepte für Fahrerassistenzsysteme im Kreuzungsbereich. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Wendler Vidal, Thomas: 3D intraoperative funktionelle Bildgebung mit navigierten Sonden. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Wiemann, Matthias: Quantifizierung und Reduktion von testinduzierten Qualitätskosten – Praxisorientierte Optimierungen für die Entwicklung eingebetteter Systeme in der Automobilindustrie. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Wierstra, Daniel: A Study in Direct Policy Search. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Wojtczyk, Martin: A New Model To Design Software Architectures For Mobile Service Robots. Dissertation, 2010 mehr… Volltext (mediaTUM)
  • Wurst, Sebastian H. R.: Dataspace Integration in der medizinischen Forschung. Dissertation, 2010 mehr… Volltext (mediaTUM)

2009

  • Baumgart, Matthias: Ranking and Ordering Problems of Spanning Trees. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Bettencourt da Cruz, David: POSAAM Eine Methode zu mehr Systematik und Expertenunabhängigkeit in der qualitativen Architekturbewertung. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Boursas, Latifa: Trust-Based Access Control in Federated Environments. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Chibisov, Dmitry: Design of Algorithms for Motion Planning and Motion Prediction. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • David, Jörn: A Domain-Independent Framework for Intelligent Recommendations Based on Machine Learning. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Deißenböck, Florian: Continuous Quality Control of Long-Lived Software Systems. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Echtler, Florian: Tangible Information Displays. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Gawlitza, Thomas Martin: Strategieverbesserungsalgorithmen für exakte Programmanalysen. Dissertation, 2009 mehr…
  • Gedikli, Suat: Continual and Robust Estimation of Camera Parameters in Broadcasted Sports Games. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Gmach, Daniel: Managing Shared Resource Pools for Enterprise Applications. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Graf, Stephan Johannes Franz: Durchgängiges Identity Management und interoperable E-Portfolios zur Unterstützung lebenslangen Lernens. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Haftmann, Florian: Code Generation from Specifications in Higher-Order Logic. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Haratsch, Roland: A Client-Server Architecture for Customized Graphical User Interfaces on the Client Side. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Herrmann, Korbinian: Ein Modell zum begründungsbasierten Freigabemanagement. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Jehle, Holger: Performance-Messung eines Portalsystems in virtualisierter Umgebung am Fallbeispiel SAP. Dissertation, 2009 mehr…
  • Kiefer, Stefan: Solving Systems of Positive Polynomial Equations. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Kleis, Michael: CSP, Cooperative Service Provisioning using Peer-to-Peer Principles. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Krauss, Alexander: Automating Recursive Definitions and Termination Proofs in Higher-Order Logic. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Lindl, Rudolf Anton Florian: Tracking von Verkehrsteilnehmern im Kontext von Multisensorsystemen. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Lämmle, Stefanie: Entwurf, Implementierung und Evaluierung einer Plattform für Lern- und Wissensmanagement an Hochschulen. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Martínez Möller, Axel: Challenges in Multimodality Imaging using Positron Emission Tomography. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Mehammed, Hamza: Application Specific, Automatic Distributed Evaluation of Performance Data on the Grid. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Milosevic, Marko: Hierarchical Pattern Matching in VLSI. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Moltenbrey, Michael: Multimodale parallele Simulation des Verkehrsflusses in großen Netzen. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Nagy, Istvan: Modellierung des Operationssitus in der robotergestützten minimalinvasiven Herzchirurgie. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Neckel, Tobias: The PDE framework Peano: An environment for efficient flow simulations. Dissertation, 2009 mehr…
  • Nicolescu, Valentin Antonius: Gestaltung avatarbasierter natürlichsprachlicher Hilfesysteme für den Einsatz in Fahrzeugen. Dissertation, 2009 mehr…
  • Nowak, Johannes: Algorithmic Methods for Lowest Common Ancestor Problems in Directed Acyclic Graphs. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Pentenrieder, Katharina: Augmented Reality based Factory Planning. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Pister, Markus: Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Ratiu, Daniel Petrica: Intentional Meaning of Programs. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Resatsch, Florian: Developing and Evaluating Ubiquitous Computing Applications Using the Example of Near Field Communication in Germany. Dissertation, 2009 mehr…
  • Rusu, Radu Bogdan: Semantic 3D Object Maps for Everyday Manipulation in Human Living Environments. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Schermann, Michael: Risk Service Engineering: Eine Modellierungsmethode zur wertorientierten Entwicklung von Maßnahmen der Risikosteuerung im Informationsmanagement. Dissertation, 2009 mehr…
  • Schneider, Jens: Efficient Methods for the Display of highly detailed Models in Computer Graphics. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Schöpf, Thomas: Eine Software-Architektur für webbasierte Publikationssysteme. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Schüller, Christian: Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. Dissertation, 2009 mehr…
  • Shabalin, Pavlo: ALPS -- Design and Analysis of a Robust Iterative Combinatorial Auction Format. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Sitou, Wassiou Olarewaju: Requirements Engineering kontextsensitiver Anwendungen. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Speitkamp, Benjamin: An Integer Programming Approach to Resource Allocation in Large-Scale Server Consolidation. Dissertation, 2009 mehr…
  • Spohrer, Matthias: Konzeption und Analyse neuer Maßnahmen in der Fort- und Weiterbildung von Informatiklehrkräften. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Suwimonteerabuth, Dejvuth: Reachability in Pushdown Systems: Algorithms and Applications. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Trachtenherz, David: Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme. Dissertation, 2009 mehr… Volltext (mediaTUM)
  • Weinzierl, Tobias: A Framework for Parallel PDE Solvers on Multiscale Adaptive Cartesian Grids. Dissertation, 2009 mehr…
  • Winter, Sebastian: Modellbasierte Analyse von Nutzerschnittstellen. Dissertation, 2009 mehr… Volltext (mediaTUM)

2008

  • Beneken, Gerd Hinrich: Logische Architekturen – Eine Theorie der Strukturen und ihre Anwendung in Dokumentation und Projektmanagement. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Botaschanjan, Jewgenij: Techniques for Property Preservation in the Development of Real-Time Systems. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Buckl, Christian: Model-Based Development of Fault-Tolerant Real-Time Systems. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Chaieb, Amine: Automated methods for formal proofs in simple arithmetics and algebra. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Chang, Rui: Advanced Probabilistic Modeling Framework with Qualitative Prior Knowledge. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Deubler, Martin Roland: Strukturierte Nutzungssicht für multifunktionale Systeme. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Dinkel, Michael: A Novel IT-Architecture for Self-Management in Distributed Embedded Systems. Dissertation, 2008 mehr…
  • Dötzer, Florian: Security Concepts for Robust and Highly Mobile Ad-Hoc Networks. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Dümichen, Ulrich: Mobile Services: A platform-independent structure for development and usage. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Fleischmann, Andreas: Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich. Dissertation, 2008 mehr…
  • Fox Lozano, Jorge Alberto: A Theory of Aspect Orientation. Dissertation, 2008 mehr…
  • Förster, Claudia: Risikomanagement in Web-Projekten. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Graves, Alexander: Supervised Sequence Labelling with Recurrent Neural Networks. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Groher, Martin: 2D-3D Registration of Vascular Images – Towards 3D-Guided Catheter Interventions. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Hammerschall, Ulrike: Flexible Methodenintegration in anpassbare Vorgehensmodelle. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Hillebrand, Christian: Terminalbasierte Positionsbestimmung als Grundlage von proaktiven Location Based (Community) Services in mobilen Funknetzwerken. Dissertation, 2008 mehr…
  • Kammenhuber, Nils: Traffic-Adaptive Routing. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Kirsch, Alexandra: Integration of Programming and Learning in a Control Language for Autonomous Robots Performing Everyday Activities. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Kondratieva, Polina: Real-Time Approaches for Model-Based Reconstruction and Visualization of Flow Fields. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Kramm, Matthias: Kompression großer Bilddatenbanken mittels Ähnlichkeitsgruppierung. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Kuhrmann, Marco: Konstruktion modularer Vorgehensmodelle – Methodisches Erstellen und Pflegen von Entwicklungsstandards und Vorgehensmodellen für Prozessingenieure. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Kuntschke, Richard Bruno: Network-Aware Optimization in Distributed Data Stream Management Systems. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Landes, Tobias: Kausale Ordnungen in dynamischen nebenläufigen Systemen. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Lankes, Josef: Metrics for Application Landscapes – Status Quo, Development, and a Case Study. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Lasowski, Ruxandra: Visualization Modes for CT-fluoroscopy guided RF Liver Ablations. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Laurent, Celine: A Methodology to Configure IT-Collaboration-Platforms Based on Fuzzy Logic. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Li, Tianchao: Grid Resource Management with Service Level Agreements. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Mayer, Hermann Georg: Human-Machine Skill Transfer in Robot Assisted, Minimally Invasive Surgery. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Muntean, Ioan Lucian: Efficient Distributed Numerical Simulations on the Grid. Dissertation, 2008 mehr…
  • Müller, Armin: Transformational Planning for Autonomous Household Robots Using Libraries of Robust and Flexible Plans. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Obua, Steven: Flyspeck II: The Basic Linear Programs. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Pikovsky, Alexander: Pricing and Bidding Strategies in Iterative Combinatorial Auctions. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Preißinger, Jörg: Fehlertoleranz durch automatisierte Diversität im Management verteilter nebenläufiger Systeme. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Reich, Jochen: Supporting the execution of knowledge intensive processes by means of expert and best-practice mediation. Dissertation, 2008 mehr…
  • Rittmann, Sabine: A methodology for modeling usage behavior of multi-functional systems. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Rückert, Ulrich: A Statistical Approach to Rule Learning. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Scheidemann, Kathrin: Verifying Families of System Configurations. Dissertation, 2008 mehr…
  • Schiwietz, Thomas: Acceleration of Medical Imaging Algorithms Using Programmable Graphics Hardware. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Schweiger, Andreas Alexander Helmut: Agentenbasiertes Konstruieren von verteilten Systemen am Beispiel Gesundheitswesen. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Sekatzek, Eva Peggy Stefanie Sekatzek: Einsatzentscheidung und -steuerung von SAP Standard Business Software in der deutschen Automobilindustrie – Konzeption und Implementierung eines Kennzahlensystems zur Steuerung von SAP Landschaften. Dissertation, 2008 mehr…
  • Sielhorst, Tobias: New Methods for Medical Augmented Reality. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Stodden, Daniel: Live Replication of Paravirtual Machines. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Szabo, Miruna: Neurodynamical Competition and Cooperation Mechanisms in Brain Functions – Attentional Filtering and Perceptual Learning. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Thurimella, Anil Kumar: Issue-based Variability Modeling. Dissertation, 2008 mehr…
  • Traub, Jörg: New Concepts for Design and Workflow Driven Evaluation of Computer Assisted Surgery Solutions. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Tönnis, Marcus: Towards Automotive Augmented Reality. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Walchshäusl, Leonhard: Maschinelle Erkennung von Verkehrsteilnehmern mittels heterogener Sensorik. Dissertation, 2008 mehr… Volltext (mediaTUM)
  • Weber, Tjark: SAT-based Finite Model Generation for Higher-Order Logic. Dissertation, 2008 mehr… Volltext (mediaTUM)

2007

  • Bauer, Andreas Klaus: Model-based runtime analysis of distributed reactive systems. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Bauer, Martin: Tracking Errors in Augmented Reality. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Brandl, Reinhard: Cost Accounting for Shared IT Infrastructures. Dissertation, 2007 mehr…
  • Broy, Verena Anna Theresa: Benutzerzentrierte, graphische Interaktionsmetaphern für Fahrerinformationssysteme. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Büchner, Thomas: Introspektive modellgetriebene Softwareentwicklung. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Cao, Quang Cua: Search Result Management System (SerumS) – An Approach for Efficient and Consistent Web Services Brokering. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Diernhofer, Norbert: IT-Dienstmodellierung – Modellierung von Beziehungen und Abhängigkeiten zwischen Geschäftsprozessmodellen, Softwarekomponenten und der IT-Infrastruktur. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Dreger, Holger: Operational Network Intrusion Detection – Resource-Analysis Tradeoffs. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Feuerstein, Marco: Augmented Reality in Laparoscopic Surgery – New Concepts for Intraoperative Multimodal Imaging. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Georgii, Joachim: Real-Time Simulation and Visualization of Deformable Objects. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Hesse, Roland: Ein Hybrid-Verfahren zur Bearbeitung Kombinatorischer Optimierungsprobleme – Die Integration von Multiagentensystemen und Genetischen Algorithmen in einem Framework zur Bearbeitung von Optimierungsproblemen aus der Praxis. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Huber, Aurel: Specification of Optimizing Document Formatters. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Jansen, Thomas: GPU++ - An Embedded GPU Development System for General-Purpose Computations. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Jeitner, Jürgen: Metamorphosys – Entwurf eines autonomen adaptiven Systems. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Kiss, Christine: Leveraging Social Networks for Analytical Customer Relationship Management. Dissertation, 2007 mehr…
  • Lehel, Vanda: User-Centered Social Software – Model and Characteristics of a Software Family for Social Information Management. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Lehmann, Kathrin: Modelle und Techniken für eine effiziente und lückenlose Zugriffskontrolle in Java-basierten betrieblichen Anwendungen. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Paschke, Adrian: RBSLA: Rule-based Service Level Agreements – Knowledge Representation for Automated e-Contract, SLA and Policy Management. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Perst, Thomas: Type Checking XML Transformations. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Pfingstl, Stefan: Dublettenerkennung – Ähnlichkeitsmaße und Verfahren. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Setzer, Thomas: Adaptive Zugriffskontrollverfahren für Media Streaming Dienste. Dissertation, 2007 mehr…
  • Spichkova, Maria: Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Stulp, Freek: Tailoring Robot Actions to Task Contexts using Action Models. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Täubig, Hanjo: Fast Structure Searching for Computational Proteomics. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Wagner, Stefan: Cost-Optimisation of Analytical Software Quality Assurance. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Wallerich, Jörg: Capturing the Variability of Internet Flows in a Workload Generator for Network Simulators. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Wein, Wolfgang: Multimodal Integration of Medical Ultrasound for Treatment Planning and Interventions. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Wimmer, Martin Rudolf: Efficient Access Control for Service-oriented IT Infrastructures. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Wimmer, Matthias: Model-based Image Interpretation with Application to Facial Expression Recognition. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Wittenburg, André: Softwarekartographie: Modelle und Methoden zur systematischen Visualisierung von Anwendungslandschaften. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Wolf, Timo: Rationale-based Unified Software Engineering Model. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • Ziewer, Peter: Flexible and Automated Production of Full-Fledged Electronic Lectures. Dissertation, 2007 mehr… Volltext (mediaTUM)
  • von Rymon Lipinski, Bartosz: Interactive Point-Based Visualization for Medical Applications. Dissertation, 2007 mehr… Volltext (mediaTUM)

2006

  • Baier, Volker: Motion Perception and Prediction – A Subsymbolic Approach. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Bauer, Gertrud Josefine: Formalizing Plane Graph Theory – Towards a Formalized Proof of the Kepler Conjecture. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Berlinger, Kajetan: Fiducial-Less Compensation of Breathing Motion in Extracranial Radiosurgery. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Dirnstorfer, Stefan: Mulitscale calculus with applications in quantitative finance. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Fischer, Rainer: Multigrid methods for anisotropic and indefinite structured linear systems of equations. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Gottschling, Heiko: A Computer-Aided System for Planning and Performing Accurate Osteotomies of the Proximal Femur. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Hofbauer, Markus: Kombination sensorischer Evidenzen aus dem visuellen und dem auditorischen Kanal. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Holzapfel, Klaus: Density-based clustering in large-scale networks. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Krüger, Jens Harald: A GPU Framework for Interactive Simulation and Rendering of Fluid Effects. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Lang, Daniel: On the Evaluation and Classification of Routing Protocols for Mobile Ad Hoc Networks. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Löhr, Andreas: Conversation-and-Control – Extending Speech-controlled Graphical User Interfaces. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Maaß, Moritz G.: Analysis of Algorithms and Data Structures for Text Indexing. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Najafi Shoushtari, Seyed Hesameddin: Fast 3D Object Detection and Pose Estimation for Augmented Reality Systems. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Nölle, Stefan: Augmented Reality als Vergleichswerkzeug am Beispiel der Automobilindustrie. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Pochayevets, Oleksandr: BMDFM: A Hybrid Dataflow Runtime Parallelization Environment for Shared Memory Multiprocessors. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Romberg, Jan: Synthesis of distributed systems from synchronous dataflow programs. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Schirmer, Norbert: Verification of Sequential Imperative Programs in Isabelle/HOL. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Schröter, Derik: Region & Gateway Mapping – Acquiring Structured and Object-Oriented Representations of Indoor Environments. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Stegmaier, Bernhard: Query Processing on Data Streams. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Stegmann, Rosmary: LINGUINI - Acquiring Individual Interest Profiles by Means of Adaptive Natural Language Dialog. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Teubner, Jens Thilo: Pathfinder: XQuery Compilation Techniques for Relational Database Targets. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Vilsmeier, Christoph: Distributed Object Computing Caching and Prefetching. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Wildmoser, Martin: Verified Proof Carrying Code. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Wißpeintner, Alexander Karl: Verhaltensinvariante Transformation von Entwurfsmodellen Reaktiver Systeme – Eine Adaption der Refactoring-Technik auf gezeitete Modelle unter Verwendung eines formalen Verhaltensäquivalenzbegriffs. Dissertation, 2006 mehr… Volltext (mediaTUM)
  • Zhuang, Weilun: Annotationen zur Verbesserung der Wiederverwendbarkeit von Lehrmaterialien. Dissertation, 2006 mehr… Volltext (mediaTUM)

2005

  • Berlea, Alexandru: Efficient XML Processing with Tree Automata. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Boulila, Naoufel ben Ahmed: A Framework for Distributed Collaborative Software Design Meetings. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Dejori, Mathäus: Inference Modeling of Gene Regulatory Networks. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Dötter, Manfred: Fluoroskopiebasierte Navigation zur intraoperativen Unterstützung orthopädischer Eingriffe. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Fahrmair, Michael Robert: Kalibrierbare Kontextadaption für Ubiquitous Computing. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Gnatz, Michael Andreas Josef: Vom Vorgehensmodell zum Projektplan. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Golias, Dimitrios: Verfahren zum computergestützten Entwurf von Zahnrestaurationen insbesondere Einzelkronen. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Groh, Georg: Ad-Hoc-Groups in Mobile Communities-Detection, Modeling and Applications. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Grote, Korbinian: Einsatz Neuronaler Netze für die Erkennung und Klassifizierung von Promotorstrukturen in genomischen DNA Sequenzen. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Görl, Harald: Systematische Analyse und Konstruktion integrierter Sicherheitsarchitekturen für mobile verteilte Systeme. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Günzler, Andreas Robert: Integrationskonzepte in der modellbasierten Produktentwicklung. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Hahn, Karl: Parallele Anfrageverarbeitung in multidimensionalen Array Datenbanksystemen. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Hoffmann, Marco: Verfahren zur Übertragung von Dienstgüteaussagen. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Kobylinski, Rafal: Building Group Awareness in Distributed Software Development Projects. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Kof, Leonid: Text Analysis for Requirements Engineering. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Kosch, Timo: Situationsadaptive Kommunikation in Automobilen Ad-hoc Netzen. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Krahnke, Andreas: Adaptive Verfahren höherer Ordnung auf cache-optimalen Datenstrukturen für dreidimensionale Probleme. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • MacWilliams, Asa: A Decentralized Adaptive Architecture for Ubiquitous Augmented Reality Systems. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Maennel, Olaf: Handling the complexity of BGP – via characterization, testing and configuration management. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Marschall, Frank: Modelltransformationen als Mittel der modellbasierten Entwicklung von Software-Systemen. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Matheus, Andreas: Declaration and Enforcement of Access Restrictions for Distributed Geospatial Information Objects. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Popp, Gerhard: Methode zur Integration von Sicherheitsanforderungen in die Entwicklung zugriffssicherer Systeme. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Prenninger, Wolfgang Ludwig Johann: Inkrementelle Entwicklung von Verhaltensmodellen zum Test von reaktiven Systemen. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Reiner, Bernd: HEAVEN – Eine hierarchische Speicher- und Archivierungsumgebung für multidimensionale Array Datenbankmanagement Systeme. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Röttgermann, Uwe: Decentralized Throughput Optimization in Industrial Networks. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Sandor, Christian: A Software Toolkit and Authoring Tools for User Interfaces in Ubiquitous Augmented Reality. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Schütz, Frank: Annotationen in der Lehre – Eine Annotationsarchitektur zur Erweiterung bestehender elektronischer Lehrsysteme. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Seltzsam, Stefan: Security, Caching, and Self-Management in Distributed Information Systems. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Sommer, Robin: Viable Network Intrusion Detection in High-Performance Environments. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Wagner, Martin: Tracking with Multiple Sensors. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Widhopf-Fenk, Robert Josef: Advanced Concepts and Applications of the UB-Tree. Dissertation, 2005 mehr… Volltext (mediaTUM)
  • Wimmel, Guido Oliver: Model-Based Development of Security-Critical Systems. Dissertation, 2005 mehr… Volltext (mediaTUM)

2004

  • Bauer, Michael G.: Multidimensional Indexing and Querying of XML in Digital Libraries and Relational Database Systems. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Braun, Andreas: A Software Architecture for Knowledge Acquisition and Retrieval for Global Software Development Teams. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Burkhardt, Stefan: Orthopädische Navigation auf der Basis von Kernspin-Bilddatensätzen. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Galla, Michael: Social Relationship Management in Internet-based Communication and Shared Information Spaces. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Günther, Frank: Eine cache-optimale Implementierung der Finite-Elemente-Methode. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Hanek, Robert: Fitting Parametric Curve Models to Images Using Local Self-adapting Separation Criteria. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Hanne, Robert: Lineare und Quadratische Optimierung in der Strahlentherapie. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Keidl, Markus: Metadata Management and Context-based Personalization in Distributed Information Systems. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Nitsche, Dirk: UNICO-WebRoboter – Konzept einer spezialisierten Suchmaschine. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Peschel-Findeisen, Thomas: Ein generativer Ansatz zur Konstruktion des Managements verteilter kooperierender Systeme aus abstrakten Spezifikationen. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Reicher, Thomas: A Framework for Dynamically Adaptable Augmented Reality Systems. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Riesner, Stefan : Korrelations- und Prädiktionsverfahren zur Lageverfolgung in der perkutanen Radioonkologie. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Rovatsos, Michael: Computational Interaction Frames. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Schmitt, Thorsten: Vision-based Probabilistic State Estimation for Cooperating Autonomous Robots. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Schwerin, Wolfgang: Ein Produktmodell für die Entwicklung verteilter Informationssysteme. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Stamatakis, Alexandros: Distributed and Parallel Algorithms and Systems for Inference of Huge Phylogenetic Trees based on the Maximum Likelihood Method. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Zeidler, Alfred: Modellierung grafischer Dialogsysteme mit Ereignisstellen-Diagrammen in WYSIWYG-orientierter Darstellung. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Ziemer, Stephan: Anwendung der Metro-Map-Metapher auf die Gestaltung von Unternehmensportalen. Dissertation, 2004 mehr… Volltext (mediaTUM)
  • Zirkel, Martin: Bewertung des UB-Baums unter Berücksichtigung der Sortierung. Dissertation, 2004 mehr… Volltext (mediaTUM)

2003

  • Achatz, Stefan: Adaptive finite Dünngitter-Elemente höherer Ordnung für elliptische partielle Differentialgleichungen mit variablen Koeffizienten. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Acher, Georg: JIFFY - Ein FPGA-basierter Java Just-in-Time Compiler für eingebette Anwendungen. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Berghofer, Stefan: Proofs, Programs and Executable Specifications in Higher Order Logic. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Brandt, Felix: Fundamental Aspects of Privacy and Deception in Electronic Auctions. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Buck, Sebastian: Experience-Based Control and Coordination of Autonomous Mobile Systems in Dynamic Environments. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Emans, Maximilian: Numerische Simulation des unterkühlten Blasensiedens in turbulenter Strömung – Ein Euler-Lagrange-Verfahren auf orthogonalen Gittern. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Gilsdorf, Iris: Routenauswahl in Transportnetzen. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Hilbig, Matthias: Inverse Bestrahlungsplanung für intensitätsmodulierte Strahlenfelder mit Linearer Programmierung als Optimierungsmethode. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Klein, Gerwin: Verified Java Bytecode Verification. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Lacher, Martin: Supporting the Exchange of Knowledge in Communities of Interest via Document Catalog Mediation. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Landgraf, Britta: BibRelEx: Erschließung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Marek, Detlef: Sprachbasierte Konstruktion sicherer Systeme. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Pieringer, Roland: Modeling and implementing multidimensional hierarchically structured Data for Data Warehouses in relational Database Management Systems and the Implementation into Transbase®. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Pretschner, Walter Alexander: Zum modellbasierten funktionalen Test reaktiver Systeme. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Radetzky, Arne: Methoden zur Erhöhung des visuellen Realismus für die Simulation minimal-invasiver chirurgischer Eingriffe. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Schickinger, Thomas: Complete Subgraphs of Random Graphs. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Schmidt, Alexander B.: Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Stein, Klaus: Qualitative Repräsentation und Generalisierung von Bewegungsverläufen. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Wohner, Wolfgang: EOS: An Epistemological Ontology-driven System for Knowledge Processing. Dissertation, 2003 mehr… Volltext (mediaTUM)
  • Wörndl, Wolfgang: Privatheit bei dezentraler Verwaltung von Benutzerprofilen. Dissertation, 2003 mehr… Volltext (mediaTUM)

2002

  • Brand, Claudia: Neuronale Identifikation von Totzeiten. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Brandl, Alfons: Generierung interaktiver Informationssysteme und ihrer Benutzungsoberflächen für mehrere Benutzer. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Buchty, Rainer: Cryptonite - A Programmable Crypto Processor Architecture For High-Bandwidth Applications. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Friedetzky, Tom: Randomised Dynamic Load Balancing. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Hansen, Christoph: Modellgetriebene Verfolgung formvariabler Objekte in Videobildfolgen. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Heise, Andreas: Grundlagen strukturierten Spezifizierens mit höheren Netzen. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Kranz, Christoph Joseph: Untersuchungen zur Kombinationstechnik bei der numerischen Strömungssimulation auf versetzten Gittern. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Lindermeier, Markus: Ein Konzept zur Lastverwaltung in verteilten objektorientierten Systemen. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Molterer, Sascha: Ein methodisches Framework zur Entwicklung offener, unternehmensweiter Systeme und Anwendungen mit Business Objects. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Paul, Andreas: Entwicklung und Implementierung adaptiver Datenstrukturen und Algorithmen zur effizienten Visualisierung und Speicherung digitaler Höhenmodelle. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Prensa Nieto, Leonor: Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Ramsak, Frank: Towards a general-purpose, multidimensional index – integration, optimization and enhancement of UB-trees. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Salzmann, Christian: Modellbasierter Entwurf spontaner Komponentensysteme. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Schwoon, Stefan: Model-Checking Pushdown Systems. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Staudacher, Jochen: Multigrid methods for matrices with structure and applications in image processing. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Stützle, Rupert: Wiederverwendung ohne Mythos – Empirisch fundierte Leitlinien für die Entwicklung wiederverwendbarer Software. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Voll, Ulrich: Threshold Phenomena in Branching Trees and Sparse Random Graphs. Dissertation, 2002 mehr… Volltext (mediaTUM)
  • Wenzel, Markus M.: Isabelle/Isar --- a versatile environment for human-readable formal proof documents. Dissertation, 2002 mehr… Volltext (mediaTUM)

2001

  • Baumann, Andrea: Robot Motion Planning in Time-varying Environments. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Breitling, Max: Formale Fehlermodellierung für verteilte reaktive Systeme. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Deifel, Bernhard: Requirements Engineering komplexer Standardsoftware. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Drum, Philipp: Effiziente Methoden für global verteiltes wissenschaftliches Rechnen. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Kaps, Andreas: CSCW in der Bioinformatik – Ein objektorientiertes Groupwaresystem zur Unterstützung in der Gen- und Genomanalyse. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Klupsch, Michael Peter: Objektorientierte Daten- und Zeitmodelle für die Echtzeit-Bildfolgenauswertung. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Langer, Michael: Konzeption und Anwendung einer Customer Service Management Architektur. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Mehl, Miriam: Ein interdisziplinärer Ansatz zur dreidimensionalen numerischen Simulation von Strömung, Stofftransport und Wachstum in Biofilmssystemen auf der Mikroskala. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Naraschewski, Wolfgang: Teams as Types – A Formal Treatment of Authorisation in Groupware. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Nerb, Michael: Customer Service Management als Basis für interorganisationales Dienstmanagement. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Rackl, Günther: Monitoring and Managing Heterogeneous Middleware. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Rausch, Andreas: Componentware – Methodik des evolutionären Architekturentwurfs. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Röckl, Christine: On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Sachenbacher, Martin: Automated Qualitative Abstraction and its Application to Automotive Systems. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Sapia, Carsten: PROMISE: Modeling and Predicting User Behavior for Online Analytical Processing Applications. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Schulz, Martin: Shared Memory Programming on NUMA-based Clusters using a General and Open Hybrid Hardware/Software Approach. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Sihling, Marc: Methodische Entwicklung und rollenbasierte Integration von Komponentenframeworks. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Stauner, Thomas Markus: Systematic Development of Hybrid Systems. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Steck, Harald: Constraint-Based Structural Learning in Bayesian Networks using Finite Data Sets. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Vilbig, Alexander Georg: Komponentenbasiertes Rapid Prototyping am Beispiel der Biomolekularen Sequenzanalyse. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Wagner, Michael P.: Dynamic Migration of Object Semantics among Heterogeneous Environments. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Weiß, Christian: Data Locality Optimization for Multigrid Methods on Structured Grids. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • Zoller, Peter: HMT - Modeling Interactive and Adaptive Database-driven Hypermedia Applications. Dissertation, 2001 mehr… Volltext (mediaTUM)
  • von Oheimb, David : Analyzing Java in Isabelle/HOL – Formalization, Type Safety and Hoare Logic. Dissertation, 2001 mehr… Volltext (mediaTUM)

2000

  • Blaschka, Markus: FIESTA: A Framework for Schema Evolution in Multidimensional Databases. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Fischer, Volker Gerd: Evolutionary Design of Corporate Networks under Uncertainty. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Harrer, Andreas Georg: Unterstützung von Lerngemeinschaften in verteilten intelligenten Lehrsystemen. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Hermann, Stefan: Designspezifikationen im digitalen Publikationsprozess. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Kehl, Hubertus: Fault Analysis and Fault Tolerance of a Base Station System for Mobile Communications. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Krüger, Ingolf Heiko: Distributed System Design with Message Sequence Charts. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • May, Michael: Sammlung und Nutzung freier Ressourcen in Weitverkehrsnetzen. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Musto, Alexandra: Qualitative Repräsentation von Bewegungsverläufen. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Nippl, Clara: Providing efficient, extensible and adaptive intra-query parallelism for advanced applications. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Pompl, René: Quantitative Bildverarbeitung und ihre Anwendung auf melanozytäre Hautveränderungen. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Ridder, Christof: Interpretation von Videobildfolgen zur Beobachtung artikularer Bewegung von Personen anhand eines generischen 3D Objektmodells. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Roth, Michael: Intraoperative fluoroskopiebasierte Patientenlageerkennung zur präzisen Unterstützung chirurgischer Eingriffe. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Römer, Stefan: Theorie und Praxis der Netzentfaltungen als Basis für die Verifikation nebenläufiger Systeme. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Scharbrodt, Mark: Produktionsplanung in der Prozessindustrie: Modelle, effiziente Algorithmen und Umsetzung. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Schwarzer, Fabian: Geometric Reasoning About Translational Motions. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Schwefel, Hans-Peter: Performance Analysis of Intermediate Systems Serving Aggregated ON/OFF Traffic with Long-Range Dependent Properties. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Sommer, Ulrike: Integriertes Management großer Web-Sites auf der Basis datenbankbasierter Modellierungskonzepte. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Sturm, Michael: Neuronale Netze zur Modellbildung in der Regelungstechnik. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Weiser, Thomas: Ein Berechnungsmodell für situatives Agieren. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Widmann, Norbert: Efficient Operation Execution on Multidimensional Array Data. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Xu, Chengmao: Interaction and Collaboration Mechanisms for Distributed Communities and Groups in Educational Settings. Dissertation, 2000 mehr… Volltext (mediaTUM)
  • Zimmermann, Stephan: Evaluierung und Tuning von parallelen Datenbanksystemen. Dissertation, 2000 mehr… Volltext (mediaTUM)

1999

1998